This intention simplifies a boolean expression that has parts which can be reduced to constants.