Definition:Biconditional/Truth Table/Number

From ProofWiki
Jump to: navigation, search

Definition

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

Ascending and descending order:

$1001$ or $TFFT$


Sources