ドモルガンの定理（読み）ドモルガンノテイリ

デジタル大辞泉

ドモルガン‐の‐ていり【ドモルガンの定理】

⇒ドモルガンの法則2

出典　小学館

法則の辞典

ド＝モルガンの定理【de Morgan's theorem】

(1) 集合演算に関する規則（＝ド＝モルガンの法則＊）．

(2) 論理演算に関する定理ORはANDとNOTによって表現可能．またANDはORとNOTで表現可能である．例えば命題AとBとがあって，¬AをAの否定，A∧をAとBとの論理積，A∨BをAとBとの論理和を表すこととすると，命題を表す変数AとBの条件として¬（A∧B） は（¬A）∨（¬B）と，¬（A∨B）は（¬A）∧（¬B）とは同値になる．

出典　朝倉書店