ド・モルガンの法則
These two tautologies are a direct consequence of the duality in De Morgan's laws.