Weiter:
Inhalt
KNF-DNF-Konverter
Dokumentation
Paul Staroch 12. April 2007
Inhalt
1
Einleitung
2
Theoretischer Hintergrund
2
.
1
Aussagenlogik
2
.
2
Normalformen
3
Das Programm
3
.
1
Bedienung
3
.
1
.
1
Starten
3
.
1
.
2
Umformung
3
.
2
Ein Beispiel
3
.
2
.
1
,,Am Papier”
3
.
2
.
2
Mit Hilfe des Programms
3
.
3
Interne Funktionsweise
A. Verwendete Software
Über dieses Dokument ...
Paul Staroch
2007-04-12