ド・モルガンの法則
Again, De Morgan's laws hold: formula_22 and formula_23, where formula_24.