証明(2)

図1のベン図に示すように，左辺に対する部分集合と右辺の部分集合が 一致することから、定理7(i)が成立することがわかる．

図 1: 定理7(i)

左辺
右辺

[定理8] (ド・モルガンの定理)

$$\overline{A\cdot B}=\overline{A} + \overline{B}, \qquad \overline{A + B}=\overline{A} \cdot \overline{B}$$