ド・モルガンの法則
This equivalence is one of De Morgan's laws.