|
|
|
|
|
|
|
|
ist ein Disjunktionsterm.
Konjunktive Normalform, KN,
Konjunktive Verknüpfung von Disjunktionstermen
.
Ausgezeichnete Konjunktive Normalform, AKN,
Konjunktive Verknüpfung von Maxtermen.
Jede KN läßt sich zu einer AKN erweitern.
Der Ausdruck
ist eine KN, aber keine AKN, weil der zweite Disjunktionsterm die Variable C nicht enthält und daher kein Maxterm ist. Die Erweiterung zur AKN geschieht sehr einfach folgendermaßen:
|
|
|
|
|
|
|
|
