例として、論理式formula_10を考えよう。