De Morgan's laws
These two tautologies are a direct consequence of the duality in De Morgan's laws.