Aussage/Abstammungsbaum/3/Aufgabe

Zeichne einen Abstammungsbaum für die Aussage

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

Eine Lösung erstellen