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

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