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.

Notes:


http://cg.cs.tu-berlin.de/hardware_vl/bool/
http://www.minet.uni-jena.de/~matthi/www.ct-projekt.smigel.de/node154.html