Eine kanonische disjunktive Normalform (KDNF), auch vollständige
disjunktive Normalform genannt, ist eine DNF, die nur Minterme enthält,
in denen alle Variablen vorhanden sind, jede Variable genau einmal
vorkommt und deren Minterme alle von einander verschieden sind. Jede
Boolesche Funktion besitzt genau eine KDNF.
In der KDNF sind diejenigen Variablenbelegungen, für die die Funktion
den Wert 1 annimmt, durch Minterme ausgedrückt.
bei jeder äquivalenten Darstellung derselben Ausgabefunktion mit gleich
vielen Produkttermen die Anzahl der Eingänge in die Produktterme
mindestens genauso groß ist, wie die Anzahl der Eingänge in die
Produktterme von f.
bei jeder äquivalenten Darstellung derselben Ausgabefunktion mit gleich
vielen Produkttermen die Anzahl der Eingänge in die Produktterme
mindestens genauso groß ist, wie die Anzahl der Eingänge in die
Produktterme von f.