A <=> B umformen dass nur ¬ und v vorkommen?

Question

Wie kann ich

A ⇔ B

Nur mit ¬ und v zeigen?

Answer 1

A ⇔ B bedeutet

A ⇒ B und B ⇒ A, bedeutet

nicht (nicht (A ⇒ B und B ⇒ A)), bedeutet

nicht (nicht (A ⇒ B) v nicht(B ⇒ A)).

Wir sind also mit doppelter Verneinung und DeMorgan bei

¬ (¬ (A ⇒ B) v ¬(B ⇒ A)) angekommen.

Einen äquivalenten Ausdruck für A ⇒ B unter Verwendung von ¬ und v kennst du hoffentlich?