Аннотация:
Теория дизъюнктивных нормальных форм, обобщаемая на случай бинарных функций многозначных аргументов. Рассматриваются фундаментальные понятия и свойства этих обобщений. Предлагается эффективный метод построения дизъюнктивных нормальных форм для бинарных функций многозначных аргументов с малым числом нулей. Подробно изучаются дизъюнктивные нормальные формы аналога функции Яблонского. Библ. 8.
Ключевые слова:дизъюнктивные нормальные формы, бинарные функции многозначных аргументов, булевы функции, $k$-значная логика, функции с малым числом нулей, формула Яблонского.
Полный текст:
PDF файл (235 kB)