泰山学院 信息科学技术学院.doc

泰山学院 信息科学技术学院 2011级本科2011～20学年 学期 2分，共 20 分） 1 2 3 4 5 6 7 8 9 10 答案 A A D C D B B A C C 二、填空题（每题2分，共分） 、 3、“永真”或“可满足”； 4、、、、10、三、计算题（每题8分共分）、构造真值表 pq r 000 001 010 011 100 101 110 111 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 1 (2) 求主取范式 …………………………………2分 …………………………………4分 2、解：每小题2分 (1) (2) (3) (4) 反对称性。 解： （1）R出的哈斯图（4分 ） （2）A的最大元60，最小元1。（2分） （3）B={2,3}的上确界12 下确界1（2分） 4、 W（T）=2+3+7+5+10+17=44 说明：图示不唯一的，W(T)是唯一的 5、解：每小题2分 （1）画图 c b a （2）出度序列 1,2,2； （3）； （4）3 四、证明题（1-2题每题7分，分共分）p 前提引入 ③p ①②假言推理……………………………………2分 ④p(qr) 前提引入 ⑤qr ③④假言推理……………………………………4分 ⑥q 前提引入 ⑦r ⑤⑥假言推理 ……………………………7分 证明： 设G=V,E,是无向连通图 当n=1时，因为 所以，成立。……………………2分 设n=k是结论成立，则n=k+1（1）时，设v是G的任意一个顶点，G-v有条边，因为G-v连通，由归纳假设，所以 ………………………………7分 3、解：每小题2分 (1) (2)设b是单位元，aS ，,则 解的b=-2，即为单位。 (3) 也满足结合律aS，设c是它的逆元,, 所以S, 是群。 注：考试期间试卷不允许拆开 本试卷共 4 页 第 2 页 泰山学院课程考试专用 注：考试期间试卷不允许拆开 本试卷共4 页 第 1 页