ブールの条件式を同等のブール式に置換します。