Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

1. Ausgehend von einer DN oder KN des Terms A suchen wir alle Terme, in welchen Variablen fehlen. Gibt es solche Terme nicht, liegt bereits eine kDN oder kKN vor und wir sind fertig.
2. Ansonsten wählen wir den ersten Konjunktionsterm K (Disjunktionsterm D) von A und eine Variable a, die nicht darin vorkommt.
3. Wir ersetzen K durch oder D durch und können dann das Distributivgesetz anwenden.
4. Wie schon beim Fall des Erzeugens der DN oder KN können gleiche Terme auftauchen, diese werden mit dem Idempotenzgesetz zusammengefasst.