\begin{definition}[Definition:Logical NAND/Truth Table/Matrix Form]
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}$
Category:Definitions/Logical NAND
Category:Definitions/Truth Tables
\end{definition}