論理否定、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}$		$a$ $\lnot a$ $0$ $1$ $1$ $0$

関連リンク

• $\text{AND}$ ゲート^論理積
• $\text{OR}$ ゲート^論理和
• $\text{XOR}$ ゲート^{排他的論理和}
• $\text{NAND}$ ゲート^{否定論理積}
• $\text{NOR}$ ゲート^{否定論理和}
• $\operatorname{CNOT}$ ゲート
• トフォリゲート^{$\text{CCNOT}$ ゲート}
• フレドキンゲート^{$\text{CSWAP}$ ゲート}