ドモルガン‐の‐ほうそく〔‐ハフソク〕【ドモルガンの法則】
ド・モルガンの法則
【英】De Morgan's laws
ド・モルガンの法則とは、論理学や集合論で使われる定理の一種で、論理積、論理和の否定に関する関係を示す定理のことである。
ド・モルガンの法則では、条件AとBがあるとき、NOTを否定、ANDを論理積、ORを論理和とすると、次のような関係式が成立するとしている。
NOT (A AND B) = NOT(A) OR NOT(B)、NOT (A OR B) = NOT(A) AND NOT(B)これを具体例に当てはめてみると、「成人の男性」の否定は「成人でないか男性でない」すなち「未成年か女性」と同じことであり、「成人か男性」の否定は「成人でなく男性でない」すなち「未成年の女性」と同じことである、と表現することができる。
ド・モルガンの法則は、回路設計や複雑な演算を簡易に表現できることから、コンピュータ科学においても欠かせない重要な法則とされている。
ド･モルガンの法則は、17世紀英国の数学者で論理学者、ド・モルガン（Augustus De Morgan）によって考案された。かれが法則の名称の由来でもある。
![[数式]](http://weblio.hs.llnwd.net/e7/img/dict/tmcyg/img/glossary_scheme_021.gif){kind=small}
について、![[数式]](http://weblio.hs.llnwd.net/e7/img/dict/tmcyg/img/glossary_scheme_022.gif){kind=small}
が
ド・モルガンの法則
ド・モルガンの法則
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/17 07:48 UTC 版)
P, Q をある集合の部分集合とするとき、 ( P ∪ Q ) c = P c ∩ Q c ( P ∩ Q ) c = P c ∪ Q c {\displaystyle {\begin{aligned}(P\cup Q)^{\mathrm {c} }&=P^{\mathrm {c} }\cap Q^{\mathrm {c} }\\(P\cap Q)^{\mathrm {c} }&=P^{\mathrm {c} }\cup Q^{\mathrm {c} }\end{aligned}}} が成り立つことが分かる。これはもっと一般化できて、{Pλ}λ∈Λ をある基礎となる集合の部分集合の族とするときに、 ( ⋃ λ ∈ Λ P λ ) c = ⋂ λ ∈ Λ P λ c ( ⋂ λ ∈ Λ P λ ) c = ⋃ λ ∈ Λ P λ c {\displaystyle {\begin{aligned}\left(\bigcup _{\lambda \in \Lambda }P_{\lambda }\right)^{\mathrm {c} }&=\bigcap _{\lambda \in \Lambda }P_{\lambda }^{\mathrm {c} }\\\left(\bigcap _{\lambda \in \Lambda }P_{\lambda }\right)^{\mathrm {c} }&=\bigcup _{\lambda \in \Lambda }P_{\lambda }^{\mathrm {c} }\end{aligned}}} が成り立つ。これらをド・モルガンの法則という。 この法則は、対応する論理記号の性質（特に双対性）を反映したものである。詳しくは記号論理学の項目を参照。
※この「ド・モルガンの法則」の解説は、「差集合」の解説の一部です。
「ド・モルガンの法則」を含む「差集合」の記事については、「差集合」の概要を参照ください。
「ドモルガンの法則」の例文・使い方・用例・文例
- ド･モルガンの法則のページへのリンク
