論理演算
1入力1出力のブール関数は以下の4通りのみであり、その中でトリビアルでない、興味があるものはNOTだけであろう。
入力がなんであれ、常に 0 を出力する
入力がなんであれ、常に 1 を出力する
入力がなんであれ、入力と同じ値をそのまま出力する
入力が 0 であれば 1 を、入力が 1 であれば 0 を出力する。すなわち入力の反転(「否定」とも言う)を出力する (NOTあるいはinversion、以下では ¬ の記号を使う)