Reports the boolean expressions that contain the true or false literals and can be simplified.