Минимизация дизъюнктивных нормальных форм
Найдите исполнителя для вашего проекта прямо сейчас!
Разместите заказ на фриланс-бирже и предложения поступят уже через несколько минут.
Разместите заказ на фриланс-бирже и предложения поступят уже через несколько минут.
Дизъюнктивная нормальная форма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ. Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем.
Программа создана для приведения ДНФ к минимизированному виду. Для этого используется простой алгоритм сравнения таблиц истинности. В случае ДНФ с 3 и 4 переменными возможна визуализация с помощью куба или гиперкуба; отмечены те вершины куба, координаты которых, будучи подставленными в формулу дают единичное значение.
Разработано в качестве дипломного проекта.
