智慧树知到《离散数学（山东联盟）》章节测试答案

第一章单元测试

1、

A.

B.

C.

D.

正确答案：

2、设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间”符号化为

A.Q®P

B.P®Q

C.P«Q

D.ØPÚQ

正确答案：Q®P

3、

A.

B.

C.

D.

正确答案：

4、下列公式是重言式的为

A.PÙQ«ØPÚQ

B.(B®(AÚB))«(ØAÙ(AÚB))

C.Ø(PÚQ)«（ØPÙØQ）

D.AÙØB«AÚB

正确答案：Ø(PÚQ)«（ØPÙØQ）

5、

A.永真式

B.永假式

C.可满足式

D.无法确定

正确答案：永真式

6、下列表述成立的为

A.ØPÙØQÛPÚQ

B.ØB®AÛA®B

C.P®QÞQ

D.ØAÙ(AÚB)ÞB

正确答案：ØAÙ(AÚB)ÞB

7、下列结论中不正确的是

A.三个命题变元的布尔小项ØP∧Q∧ØR的编码是m010

B.三个命题变元的布尔大项ØPÚQÚØR的编码是M101

C.任意两个不同的布尔小项的析取式必为永真式

D.任意两个不同的布尔大项的析取式必为永真式

正确答案：任意两个不同的布尔小项的析取式必为永真式

8、