Boolesche Funktion, die die Differenz der Kofaktoren einer Booleschen Funktion nach einer Booleschen Variablen beschreibt.

Für eine Boolesche Funktion f : {0, 1}ⁿ → {0, 1} und eine Boolesche Variable x_i ist die Boolesche Funktion \({f}_{{x}_{i}}\oplus {f}_{\bar{{x}_{i}}}\) die Boolesche Differenz von f nach x_i. Hierbei bezeichnen \({f}_{{x}_{i}}\) und \({f}_{\bar{{x}_{i}}}\) den positiven und negativen Kofaktor von f nach x_i. Die Operation ⊕ bezeichnet die EXOR-Funktion.