设个体域D={a，b，c}，那么谓词公式（$x）A（x）∨（“”y）B（y）消去量词后的等值式为（）.
设个体域D={a，b，c}，那么谓词公式（$x）A（x）∨（“”y）B（y）消去量词后的等值式为（）.
A.（A（a）∨A（b）∨A（c））∨（B（a）∧B（b）∧B（c））
B.（A（a）∧A（b）∧A（c））∨（B（a）∨B（b）∨B（c））
C.（A（a）∨A（b）∨A（c））∨（B（a）∨B（b）∨B（c））
D.（A（a）∧A（b）∧A（c））∨（B（a）∧B（b）∧B（c））
正确答案：A