De Morgan's laws