PPT-Folie
Durch iterierte Anwendung für alle Variablen erhält man
Satz (Boolesches Normalformtheorem)
Eine Funktion f : IBn ? IB läßt sich in folgende volle disjunktive Normalform bringen:
f(a1,a2,...,an) = (a1 /\ a2 /\... /\ an /\ f(1,1,...,1)) \/
(no a1 /\ a2 /\... /\ an /\ f(0,1,...,1)) \/ ...
(a1 /\ no a2 /\... /\ no an /\ f(1,0,...,0)) \/
(no a1 /\ no a2 /\... /\ no an /\ f(0,0,...,0))