Мінімізація КНФ частково-монотонних булевих функцій

ЗаголовокМінімізація КНФ частково-монотонних булевих функцій
Тип публікаціїJournal Article
Рік публікації2017
АвториПинько, ОП
Abbreviated Key TitleDopov. Nac. akad. nauk Ukr.
DOI10.15407/dopovidi2017.03.018
Номер видання3
РозділІнформатика та кібернетика
Нумерація сторінок18-21
Дата публікації03/2017
МоваРосійська
Анотація

Булева функція зватиметься частково-монотонною, якщо вона монотонна відносно деяких з її аргументів та антимонотонна відносно решти її аргументів. Ми доводимо, що кон’юнктивні нормальні форми частково-монотонних булевих функцій можна мінімізувати дуже ефективно з використанням лише частково-монотонних диз’юнктів.

Ключові словабулева функція, диз’юнкт, диз’юнктивна нормальна форма, кон’юнкт, кон’юнктивна нормальна форма, літерал