离散数学201数理逻辑测验答案 2.docVIP

命题人： 李继容 奚悦 试卷分类（A卷或B卷） 五邑大学 试 卷 学期： 2008 至 2009 学年度　　　第 1 学期 课程： 离散数学　　　　　 　　　　 专业： 　　　　　　　 　 班级： AP07061、62、63、64　　　 姓名： 　 　　 　学号： 　 题号 一 二 三 四 五 六 七 八 九 十 总分 得分 一、　　　　　　　 将下列命题翻译成命题公式。(共2个小题，每小题3分，共6分) 1．枫叶红了，秋天到了。 ，其中，p：枫叶红了，q：秋天到了 2．2+2=4，当且仅当3是奇数。 ，其中，p：2+2=4，q：3是奇数 二、　　　　　　　 将下列命题翻译成谓词公式。(共2个小题，每小题3分，共6分) 并不是所有的人都爱吃糖。 令为人. 爱吃糖 或者 2．有人爱看小说。 令为人.爱看小说. . 三、　　　　　　　 不使用真值表，试求出公式G=（﹁PR）∧（QP）的主合取范式，并利用其主合取范式，求得其主析取范式。（8分） 解 G=（﹁PR）∧（QP） =（﹁PR）∧（QP）∧（PQ） =（P∨R）∧（﹁Q∨P）∧（﹁P∨Q） =（P∨R∨（Q∧﹁Q））∧（﹁Q∨P∨（R∧﹁