Dealing with tautologies in a much more sensible way.  Basically throwing away anything that's getting in the way of evaluating the operands.