Ich nehme an ! soll Negation sein.
Die Regeln kennst Du?! Hier brauchst Du u.a. folgende:
\((A\Longrightarrow B) \iff (\neg A \lor B)\) und
die deMorgan-Regeln: \(\neg (A \lor B) \iff (\neg A \land \neg B)\) und \(\neg (A \land B) \iff (\neg A \lor \neg B)\).
Fang damit mal an so weit es geht und melde Dich dann mit Deinem Zwischenergebnis wieder. Auf die Klammern achten!
Lehrer/Professor, Punkte: 38.69K