Definition:Biconditional/Truth Table

Definition
The characteristic truth table of the biconditional operator $p \iff q$ is as follows:


 * $\begin{array}{|cc||c|} \hline

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