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