Seite parallel anzeigen
Normalformen
(Aussagenlogik Kapitel 6.3)Weitere Themen dieses Kapitels
Eine Normalform einer Formel ist eine standardisierte, vereinfachte Darstellung, die logisch äquivalent zur ursprünglichen Formel ist.
Diese vereinfachte Darstellung wird in der Aussagenlogik durch Ersetzung von Teilformeln ereicht.
Die gebräuchlichsten Normalformen sind
- die Negationsnormalform,
- die disjunktive Normalform und
- die konjunktive Normalform
Zunächst müssen wir jedoch noch den Begriff des Literals definieren, da Literale essentielle Bestandteile der oben genannten Normalformen sind.
Ein Literal ist ein Atom oder ein negiertes Atom.
- zurück zu Einige aussagenlogische Äquivalenzen - Vereinfachung von Formeln
- zum Seitenanfang
- weiter zu
