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