Methode zur Berechnung der vollständigen Summe einer vollständig spezifizierten Booleschen Funktionf.

Eingabe des Verfahrens ist ein Boolesches Polynom von f. Das Verfahren besteht aus fünf Schritten:

(1) Vereinfache das Boolesche Polynom durch Anwenden der Regeln l ∧ l = l, \(l\wedge \bar{l}=0\), l ∧ 1 = l, l ∧ 0 = 0 für alle Booleschen Literale l (Boolesche Algebra) und durch anschließendem Entfernen der 0-Summanden und der Booleschen Monome, für die es eine echte Verkürzung im Booleschen Polynom gibt.

(2) Ersetze formal ∧ durch ∨ und 0 durch 1 und umgekehrt.

(3) Multipliziere den entstandenen Booleschen Ausdruck aus und vereinfache wie schon unter (1) beschrieben.

(4) Ersetze formal ∧ durch ∨ und 0 durch 1 und umgekehrt.

(5) Multipliziere den entstandenen Booleschen Ausdruck aus und vereinfache wie schon unter (1) beschrieben.