The biconditional p ↔ q is logically equivalent to the conjunction of the two directional conditionals. Also equivalent to (p ∧ q) ∨ (¬p ∧ ¬q).
The biconditional p ↔ q is logically equivalent to the conjunction of the two directional conditionals. Also equivalent to (p ∧ q) ∨ (¬p ∧ ¬q).