Solving De Morgan's Law for set theory case.