1. Белорусский государственный университет Минск
2. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 519.714.7

Реферат:

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