De Morgan’s laws