最終さいしゅう確認かくにん日び: 2026年ねん5月がつ16日にち
(A ∪ B)^c = A^c ∩ B^c、 (A ∩ B)^c = A^c ∪ B^c。 補ほ集合しゅうごう と 和わ・積つむ を 入いれ替かえる 法則ほうそく。
ド・モルガンの法則ほうそくは、補集合ほしゅうごうと ∩\cap∩・∪\cup∪ の関係かんけいを表あらわす重要じゅうよう法則ほうそくです。
「バーを各かく集合しゅうごうに分配ぶんぱいすると、∪\cup∪ と ∩\cap∩ が入いれかわる」と覚おぼえます。これは命題めいだいの否定ひていでも同おなじ形かたちで登場とうじょうし、「『ppp かつ qqq』の否定ひてい = 『p‾\overline{p}p または q‾\overline{q}q』」となります。
試験しけんでは 複雑ふくざつな条件じょうけんの否定ひていを作つくるときに必須ひっす。「かつ」と「または」が入いれかわる点てんを忘わすれずに。集合しゅうごうと論理ろんりの両方りょうほうで使つかえる万能ばんのうの法則ほうそく。