Mit Junktoren ausdrücken Aussagenlogik

Question

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

Answer 1

( ¬A ∧ ¬B) ∨(B ∧ A)

Stimmt soweit.

$X\vee Y$ ist äquivalent zu $\neg (\neg X \wedge \neg Y)$