Aufgabe:
Text erkannt:
\( \begin{aligned} & \neg(\forall x, y, z \in M: x R y \wedge y R z \Longrightarrow \neg(\neg x R z \wedge \neg(x R z \wedge y R z))) \\ \Leftrightarrow & \exists x, y, z \in M: \neg(x R z \vee(\neg x R y \vee \neg y R z)) \end{aligned} \)
Ich soll zeigen ob die
beiden aussagenlogischen Formeln auf der Menge M aquivalent sind
