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