Экспериментальное сравнение эффективности методов декомпозиции систем булевых функций, заданных матричными формами и диаграммами двоичного выбора

Описываются результаты вычислительных экспериментов по сравнению эффективности применения программ декомпозиции систем булевых функций, заданных в виде дизъюнктивных нормальных форм (ДНФ) и в виде диаграмм двоичного выбора, при синтезе схем в базисе программируемых логических матриц (ПЛМ) и в базисе библиотечных логических элементов