Параллельно-последовательная декомпозиция системы частичных булевых функций

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