The biconditional statement $p \Leftrightarrow q$ is equivalent to:

• A
  Disjunction of $p \Rightarrow q$ and $q \Rightarrow p$
• B
  Converse of $q \Rightarrow p$
• C
  Contrapositive of $p \Rightarrow q$
• D
  Conjunction of $p \Rightarrow q$ and $q \Rightarrow p$