Simplify boolean expression with literal intention