En sade hale getirmişsin artık. Ama istersen (p⇔q)′≡p∨_q olduğundan (p⇔q)′ yerine p∨_q (p ya da q) yazabilirsin.