true
または
false
リテラルを含み、単純化できるブール式を報告します。