Aufgabe:
Man soll bestimmen, ob es sich bei den Formeln um eine Tautologie handelt:
1: \( \quad(A \rightarrow B) \leftrightarrow(\neg A \vee B) \)
2: \( \quad(A \wedge B) \rightarrow \neg(C \wedge \neg B) \)
3: \( \quad((A \rightarrow \neg C) \wedge(\neg C \rightarrow A)) \leftrightarrow((\neg C \rightarrow A) \wedge(A \wedge C)) \)
Ich habe alles via Wahrheitstabelle aufgelöst und bin zu dem Ergebnis gekommen, dass nur Aufgabe 2 eine Tautologie ist, weil hier als einiges alle Werte "Wahr" sind.
Leider ist mein Ergebnis falsch. Wo liegt mein Fehler?
