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