De Morgan's laws
論理積は、否定と論理和を用いて表すことができる（ド・モルガンの法則）。