論理和、ORゲート

定義¹

以下のようなブール関数を**$\text{OR}$ ゲート**^{OR gate}または論理和^disjunctionと呼び、以下のように表記する。

$$ \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 $$

説明

$\text{OR}$ ゲートは2つの真理値を1つの真理値に変換し、2つの真理値のうち一方でも真であれば真を返す。

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

$\text{NOT}$ ゲートと$\text{AND}$ ゲートで表現可能である。

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