注意：此页面搜索的是所有试题
题目内容
（国家开放大学离散数学（本））
设个体域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))
单选题 (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))
参考答案