|
Журнал вычислительной математики и математической физики, 2004, том 44, номер 8, страницы 1511–1520
(Mi zvmmf802)
|
|
|
|
Кодировки и их использование при ДНФ-реализации бинарных функций
А. Г. Дьяконов 119992 Москва, Ленинские горы, МГУ, ВМК
Аннотация:
Предложен метод синтеза нормальных форм бинарных функций $k$-значной логики по перечню их нулей. Метод основан на кодировке целых чисел булевыми векторами и сведении исходной задачи к задаче для булевых функций. Рассмотрены различные способы обобщения понятия дизъюнктивной нормальной формы (ДНФ) на $k$-значный случай. Показано, что при подходящем выборе кодировки можно получать нормальные формы специальных типов. Библ. 8.
Поступила в редакцию: 16.07.2003
Образец цитирования:
А. Г. Дьяконов, “Кодировки и их использование при ДНФ-реализации бинарных функций”, Ж. вычисл. матем. и матем. физ., 44:8 (2004), 1511–1520; Comput. Math. Math. Phys., 44:8 (2004), 1435–1444
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf802 https://www.mathnet.ru/rus/zvmmf/v44/i8/p1511
|
Статистика просмотров: |
Страница аннотации: | 241 | PDF полного текста: | 105 | Список литературы: | 49 | Первая страница: | 1 |
|