Панов, А. В. Бинарные функции многозначных аргументов. Обобщения и исследования дизъюнктивных нормальных форм для таких функций [Текст] / А. В. Панов // Журнал вычислительной математики и математической физики. - 2015. - Т. 55, № 1. - С. 135-144. - Библиогр.: c. 144 . - ISSN 0044-4669
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): k -значная логика -- Яблонского формула -- бинарные функции -- булевы функции -- дизъюнктивные нормальные формы -- многозначные аргументы -- формула Яблонского -- функции с малым числом нулей Аннотация: Теория дизъюнктивных нормальных форм, обобщаемая на случай бинарных функций многозначных аргументов. Рассматриваются фундаментальные понятия и свойства этих обобщений. Предлагается эффективный метод построения дизъюнктивных нормальных форм для бинарных функций многозначных аргументов с малым числом нулей. Подробно изучаются дизъюнктивные нормальные формы аналога функции Яблонского. Нет сведений об экземплярах (Источник в БД не найден) |