Equivalence as double implication

Formula

$$(p \iff q) \iff \left[(p \implies q) \land (q \implies p)\right]$$

Tags