論理和

2つの命題のうち少なくとも一方が真であれば結果が真となる論理演算。OR演算とも呼ばれ、A+BまたはA∨Bと表記する。両方が偽の場合のみ偽となる。

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

2つの命題の真偽が異なるときに真となる論理演算。XOR演算とも呼ばれ、記号⊕で表す。暗号化やパリティチェック、ビット反転に利用される。A⊕A=0、A⊕0=Aという性質を持つ。

論理演算における基本法則。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）となる。