Анотація. Розглянуто проблему побудови скорочених диз’юнктивных нормальних форм порядково-опуклих булевих функцій. Запропоновано оригінальний алгоритм знаходження цих форм. Алгоритм використовує такі вирази теорії упорядкованих множин як ідеал і коідеал і має істотно меншу часову складність, ніж класичний алгоритм Квайна–Мак-Класкі.
Ключові слова: імплікант, решітка, порядково-опукла підмножина, ідеал, коідеал.
Тимошкин Андрей Иванович,
кандидат физ.-мат. наук, доцент кафедры Национальной металлургической академии Украины, Днепр, timoshkin1964@gmail.com