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:
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.