Кодировки и их использование при ДНФ-реализации бинарных функций

Предложен метод синтеза нормальных форм бинарных функций $k$-значной логики по перечню их нулей. Метод основан на кодировке целых чисел булевыми векторами и сведении исходной задачи к задаче для булевых функций. Рассмотрены различные способы обобщения понятия дизъюнктивной нормальной формы (ДНФ) на $k$-значный случай. Показано, что при подходящем выборе кодировки можно получать нормальные формы специальных типов. Библ. 8.