Aussagenlogik/Beispiel in drei Variablen/Disjunktive Normalform/Aufgabe

Man bringe die Aussage

$((p\vee (r\to q))\wedge (q\to p))\vee (((p\wedge \mathrm{\neg }q)\wedge (\mathrm{\neg }r\vee \mathrm{\neg }p))\wedge (r\to (p\vee \mathrm{\neg }q)))$

in disjunktive Normalform.

Zur Lösung, Alternative Lösung erstellen