Definition:Biconditional/Truth Table/Number

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

Ascending and descending order:
 * $1001$ or $\T \F \F \T$