一、单选题（共 10 道试题，共 80 分。）V 1. 下列不是推理规则的是（ ）
A. 前提引入规则
B. 结论引入规则
C. 置换规则
D. 列举规则
满分：8 分
2. PERT图的最早完成时间用TE(vi)表示，最晚完成时间用TL(vi)表示，那么缓存时间 ES(vi)=（ ）
A. TL(vi) -TE(vi)
B. TL(vi) +TE(vi)
C. TL(vi) *TE(vi)
D. TE(vi)-TL(vi)
满分：8 分
3.
如题
A.
B.
C.
D.
满分：8 分
4.
如题
A.
B.
C.
D.
满分：8 分
5.
如题
A.
B.
C.
D.
满分：8 分
6.
如题
A.
B.
C.
D.
满分：8 分
7.
如题
A.
B.
C.
D.
满分：8 分
8.
如题
A.
B.
C.
D.
满分：8 分
9. 下列数组中，不能构成无向图的度数列的数组是( )
A. (1,1,1,2,3)
B. (1,2,3,4,5)
C. (2,2,2,2,2)
D. (1,3,3,3)
满分：8 分
10. 有界格若还是（ ），则称为布尔格，或布尔代数。
A. 分配格
B. 有补格
C. 剩余格
D. 有补分配格
满分：8 分
北航《离散数学》在线作业二
试卷总分：100 测试时间：--
单选题 判断题
一、单选题（共 10 道试题，共 80 分。）V 1. 下列含有p,q,r三个命题变项的简单合取式中哪些不是极小项（ ）
A. p∧┐q
B. p∧┐q∧r
C. ┐p∧q∧r
D. p∧q∧┐r
满分：8 分
2. 设A＝{Φ}，B＝P（P（A）），以下不正确的式子是（ ）
A. {{Φ}，Φ}∈B
B. {{Φ}}∈B
C. {{Φ}}包含于B
D. {{{{Φ}}，Φ}}包含于B
满分：8 分
3.
如题
A.
B.
C.
D.
满分：8 分
4.
如题
A.
B.
C.
D.
满分：8 分
5. 某个集合的元数为10，可以构成（ ）个子集
A. 10
B. 20
C. 102
D. 210
满分：8 分
6. 至少有（ ）元素的含单位元、无零因子环称为除环。
A. 一
B. 二
C. 三
D. 四
满分：8 分
7. 有界格若还是（ ），则称为布尔格，或布尔代数。
A. 分配格
B. 有补格
C. 剩余格
D. 有补分配格
满分：8 分
8.
如题
A.
B.
C.
D.
满分：8 分
9. 设X、Y、Z为任意集合，下列命题正确的有（ ）
A. 若X∪Y＝X∪Z，则Y＝Z
B. 若X∩Y＝X∩Z，则Y＝Z
C. 若～X∪Y＝E，则X＝Y
D. X－Y＝φ，则X＝Y
满分：8 分
10. 设V1包含于V，V1≠Ø，以V1为顶点，以两端点都在V1中的全体边为边集的G的子图称为V1的( )
A. 恒假的
B. 恒真的
C. 可满足的
D. 前束范式
满分：8 分