\begin{definition}[Definition:Logical NAND/Truth Function]
The NAND connective defines the truth function $f^\uparrow$ as follows:
{{begin-eqn}}
{{eqn | l = \map {f^\uparrow} {\F, \F}
      | r = \T
}}
{{eqn | l = \map {f^\uparrow} {\F, \T}
      | r = \T
}}
{{eqn | l = \map {f^\uparrow} {\T, \F}
      | r = \T
}}
{{eqn | l = \map {f^\uparrow} {\T, \T}
      | r = \F
}}
{{end-eqn}}
Category:Definitions/Logical NAND
Category:Definitions/Truth Functions
\end{definition}