Weiter:
2.1 Aussagenlogik
Nach oben:
KNF-DNF-Konverter
Zurück:
1 Einleitung
2
Theoretischer Hintergrund
Dieses Kapitel geht auf den theoretischen Hintergrund des
KNF-DNF-Konverters
ein.
Unterabschnitte
2
.
1
Aussagenlogik
2
.
2
Normalformen
Paul Staroch
2007-04-12