6.2.10 Aussagenlogische Formeln vereinfachen
| [unmarkierte Version] | [unmarkierte Version] |
Keine Bearbeitungszusammenfassung |
|||
| Zeile 1: | Zeile 1: | ||
=Aussagenlogische Formeln vereinfachen= | =Aussagenlogische Formeln vereinfachen= | ||
:<math> | |||
\begin{alignat}{2} | |||
& ( ( X \rightarrow Y ) \rightarrow ( Y \rightarrow Z ) ) \rightarrow Z & \qquad [\text{9}] \\ | |||
\equiv \quad& \neg ( ( X \rightarrow Y ) \rightarrow ( Y \rightarrow Z )\ ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & \neg ( \neg ( X \rightarrow Y ) \lor ( Y \rightarrow Z )\ ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & \neg ( \neg ( \neg X \lor Y ) \lor ( Y \rightarrow Z )\ ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & \neg(\ \neg( \neg X \lor Y ) \lor ( \neg Y \lor Z )\ ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & \neg(\ ( X \land \neg Y ) \lor ( \neg Y \lor Z )\ ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & \neg(\ X \land \neg Y ) \land \neg ( \neg Y \lor Z )\ ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & (\ \neg X \lor Y ) \land ( Y \land \neg Z ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & (\ \neg X \lor Y ) \land Y \land \neg Z \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & (\ (\ \neg X \lor Y ) \land Y \land \neg Z ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & (\ (\ Y \lor \neg X ) \land Y \land \neg Z ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & (\ Y \land (\ Y \lor \neg X ) \land \neg Z ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & (\ Y \land \neg Z ) \lor Z & \qquad [\text{9}] \\ | |||
\equiv \quad & (\ Y \lor Z ) \land ( \neg Z \lor Z ) & \qquad [\text{9}] \\ | |||
\equiv \quad & (\ Y \lor Z ) \land 1 & \qquad [\text{9}] \\ | |||
\equiv \quad & Y \lor Z & \qquad [\text{Fertig}] \\ | |||
\end{alignat} | |||
</math> | |||
![{\displaystyle {\begin{alignedat}{2}&((X\rightarrow Y)\rightarrow (Y\rightarrow Z))\rightarrow Z&\qquad [{\text{9}}]\\\equiv \quad &\neg ((X\rightarrow Y)\rightarrow (Y\rightarrow Z)\ )\lor Z&\qquad [{\text{9}}]\\\equiv \quad &\neg (\neg (X\rightarrow Y)\lor (Y\rightarrow Z)\ )\lor Z&\qquad [{\text{9}}]\\\equiv \quad &\neg (\neg (\neg X\lor Y)\lor (Y\rightarrow Z)\ )\lor Z&\qquad [{\text{9}}]\\\equiv \quad &\neg (\ \neg (\neg X\lor Y)\lor (\neg Y\lor Z)\ )\lor Z&\qquad [{\text{9}}]\\\equiv \quad &\neg (\ (X\land \neg Y)\lor (\neg Y\lor Z)\ )\lor Z&\qquad [{\text{9}}]\\\equiv \quad &\neg (\ X\land \neg Y)\land \neg (\neg Y\lor Z)\ )\lor Z&\qquad [{\text{9}}]\\\equiv \quad &(\ \neg X\lor Y)\land (Y\land \neg Z)\lor Z&\qquad [{\text{9}}]\\\equiv \quad &(\ \neg X\lor Y)\land Y\land \neg Z\lor Z&\qquad [{\text{9}}]\\\equiv \quad &(\ (\ \neg X\lor Y)\land Y\land \neg Z)\lor Z&\qquad [{\text{9}}]\\\equiv \quad &(\ (\ Y\lor \neg X)\land Y\land \neg Z)\lor Z&\qquad [{\text{9}}]\\\equiv \quad &(\ Y\land (\ Y\lor \neg X)\land \neg Z)\lor Z&\qquad [{\text{9}}]\\\equiv \quad &(\ Y\land \neg Z)\lor Z&\qquad [{\text{9}}]\\\equiv \quad &(\ Y\lor Z)\land (\neg Z\lor Z)&\qquad [{\text{9}}]\\\equiv \quad &(\ Y\lor Z)\land 1&\qquad [{\text{9}}]\\\equiv \quad &Y\lor Z&\qquad [{\text{Fertig}}]\\\end{alignedat}}}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/8f25d57654673ccd62e2e977aa659de3c4d9650a)