Double negation simplification