Aufgabe:
Sind diese aussagenlogischen Formeln äquivalent?
a ⇒ b ⇒ a ≡ (¬a ∨ b) ∧ (¬b ∨ a) und
a ⇔ b ⇔ c ≡ (¬((¬a ∨ b) ∧ (¬b ∨ a)) ∨ c) ∧ (¬c ∨ ((¬a ∨ b) ∧ (¬b ∨ a)))
LG
Erstelle Wahrheitstabellen.
