Use De Morgan's Law to simplify conditional.