| |
Тимошкин, А. И.
Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функций [Текст] / А. И. Тимошкин
// Кибернетика и системный анализ. – 2019. – Т. 55, № 1. – С. 39-43.
Рассматривается проблема построения сокращенных дизъюнктивных нормальных форм порядково-выпуклых булевых функций. Предлагается оригинальный алгоритм нахождения этих форм. Алгоритм использует такие понятия теории упорядоченных множеств как идеал и коидеал и имеет существенно меньшую временную сложность, чем классический алгоритм Квайна-Мак-Класки. |
