単純化できるブール式を報告します。