---

设个体域D={a, b, c}，那么谓词公式($x)A(x)∨("y)B(y)消去量词后的等值式为( )．

单选题 (5 分) 5分
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))

---

出自：国家开放大学离散数学（本）

显示答案