Definition:Logical NAND/Truth Table/Number

From ProofWiki
Jump to navigation Jump to search

Definition

The truth table number of the logical NAND operator $p \uparrow q$ is as follows:

Ascending order:

$1110$ or $\T\T\T\F$

Descending order:

$0111$ or $\F\T\T\T$