ド・モルガンの法則

論理演算における重要な法則。「AかつBの否定」は「Aの否定またはBの否定」に等しく、「AまたはBの否定」は「Aの否定かつBの否定」に等しい。論理式の変換や簡略化に不可欠。

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

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

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

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

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

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