lautet: Es sei f : {0, 1}ⁿ → {0, 1} eine Boolesche Funktion. Dann gilt für alle 1 ≤ i ≤ n und α = (α₁,…,α_n) ∈ {0, 1}ⁿ \begin{eqnarray}f(\alpha)=(\overline{{\alpha}_{i}}\wedge {f}_{\overline{{x}_{i}}}(\alpha))\vee ({\alpha}_{i}\wedge {f}_{{x}_{i}}(\alpha))\end{eqnarray}bzw. \begin{eqnarray}f(\alpha)=({\alpha}_{i}\vee {f}_{\overline{{x}_{i}}}(\alpha))\wedge (\overline{{\alpha}_{i}}\vee {f}_{{x}_{i}}(\alpha)).\end{eqnarray}Hierbei bezeichnet \({f}_{\overline{{x}_{i}}}\)den negativen Kofaktor von f nach x_i, und \({f}_{{{x}_{i}}}\)den positiven Kofaktor von f nach x_i.