ド・モルガンの法則
This generalizes De Morgan's laws.