ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F9454 on D5402: Boolean logic gate

F9454

Formulation 1

A D18: Map $f : X \to Y$ is a boolean logic gate if and only if

(1)	\begin{equation} \exists \, N \in 1, 2, 3, \ldots : X = \{ 0, 1 \}^N \end{equation}
(2)	\begin{equation} Y = \{ 0, 1 \} \end{equation}