Aufgabe:
Welche der folgenden Formeln sind unerfüllbar, erfillbar baw. Tautologien? Begründen Sie Ihre Auswage. (Die 1 bzw. 0 entspricht dabei einer atomaren Formel, die inmer wahr bzw. falsch ist.)
a) \( F_{1}:((0 \Rightarrow \neg A) \wedge(A \Rightarrow \underline{1})) \)
b) \( F_{2}:((B \Rightarrow A) \Leftrightarrow \neg(\neg A \wedge B)) \)
c) \( F_{3}:((\neg B \Leftrightarrow A) \Rightarrow(\neg A \wedge B)\} \)
Folgt \( F_{3} \) aus \( F_{2} \) oder umgekehrt?
