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