排他的論理和

排他的論理和を求める論理演算。2つの入力が異なるとき（一方が真で他方が偽）のみ結果が真（1）となり、同じ値のときは偽（0）となる。

2つの命題の真偽が異なる場合に真、同じ場合に偽となる論理演算。XOR演算とも呼ばれ、A⊕Bと表記する。暗号化やパリティチェックなどで広く使われる。

2つの命題のうち少なくとも一方が真であれば真となる論理演算。OR演算とも呼ばれ、記号∨で表す。集合の和集合、ビット演算のOR、プログラミングの||演算子に対応する。

2つの命題が両方とも真であるときのみ真となる論理演算。AND演算とも呼ばれ、記号∧で表す。集合の積集合、ビット演算のAND、プログラミングの&&演算子に対応する。

論理演算における基本法則。NOT(A AND B) = (NOT A) OR (NOT B)、NOT(A OR B) = (NOT A) AND (NOT B)の2つからなる。論理式の簡略化やNAND/NOR回路での等価変換に不可欠。

論理関数を視覚的に簡略化するための図表。隣接するセルが1ビットだけ異なるように配置し、1の値をとるセルのグループ化により最簡形の論理式を導出する。4変数程度までの論理回路設計で有効。

論理積を求める論理演算。2つの入力が両方とも真（1）のときのみ結果が真（1）となり、それ以外は偽（0）となる。

論理和を求める論理演算。2つの入力のうち少なくとも1つが真（1）であれば結果が真（1）となり、両方とも偽（0）のときのみ偽（0）となる。