Definition:Logical NAND/Truth Table/Matrix Form

From ProofWiki
Jump to navigation Jump to search

Definition

The characteristic truth table of the logical NAND operator $p \uparrow q$ can be presented in matrix form as follows:

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