一、单项选择题（共 10 道试题，共 100 分。）
1. 下列等价公式成立的为( B )．
A. ?Pu?Q?PuQ
B. P?(?Q?P) ??P?(P?Q)
C. Q?(PuQ) ??Qu(PuQ)
D. ?Pu(PuQ) ?Q
2. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
3. 下列公式成立的为( D )．
A. ?Pu?Q ? PuQ
B. P??Q ? ?P?Q
C. Q?P T P
D. ?Pu(PuQ)TQ
4. 设个体域D={a, b, c}，那么谓词公式 消去量词后的等值式为 A ．
A. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
B. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
C. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
D. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
5. 谓词公式 是（ A ）．
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
6. 命题公式 的析取范式是( A )．
A.
B.
C.
D.
7. 命题公式(PuQ)?R的析取范式是 ( D )
A. ?(PuQ)uR
B. (PuQ)uR
C. (PuQ)uR
D. (?Pu?Q)uR
8. 在谓词公式("x)(A(x)→B(x)uC(x，y))中，（ C ）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
9. 设命题公式G： ，则使公式G取真值为1的P，Q，R赋值分别是 ( D )．
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
10. 下列公式 (C )为重言式．
A. ?Pu?Q?PuQ
B. (Q?(PuQ)) ?(?Qu(PuQ))
C. (P?(?Q?P))?(?P?(P?Q))
D. (?Pu(PuQ)) ?Q
来源：网络整理 免责声明：本文仅限学习分享，如产生版权问题，请联系我们及时删除。
相关文章：
电大《离散数学》网上在线作业04任务_0006参考(完整)04-30
电大《离散数学》网上在线作业04任务_0004参考(完整)04-30
电大《离散数学》网上在线作业04任务_0005参考(完整)04-30
电大《离散数学》网上在线作业04任务_0003参考(完整)04-30
嵊州“三改一拆”让城乡变美，履带式挖掘机是拆违的重要04-30
文言文阅读。荀巨伯探病苟巨伯远看友人疾，值胡贼攻郡，友04-30
下面是小虎同学做的长度单位换算的几个算式，其中书写正04-30
contrast在音乐中是什么意思调不是melody能对硬调，还有04-30
2和5的最小公倍数04-30