De Morgan's laws
は、ド・モルガンの法則によれば、次の命題と等しい。