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

• Published in: Доповіді НАН України
• Date: 2017
• Main Author: Пынько, А.П.
• Format: Article
• Language: Russian
• Published: Видавничий дім "Академперіодика" НАН України 2017
• Subjects: Інформатика
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/126539
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Минимизация КНФ частично-монотонных булевых функций / А.П. Пынько // Доповіді Національної академії наук України. — 2017. — № 3. — С. 18-21. — Бібліогр.: 4 назв. — рос.

Булеву функцию назовем частично-монотонной, если она монотонна относительно некоторых из своих аргументов и антимонотонна относительно остальных своих аргументов. Мы доказываем, что конъюнктивные нормальные формы частично-монотонных булевых функций можно минимизировать очень эффективно, используя лишь частично-монотонные дизъюнкты. Булева функція зватиметься частково-монотонною, якщо вона монотонна відносно деяких з її аргументів
 та антимонотонна відносно решти її аргументів. Ми доводимо, що кон'юнктивні нормальні форми частково-монотонних булевих функцій можна мінімізувати дуже ефективно з використанням лише частково монотонних диз’юнктів. A Boolean function is said to be partially monotonic provided it is monotonic with respect to some of its arguments,
 while anti-monotonic with respect to others. We argue that the conjunctive normal forms of partiаlly monotonic
 Boolean functions can be minimized in a quite effective way with involving just disjuncts possesing the same
 partial monotonicity.