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