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

Eingabe des Verfahrens ist ein Boolesches Polynom von f. Das Verfahren beruht auf dem folgenden Satz:

Ein Boolesches Polynom p einer Booleschen Funktion f ist genau dann die vollständige Summe von f, wenn

(a) kein Boolesches Monom von p von einem anderen Booleschen Monom von p überdeckt (Überdeckung einer Booleschen Funktion) wird, und

(b) der Konsensus (Konsensus-Regel) von je zwei Monomen q und r von p von wenigstens einem Booleschen Monom von p überdeckt wird, sofern der Konsensus von q und r überhaupt definiert ist.