De Morgan's laws
Again, De Morgan's laws hold: formula_22 and formula_23, where formula_24.