ド・モルガンの法則
ここで c は補集合を表す。これはド・モルガンの法則と呼ばれる。