Add 'not x || x' and 'not x && x' constant-folding rules.