《离散数学》测验 参考文档.doc

PAGE

《离散数学》小测验

姓名学号

一、计算题(每小题2分,共6分)

1.求公式 ((P?Q)?(Q?R))?(P?R)的主范式。

2.将一阶逻辑公式F化成与之等价的前束范式,

3.I是如下一个解释:D={1,2}.

试求下列公式在I下的真值:

(1)

(2)

二、证明题(每小题2分,共6分)

1.证明

文档评论(0)

1亿VIP精品文档

相关文档