Konjunktive Normalform

Sei i n-stellige Binärzahl und sei mi der i-te Minterm von f : Bn ® B. Dann heisst die Funktion Mi : Bn ® B definiert durch Mi(x1, . . ., xn) := Ø mi(x1, . . ., xn) der i-te Maxterm von f.
- Jede boole'sche Funktion ist eindeutig darstellbar als UND-Verbindung (Konjunktion) der Maxterme ihrer nicht einschlägigen Indizes.
"Konjunktive Normalform"
Beispiel

Sei i n-stellige Binärzahl und sei mi der i-te Minterm von f : Bn ® B. Dann heisst die Funktion Mi : Bn ® B definiert durch Mi(x1, . . ., xn) := Ø mi(x1, . . ., xn) der i-te Maxterm von f.