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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Der Ausdruck

ist äquivalent zum Ausdruck

und der Ausdruck

ist äquivalent zu

Der Gesamtausdruck ist somit äquivalent zu

der disjunktive Normalform besizt.
Zur gelösten Aufgabe