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