\begin{definition}[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}$
\end{definition}