Aussagenlogik/Beispiel in drei Variablen/Disjunktive Normalform/Aufgabe

Man bringe die Aussage

$((p\vee (r\rightarrow q))\wedge (q\rightarrow p))\vee (((p\wedge \neg q)\wedge (\neg r\vee \neg p))\wedge (r\rightarrow (p\vee \neg q)))$

in disjunktive Normalform.

Zur Lösung, Alternative Lösung erstellen