Definition:Logical NAND/Truth Table

From ProofWiki
Jump to navigation Jump to search

Definition

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

$\begin{array}{|cc||c|} \hline p & q & p \uparrow q \\ \hline \F & \F & \T \\ \F & \T & \T \\ \T & \F & \T \\ \T & \T & \F \\ \hline \end{array}$


Matrix Form

$\begin {array} {c|cc} \uparrow & \T & \F \\ \hline \T & \F & \T \\ \F & \T & \T \\ \end {array}$


Truth Table Number

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$


Sources