De Morgan's law