Równoważność -> kreska sheffera Kuba: Pomoże mi ktoś rozpisać równoważność za pomocą kreski sheffera narazie mam tyle p⇔q = (p⇒q)∧(q⇒p) = (¬p∨q) ∧ (¬q∨p) = [( p/p) ∨ q ] ∧ [(q/q) ∨ p] i nie wiem co dalej

chichi: równoważność zostaw na sam koniec, pierw zdefiniuj pozostałe spójniki