|
|
|
|
|
|
|
|
Anwendung des Distributivgesetzes für die Konjunktion (,,Ausmultiplizieren``) ergibt insgesamt 81 Terme:
Wegen 
bleiben nur acht Terme übrig,
die wegen 
und der Kommutativität weiter zusammengefaßt
werden können:
Dies ist die gesuchte ADN.
Die Umrechnung ist einfacher, wenn zunächst die
Wahrheitstabelle aufgestellt wird und anschließend
die gewünschte Normalform aus der Wahrheitstabelle
konstruiert wird.
|
|
|
|
|
|
|
|
