|
Проверяющие тесты для суперпозиций булевых функций от элементарных однородных функций
Н. А. Соловьев
Аннотация:
Рассматривается функция Шеннона, характеризующая длину минимального проверяющего теста, для суперпозиций булевых функций от элементарных однородных функций (константа, отрицание, конъюнкция, дизъюнкция, сложение по модулю 2). Выявляется класс исходных логических функций, на суперпозициях которых указанная функция Шеннона достигается. На основе изучения свойств таблиц различимости предложен общий подход к решению подобных задач.
Статья поступила: 25.05.1992
Образец цитирования:
Н. А. Соловьев, “Проверяющие тесты для суперпозиций булевых функций от элементарных однородных функций”, Дискрет. матем., 8:2 (1996), 117–132; Discrete Math. Appl., 6:3 (1996), 241–255
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm523https://doi.org/10.4213/dm523 https://www.mathnet.ru/rus/dm/v8/i2/p117
|
Статистика просмотров: |
Страница аннотации: | 404 | PDF полного текста: | 265 | Первая страница: | 2 |
|