ThmDex – An index of mathematical definitions, results, and conjectures.
 ▼ Set of symbols ▼ Alphabet ▼ Deduction system ▼ Theory ▼ Zermelo-Fraenkel set theory ▼ Set ▼ Binary cartesian set product ▼ Binary relation ▼ Map ▼ Function ▼ Real collection function ▼ Euclidean real function ▼ Real function ▼ Rational function ▼ Integer function ▼ Natural number function ▼ Boolean function
Definition D5402
Boolean logic gate

Let $\mathbb{B} = \{ 0, 1 \}$ be the D217: Set of boolean numbers.
A D18: Map $f : X \to Y$ is a boolean logic gate if and only if
 (1) $$\exists \, N \in 1, 2, 3, \ldots : X = \mathbb{B}^N$$ (2) $$Y = \mathbb{B}$$

A D18: Map $f : X \to Y$ is a boolean logic gate if and only if
 (1) $$\exists \, N \in 1, 2, 3, \ldots : X = \{ 0, 1 \}^N$$ (2) $$Y = \{ 0, 1 \}$$
Children
 ▶ AND boolean logic gate ▶ Conditional basic boolean logic gate ▶ Falsum basic boolean logic gate ▶ NAND boolean logic gate ▶ NOR boolean logic gate ▶ NOT boolean logic gate ▶ OR boolean logic gate ▶ Verum basic boolean logic gate ▶ XNOR boolean logic gate ▶ XOR boolean logic gate