Aussagenlogische Formeln vereinfachen

Aussagenlogische Formeln vereinfachen

$\begin{array}{rlr}& ((X\to Y)\to (Y\to Z))\to Z& [\text{9}]\\ \equiv & \mathrm{\neg }((X\to Y)\to (Y\to Z))\vee Z& [\text{9}]\\ \equiv & \mathrm{\neg }(\mathrm{\neg }(X\to Y)\vee (Y\to Z))\vee Z& [\text{9}]\\ \equiv & \mathrm{\neg }(\mathrm{\neg }(\mathrm{\neg }X\vee Y)\vee (Y\to Z))\vee Z& [\text{9}]\\ \equiv & \mathrm{\neg }(\mathrm{\neg }(\mathrm{\neg }X\vee Y)\vee (\mathrm{\neg }Y\vee Z))\vee Z& [\text{8}]\\ \equiv & \mathrm{\neg }((X\wedge \mathrm{\neg }Y)\vee (\mathrm{\neg }Y\vee Z))\vee Z& [\text{8}]\\ \equiv & \mathrm{\neg }(X\wedge \mathrm{\neg }Y)\wedge \mathrm{\neg }(\mathrm{\neg }Y\vee Z))\vee Z& [\text{8}]\\ \equiv & (\mathrm{\neg }X\vee Y)\wedge (Y\wedge \mathrm{\neg }Z)\vee Z& [\text{Klammern auflösen}]\\ \equiv & (\mathrm{\neg }X\vee Y)\wedge Y\wedge \mathrm{\neg }Z\vee Z& [\text{Bindungsstärke beachten!}]\\ \equiv & ((\mathrm{\neg }X\vee Y)\wedge Y\wedge \mathrm{\neg }Z)\vee Z& [\text{2}]\\ \equiv & ((Y\vee \mathrm{\neg }X)\wedge Y\wedge \mathrm{\neg }Z)\vee Z& [\text{2}]\\ \equiv & (Y\wedge (Y\vee \mathrm{\neg }X)\wedge \mathrm{\neg }Z)\vee Z& [\text{4}]\\ \equiv & (Y\wedge \mathrm{\neg }Z)\vee Z& [\text{6}]\\ \equiv & (Y\vee Z)\wedge (\mathrm{\neg }Z\vee Z)& [\text{7}]\\ \equiv & (Y\vee Z)\wedge 1& [\text{5}]\\ \equiv & Y\vee Z& [\text{Fertig}]\\ \end{array}$