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