logika logika: Mam za pomocą ↓ (binegacji) wyrazić równoważność. Ktoś pomoże?

Adamm: x↓x ⇔ ¬(x) (x↓y)↓(x↓y) ⇔ x ∨ y x ∧ y ⇔ ¬(¬x ∨ ¬y) (x ⇒ y) ⇔ (¬x ∨ y) (x ⇔ y) ⇔ (x ⇒ y ∧ y ⇒ x) i teraz złóż to do kupy wyrażenie będzie skomplikowane, ale będzie

logika: Chyba czegoś nie rozumiem. Od czego tam mam zacząć?