# 法則 - $(A \cup B)^c = A^c \cap B^c$ - $(A \cap B)^c = A^c \cup B^c$ # 証明 $x$を全体集合$X$の元とする $x \in (A \cup B)^c \iff x \notin (A \cup B) \iff x \notin A, x \notin B \iff x \in A^c, x \in B^c \iff x \in (A^c \cap B^c)$