Definition:Biconditional/Truth Table/Matrix Form

Definition
The characteristic truth table of the biconditional operator $p \iff q$ can be presented in matrix form as follows:
 * $\begin{array}{c|cc}

\iff & T & F \\ \hline T & T & F \\ F & F & T \\ \end{array}$