ThmDex – An index of mathematical definitions, results, and conjectures.
F9439
Formulation 1
A D218: Boolean function $f : \{ 0, 1 \} \to \{ 0, 1 \}$ is a falsum basic boolean logic gate if and only if
(1) \begin{equation} f(0) = 0 \end{equation}
(2) \begin{equation} f(1) = 0 \end{equation}