北京邮电大学《离散数学》2020-2021第二学期期末试卷A_995168

北京邮电大学2020—2021学年第二学期《离散数学》期末考试试题(A卷)考试一、学生参加考试须带学生证或学院证明，未带者不准进入考场。学生必须按照监考教师指定座位就坐。二、书本、参考资料、书包等物品一律放到考场指定位置。三、学生不得另行携带、使用稿纸，要遵守《北京邮电大学考场规则》，有考事场违纪或作弊行为者，按相应规定严肃处理。项四、学生必须将答题内容做在试题答卷上，做在试题及草稿纸上一律无效考试课程离散数学考试时间2021年6月29日题号二三四五六七八九总分满分得分阅卷系教师一、填空题（每空4分，共40分）1.公式(pAq)V(pAq)的成真赋值为01,10，公式(p→q)A((pAr)Vp)的成假赋值为2.设A为任意的公式，B为重言式，则公式AVB的类型为童3.设公式A含命题变项p,9,3,又已知A的主合取范式为M,AM2AM3AM5,则A的主析取范式为24.(A→B)A7B→为拒取式推理定律，(A→B)A(B→一C)→A→一C为假言三段论推理定律。5.在给定的解释和赋值下，任何公式都是命题。若公式A中无出现的个体变项，则称A是封闭的合式公式，简称闭式。闭式与赋值无关，只需要给定解释。6.设A={2,a,{3,4},B={中，4，{a,3},则A⊕B=多7.一个学校有507,292,312和344个学生分别选了微积分、离散数学、数据结构或程序设计语言课，其中有14人同时选了微积分和数据结构，213人同时选了微积分和程序设计语言，211人同时选了离散数学和数据结构，43人同时选了离散数学和程序设计语言，没有学生同时选微第1页，共2页