# Definition:Biconditional/Truth Table/Matrix Form

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}$