Definition:Logical NAND/Truth Table
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
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 2.5$: Further Logical Constants
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): not and