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

УДК: 519.714

Реферат:

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