设个体域 D={a,b,c}, 消去谓词“xy(F(x) G(y))”中的量词后的形式为：

• A、

  (F(a) F(b)) F(c))  (G(a) G(b) G(c))；  

• B、

  (F(a) F(b) F(c))  (G(a) G(b) G(c))  

• C、

  (F(a) F(b) F(c))  (G(a) G(b) G(c))；

• D、

   (F(a) F(b) F(c))  (G(a) G(b) G(c)).