Simplify logic with De Morgan's law