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