ド・モルガンの法則
$ \overline{A \cup B} = \overline{A} \cap \overline{B}
$ \overline{A \cap B} = \overline{A} \cup \overline{B}
De Morgan's laws
負論理
ド・モルガンの法則 - Wikipedia