3.2.2 Mit Hilfe des Programms

Und nun wollen wir zum Vergleich diese Umformung mit Hilfe des CNF-DNF-Konverters durchführen. Wir geben die gegebene Formel in das Textfeld ein (siehe Abbildung 3) ein und klicken auf die Schaltfläche ,,Konvertieren”. In den Abbildungen 4 bis 9 sind die Ausgaben des Programms zu sehen. Wir erkennen: Das Programm kommt zu den selben Ergebnissen wie sie in Kapitel 3.2 zu finden sind.

Abbildung 3: Eingabe der Formel

Abbildung 4: Schritt 1

Abbildung 5: Schritt 2

Abbildung 6: Schritt 3

Abbildung 7: Schritt 4 (DNF)

Abbildung 8: Schritt 4 (KNF)

Abbildung 9: Klauselform und Vereinfachungen