Disjunction, OR Gate

Definition¹

The following Boolean function is called $\text{OR}$ Gate or Disjunction, and it is denoted as follows.

$$ \lor : \left\{ 0, 1 \right\}^{2} \to \left\{ 0, 1 \right\} $$

$$ 0\lor 0 = 0,\quad 0\lor 1 = 1,\quad 1\lor 0 = 1,\quad 1\lor 1 = 1 $$

Description

$\text{OR}$ Gate sends two truth values to one truth value, and it returns true if there is at least one true value among the two.

부울 함수	기호	진리표
$\text{OR}$		$a$ $b$ $a \lor b$ $0$ $0$ $0$ $0$ $1$ $1$ $1$ $0$ $1$ $1$ $1$ $1$

This can be expressed with $\text{NOT}$ Gate and $\text{AND}$ Gate.

$$ a \lor b = \lnot(\lnot a \land \lnot b) $$