De Morgan's laws
が成り立つ。これらをド・モルガンの法則という。