ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F3425 on D3556: NOR boolean logic gate
F3425
Formulation 0
A D218: Boolean function $f : \mathbb{B} \times \mathbb{B} \to \mathbb{B}$ is a NOR boolean logic gate if and only if
(1) \begin{equation} f(0, 0) = 1 \end{equation}
(2) \begin{equation} f(1, 0) = 0 \end{equation}
(3) \begin{equation} f(0, 1) = 0 \end{equation}
(4) \begin{equation} f(1, 1) = 0 \end{equation}