論理否定、NOTゲート

定義¹

次のようなブール関数を $\text{NOT}$ ゲート^{NOT gate}または論理否定^negationと言い、次のように表記する。

$$\lnot : \left\{ 0, 1 \right\} \to \left\{ 0, 1 \right\}$$

$$\lnot 0 = 1,\quad \lnot 1 = 0$$

説明

$\text{NOT}$ ゲートは入力の反対を返す。

$\text{NOT}$ 게이트는 입력의 반대를 반환한다.

부울 함수	기호	진리표
$\text{NOT}$		$a$ $\lnot a$ $0$ $1$ $1$ $0$