设个体域D={a，b，c}，在D中消去公式的量词。甲、乙用了不同的演算过程。显然，乙的演算过程简单些。试

设个体域D={a，b，c}，在D中消去公式的量词。甲、乙用了不同的演算过程。

显然，乙的演算过程简单些。试指出乙在演算过程中的关键步骤。