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

УДК: 519.7

Реферат:

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