Normalize parenthesized and negated expressions