Теоретико-множественная модификация минимаксного метода покрытия булевых функций

摘要

Рассмотрена теоретико-множественная модификация минимаксного метода покрытия булевых функций, в основу которой положена предлагаемая процедура взвешивания простых конъюнктермов, что позволяет выбирать более короткий путь покрытия. В отличие от традиционных подходов, предложенный алгоритм позволяет корректировать ход покрытия.