МИНИМИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ В КЛАССЕ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ ФОРМ

Аннотация

Предлагается программа минимизации систем полностью определенных булевых функций в классе ДНФ. Производится сравнение эффективности разработанного алгоритма, реализованного в программе Tie, и программы Espresso, которая широко используется в настоящее время [1–3]. Приводятся результаты экспериментально-статистических испытаний алгоритмов на псевдослучайных булевых функциях и стандартных примерах Benchmark.