Aussagenlogik/Beispiel in drei Variablen/Disjunktive Normalform/Aufgabe/Lösung


Der Ausdruck

ist äquivalent zum Ausdruck

und der Ausdruck

ist äquivalent zu

Der Gesamtausdruck ist somit äquivalent zu

der disjunktive Normalform besitzt.