ThmDex – An index of mathematical definitions, results, and conjectures.
Real arithmetic expressions for NAND boolean logic gate
Formulation 0
Let $\text{NAND} : \{ 0, 1 \} \times \{ 0, 1 \} \to \{ 0, 1 \}$ be a D3551: NAND boolean logic gate.
Let $x, y \in \{ 0, 1 \}$ each be a D1043: Boolean number.
Then
(1) \begin{equation} \text{NAND} = 1 - \text{AND} (x, y) \end{equation}
(2) \begin{equation} \text{NAND} = \text{NOT}(\text{AND}(x, y)) \end{equation}
(3) \begin{equation} \text{NAND} = \text{XOR}(x, y) + \text{NOR}(x, y) \end{equation}