Methode zur Berechnung der vollständigen Summe einer vollständig spezifizierten Booleschen Funktion. Sie beruht auf dem folgenden Lemma:

Gegeben seien die vollständigen Summen p₁und p₂der Booleschen Funktionen g : {0, 1}ⁿ → {0, 1} und h : {0, 1}ⁿ → {0, 1}.

Dann ist das Boolesche Polynom p, das durch Ausmultiplizieren von p₁und p₂unter Verwendung des Distributivgesetzes (Boolesche Algebra) und der Regeln l ∧ l = l, \(l\wedge \overline{l}=0\), l ∧ 1 = l, l ∧ 0 = 0 für alle Booleschen Literale l, und durch anschließendes Entfernen der 0-Summan- den und der Booleschen Monome, für die es eine echte Verkürzung im so entstandenen Booleschen Polynom gibt, entsteht, eine vollständige Summe der Konjunktion g ∧ h der Booleschen Funktionen g und h.

Die vollständige Summe einer über den Booleschen Variablen x₁, …, x_n definierten Booleschen Funktion f : {0, 1}ⁿ → {0, 1} wird bei diesem Verfahren berechnet, indem rekursiv die vollständige Summe p₁ der Booleschen Funktion \({x}_{i}\vee {f}_{\overline{{x}_{i}}}\) und die vollständige Summe p₂ der Booleschen Funktion \(\bar{{x}_{i}}\vee {f}_{{x}_{i}}\) für eine beliebige Boolesche Variable x_i, von der f abhängt, berechnet werden. Hierbei bezeichnet \({f}_{{x}_{i}}\) den positiven Kofaktor und \({f}_{\overline{{x}_{i}}}\) den negativen Kofaktor von f nach x_i. Die Konjunktion von \({x}_{i}\vee {f}_{\overline{{x}_{i}}}\) und \(\overline{{x}_{i}}\vee {f}_{{x}_{i}}\) ist gleich der Booleschen Funktion f.

Die vollständige Summe von f kann somit aus den vollständigen Summen p₁ und p₂ von \({x}_{i}\vee {f}_{\overline{{x}_{i}}}\) und \(\overline{{x}_{i}}\vee {f}_{{x}_{i}}\) durch Anwendung des obigen Satzes berechnet werden.