\begin{definition}[Definition:Biconditional/Truth Table/Number]
The truth table number of the biconditional operator $p \iff q$ is as follows:
Ascending and descending order:
:$1001$ or $\T \F \F \T$
\end{definition}