Dies ist eine alte Version des Dokuments!
Normalformen
Disjunktive Normalform
Die disjunktive Normalform bietet ein Verfahren, mit dem man systematisch einen Logik-Term zu einer Wahrheitstabelle finden kann, bei dem der entstehende Term eine Disjunktion von Konjunktionstermen ist – also eine Oder-Verknüpfung von Und-Verknüpfungen.
Vorgehen:
Die disjunktive Normalform erhält man, indem man alle Minterme durch Oder-Verknüpfungen verbindet.
Beispiel:
- Für jede Zeile, die "wahr" ist, bildet man den Minterm mit "und". Alle "falsch" Werte werden dabei einfach negiert.
- Alle so gefundenen Zeilen verknüpft man mit "oder"
Die disjunktive Normalform für die Wahrheitstafel im Beispiel ist also $(\lnot x_1 \land \lnot x_2) \lor (x_1 \land \lnot x_2)$.
Konjunktive Normalform
Die konjunktive Normalform bietet ein Verfahren, mit dem man systematisch einen Logik-Term zu einer Wahrheitstabelle finden kann, bei dem der entstehende Term eine Konjunktion von Disjunktionstermen ist – also eine Und-Verknüpfung von Oder-Verknüpfungen.
Vorgehen:
Die konjunktive Normalform erhält man, indem man alle Maxterme durch Und-Verknüpfungen verbindet.
Beispiel:
- Für jede Zeile, die "falsch" ist, bildet man den Maxterm mit "oder". Alle "wahr" Werte werden dabei einfach negiert.
- Alle so gefundenen Zeilen verknüpft man mit "und"
Eine konjunktive Normalform für die Wahrheitstafel im Beispiel ist also $(x_1 \lor \lnot x_2) \land (\lnot x_1 \lor \lnot x_2)$.
(A1)
Stelle zum Term $(\lnot(x_1 \lor \x_2) \lor x_3)$ die Wahrheitstafel auf und ermittle daraus die DNF und eine KNF.
Diese Seite ist sehr stark an das Material auf https://inf-schule.de/rechner/digitaltechnik/Schaltnetze/Fachkonzept_Normalform angelehnt, das unter einer CC-BY-SA Lizenz veröffentlicht ist.