De Morgan's laws
This generalizes De Morgan's laws.