Кодировки и их использование при ДНФ-реализации бинарных функцийстатья
Статья опубликована в журнале из списка RSCI Web of Science
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 26 декабря 2017 г.
Аннотация:В сообщении предлагается метод синтеза нормальных форм бинарных функций k-значной логики по перечню их нулей. Метод основан на кодировке целых чисел булевыми векторами и сведении исходной задачи к задаче для булевых функций. Рассмотрены различные способы обобщения понятия дизъюнктивная нормальная форма (ДНФ) на k-значный случай. Показано, что при подходящем выборе кодировки можно получать нормальные формы специальных типов.