离散数学习题答案习题二及答案：（P38）5、求下列公式的主析取范式，并求成真赋值： （2）()()p q q r ⌝→∧∧ 解：原式()p q q r⇔∨∧∧q r ⇔∧()p p q r ⇔⌝∨∧∧()()p q r p q r ⇔⌝∧∧∨∧∧37m m ⇔∨，此即公式的主析取范式，所以成真赋值为011，111。
6、求下列公式的主合取范式，并求成假赋值： （2）()()p q p r ∧∨⌝∨解：原式()()p p r p q r ⇔∨⌝∨∧⌝∨∨()p q r ⇔⌝∨∨4M ⇔，此即公式的主合取范式，所以成假赋值为100。
7、求下列公式的主析取范式，再用主析取范式求主合取范式： （1）()p q r ∧∨ 解：原式()(()())p q r r p p q q r ⇔∧∧⌝∨∨⌝∨∧⌝∨∧()()()()()()p q r p q r p q r p q r p q r p q r ⇔∧∧⌝∨∧∧∨⌝∧⌝∧∨⌝∧∧∨∧⌝∧∨∧∧ ()()()()()p q r p q r p q r p q r p q r ⇔⌝∧⌝∧∨⌝∧∧∨∧⌝∧∨∧∧⌝∨∧∧ 13567m m m m m ⇔∨∨∨∨，此即主析取范式。
主析取范式中没出现的极小项为0m ，2m ，4m ，所以主合取范式中含有三个极大项0M ，2M ，4M ，故原式的主合取范式024M M M ⇔∧∧。
9、用真值表法求下面公式的主析取范式： （1）()()p q p r ∨∨⌝∧ 解：公式的真值表如下：由真值表可以看出成真赋值的情况有7种，此7种成真赋值所对应的极小项的析取即为主析取范式，故主析取范式1234567m m m m m m m ⇔∨∨∨∨∨∨习题三及答案：（P52-54）11、填充下面推理证明中没有写出的推理规则。
前提：,,,p q q r r s p ⌝∨⌝∨→结论：s 证明：① p 前提引入 ② p q ⌝∨ 前提引入 ③ q ①②析取三段论 ④ q r ⌝∨ 前提引入 ⑤ r ③④析取三段论 ⑥ r s → 前提引入⑦ s ⑤⑥假言推理15、在自然推理系统P 中用附加前提法证明下面推理： （2）前提：()(),()p q r s s t u ∨→∧∨→ 结论：p u →证明：用附加前提证明法。
离散数学第二版屈婉玲简介《离散数学第二版》是由屈婉玲编写的离散数学教材。
离散数学是计算机科学中的一门基础课程，主要研究离散对象及其结构、性质和相互关系。
这本教材系统地介绍了离散数学的各个方面，具有循序渐进、清晰易懂的特点，适合计算机科学及相关专业本科生使用。
目录•离散数学概论–离散数学的基本概念–命题逻辑–谓词逻辑与推理–集合与命题逻辑的应用•图论基础–图的基本概念–有向图与无向图–图的遍历–最短路径•关系与函数–二元关系–关系的闭包与等价关系–函数与映射关系–函数的复合与反函数•计数原理–基本计数原理–排列与组合–生成函数–容斥原理•离散数学中的数论–整数与整除性–模运算与同余关系–素数与因子分解–公约数与最大公约数•离散结构中的代数系统–代数系统的基本概念–半群与幺半群–群与子群–环与域内容概述离散数学概论第一章介绍了离散数学的基本概念和离散对象的性质。
包括集合论、命题逻辑和谓词逻辑等内容。
后续讲解了命题逻辑的推理规则，以及如何应用集合论和命题逻辑解决实际问题。
图论基础第二章介绍了图论的基本概念和图的表示方法。
包括有向图和无向图的概念、图的遍历算法和最短路径算法。
通过实例讲解了如何使用图论解决实际问题。
关系与函数第三章介绍了关系与函数的概念和性质。
包括二元关系的定义和性质、关系的闭包和等价关系的概念，以及函数与映射关系的概念和性质。
通过实例讲解了如何使用关系和函数解决实际问题。
计数原理第四章介绍了计数原理的基本概念和计数方法。
包括基本计数原理、排列与组合、生成函数和容斥原理等内容。
通过实例讲解了如何使用计数原理解决实际问题。
离散数学中的数论第五章介绍了离散数学中的数论知识。
包括整数与整除性、模运算与同余关系、素数与因子分解、公约数与最大公约数等内容。
通过实例讲解了如何使用数论知识解决实际问题。
离散结构中的代数系统第六章介绍了离散结构中的代数系统。
包括代数系统的基本概念、半群与幺半群、群与子群、环与域等内容。
离散数学习题答案习题一及答案：（P14-15）14、将下列命题符号化：（5）李辛与李末是兄弟解：设p：李辛与李末是兄弟，则命题符号化的结果是p（6）王强与刘威都学过法语p q解：设p：王强学过法语；q：刘威学过法语；则命题符号化的结果是（9）只有天下大雨，他才乘班车上班q p解：设p：天下大雨；q：他乘班车上班；则命题符号化的结果是（11）下雪路滑，他迟到了解：设p：下雪；q：路滑；r：他迟到了；则命题符号化的结果是(p q)r15、设p：2+3=5.q：大熊猫产在中国.r：太阳从西方升起.求下列复合命题的真值：(p q r)((p q)r)（4）解：p=1，q=1，r=0，(p q r)(110)1，((p q)r)((11)0)(00)1 (p q r)((p q)r)111 19、用真值表判断下列公式的类型：(p p)q（2）解：列出公式的真值表，如下所示：p p qq(p p)(p p)q0 0 1 1 1 10 1 1 0 1 01 0 0 1 0 11 1 0 0 0 1由真值表可以看出公式有3个成真赋值，故公式是非重言式的可满足式。
20、求下列公式的成真赋值：（4）(p q)q解：因为该公式是一个蕴含式，所以首先分析它的成假赋值，成假赋值的条件是：p0(p q) 1q0q0成真赋值有：01，10，11。
所以公式的习题二及答案：（P38）5、求下列公式的主析取范式，并求成真赋值：（2）(p q)(q r)解：原式(p q)q r(p p)q rq r，此即公式的主析取范式，m m(p q r)(p q r)37所以成真赋值为011，111。
*6、求下列公式的主合取范式，并求成假赋值：（2）(p q)(p r)解：原式，此即公式的主合取范式，M(p p r)(p q r)(p q r)4所以成假赋值为100。
7、求下列公式的主析取范式，再用主析取范式求主合取范式：（1）(p q)r解：原式p q(r r)((p p)(q q)r)(p q r)(p q)r(p q)r(p q)r(p q)r(pq r(p q r)(p q)r(p q)r(p q)r(pq r，此即主析取范式。
