Aufgabe: Drücke A⇔ B durch die Junktoren ∧ und ¬ aus
Problem/Ansatz
Wie gehe ich hier vor?
(A⇔B) ⇔ (A⇒B) ∧ (B⇒A) ⇔( ¬A ∨ B) ∧ (¬B ∨A)
Wenn ich es soweit umformuliere, dass ich ( ¬A ∧ ¬B) ∨(B ∧ A) habe, geht es auch nicht weiter.
und dann weiter?
LG
( ¬A ∧ ¬B) ∨(B ∧ A)
Stimmt soweit.
\(X\vee Y\) ist äquivalent zu \(\neg (\neg X \wedge \neg Y)\)
