Aussage/Abstammungsbaum/2/Aufgabe

Zeichne einen Abstammungsbaum für die Aussage

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

Eine Lösung erstellen