Correct answer: (p ⇒ q) ∧ (q ⇒ p)
The statement p ⇔ q means that p is true if and only if q is true, which is precisely captured by the conjunction of the implications (p ⇒ q) and (q ⇒ p). This indicates that both conditions must hold for the biconditional to be true.