ド・モルガンの法則

De Morgan's Laws

ど・もるがんのほうそく

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

基礎理論 > 離散数学

他の資格での定義

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

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

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

命題の真偽を反転させる論理演算。NOT演算とも呼ばれ、¬AまたはA̅と表記する。真は偽に、偽は真になる。

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

論理式の入力変数の全ての組み合わせに対する出力値を一覧にした表。論理回路の設計や論理式の等価性の検証に使用される。n個の変数に対して2のn乗通りの行を持つ。

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