ド・モルガンの法則
Note that De Morgan's laws hold: formula_18 and formula_19, where "L"c is the complement of "L".