Intention to simplify boolean expressions that have parts in them that can be reduced to constants