Algorithmus für die Disjunktive Normalform
Algorithmus zur Konstruktion der Disjunktiven Normalform
- Aufstellen der Wahrheitstabelle für die Funktion.
- Streichen aller Zeilen, deren Funktionswert gleich null ist.
- Übersetzen jeder verbliebenen Zeile in einen Minterm.
Dazu wird in der jeweiligen Zeile jede Eingangsvariable,
die in der Wahrheitstabelle eine 0 enthält,
negiert und jede Eingangsvariable, die in der
Wahrheitstabelle eine 1 enthält, nicht negiert
in einen Minterm übernommen.
- Die Disjunktion aller so gewonnenen Minterme
ergibt die gesuchte ausgezeichnete Disjunktive Normalform.
Bestimme die Disjunktive Normalform des
exklusiven Oders (XOR).
1. Wahrheitstabelle:

2. Streichen der Zeilen, die eine null enthalten und
3. Übersetzen jeder Zeile in einen Minterm:

4. Disjunktion aller Minterme:
