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