De Morgan's laws
This equivalence is one of De Morgan's laws.