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.
Zu jeder Zeile der Wahrheitstafel, bei der das Ergebnis 1 ist, bildet man einen Minterm. Dies ist ein Term, in dem alle Eingangsvariablen mit der Und-Verknüpfung verbunden werden. Hat eine Variable den Wert 0, steht sie negiert im Minterm.
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)$.
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.