Zerlegung einer Booleschen Funktion f : {0, 1}ⁿ → {0, 1} der Form f = g ⊕ (x_i ⋀ h) oder der Form f = g ⊕ \(({\bar{x}}_{i}\wedge \ h)\) bzgl. einer Booleschen Variablen x_i von f. Hierbei sind g, h : {0, 1}ⁿ → {0, 1} Boolesche Funktionen, die unabhängig von der Belegung der Variable x_i sind. ⊕ bezeichnet die EXOR-Funktion.

Die erste Zerlegungsform heißt positive Davio-Zerlegung, die zweite negative Davio-Zerlegung.