論理積

2つの命題が両方とも真である場合のみ結果が真となる論理演算。AND演算とも呼ばれ、A・BまたはA∧Bと表記する。一方でも偽であれば偽となる。

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

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）となる。