Como representar a bicondicional p ↔ q apenas com condicionais?

p ↔ q = (p → q) ∧ (q → p)

Explicação: A bicondicional exige que ambas as direções sejam verdadeiras, portanto p e q têm o mesmo valor de verdade.
Em forma equivalente: \(p \leftrightarrow q = (p\to q)\land(q\to p) = (\lnot p \lor q)\land(\lnot q \lor p).\)

Exemplo: Seja \(p\): "número é par" e \(q\): "número é múltiplo de 2".
Então \(p \leftrightarrow q\) significa "o número é par se e somente se é múltiplo de 2", que equivale a \((p\to q)\land(q\to p)\).