18春北大《离散数学》在线作业

(精华版)国家开放大学电大本科《离散数学》网络课形考网考作业及答案(精华版)国家开放大学电大本科《离散数学》网络课形考网考作业及答案 100%通过考试说明：2020年秋期电大把该网络课纳入到“国开平台”进行考核，该课程共有5个形考任务，针对该门课程，本人汇总了该科所有的题，形成一个完整的标准题库，并且以后会不断更新，对考生的复习、作业和考试起着非常重要的作用，会给您节省大量的时间。

做考题时，利用本文档中的查找工具，把考题中的关键字输到查找工具的查找内容框内，就可迅速查找到该题答案。

本文库还有其他网核及教学考一体化答案，敬请查看。

课程总成绩 = 形成性考核×30% + 终结性考试×70% 形考任务1 单项选择题题目1 若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是（）．选择一项：题目2 若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )．选择一项：题目3 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>，<2, 2>，<2, 3>，<4, 4>}，S={<1, 1>，<2, 2>，<2, 3>，<3, 2>，<4, 4>}，则S是R的（）闭包．选择一项：B. 对称题目4 设集合A={1, 2, 3}，B={3, 4, 5}，C={5, 6, 7}，则A∪B–C=( )．选择一项：D. {1, 2, 3, 4} 题目5 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．选择一项：C. 2 题目6 集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y∈A}，则R的性质为（）．选择一项：D. 传递的题目7 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．选择一项：题目8 设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为（）．选择一项：C. 8 题目9 设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}，则集合B的最大元、最小元、上界、下界依次为 ( )．选择一项：B. 无、2、无、2 题目10 设集合A ={1 , 2, 3}上的函数分别为：f = {<1, 2>，<2, 1>，<3, 3>}，g = {<1, 3>，<2, 2>，<3, 2>}，h = {<1, 3>，<2,1>，<3, 1>}，则h =（）．选择一项：D. f◦g 判断题题目11 设A={1, 2}上的二元关系为R={<x, y>|xA，yA, x+y =10}，则R的自反闭包为{<1, 1>, <2, 2>}．（）选择一项：对题目12 空集的幂集是空集．（）选择一项：错题目13 设A={a, b}，B={1, 2}，C={a, b}，从A到B的函数f={<a, 1>, <b, 2>}，从B到C的函数g={<1, b>, <2, a >}，则g° f ={<1，2 >, <2，1 >}．（）选择一项：错题目14 设集合A={1, 2, 3, 4}，B={2, 4, 6, 8}，下列关系f = {<1, 8>, <2, 6>,<3, 4>, <4, 2,>}可以构成函数f：．（）选择一项：对题目15 设集合A={1, 2, 3}，B={2, 3, 4}，C={3, 4, 5}，则A∩(C-B )= {1, 2, 3, 5}．（）选择一项：错题目16 如果R1和R2是A上的自反关系，则、R1∪R2、R1∩R2是自反的．（）选择一项：对题目17 设集合A=｛a, b, c, d｝，A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>}，则R具有反自反性质．（）选择一项：对题目18 设集合A={1, 2, 3}，B={1, 2}，则P(A)-P(B )={{3},{1,3},{2,3},{1,2,3}}．（）选择一项：对题目19 若集合A = {1，2，3}上的二元关系R={<1, 1>，<1, 2>，<3, 3>}，则R是对称的关系．（）选择一项：错题目20 设集合A={1, 2, 3, 4 }，B={6, 8, 12}， A到B的二元关系R＝那么R－1＝{<6, 3>，<8,4>}．（）选择一项：对形考任务2 单项选择题题目1 无向完全图K4是（）．选择一项：C. 汉密尔顿图题目2 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．选择一项：D. 5 题目3 设无向图G的邻接矩阵为则G的边数为( )．选择一项：A. 7 题目4 如图一所示，以下说法正确的是 ( ) ．选择一项：C. {(d, e)}是边割集题目5 以下结论正确的是( )．选择一项：C. 树的每条边都是割边题目6 若G是一个欧拉图，则G一定是( )．选择一项：B. 连通图题目7 设图G＝<V, E>，v∈V，则下列结论成立的是 ( ) ．选择一项：题目8 图G如图三所示，以下说法正确的是 ( )．选择一项：C. {b, c}是点割集题目9 设有向图（a）、（b）、（c）与（d）如图五所示，则下列结论成立的是( )．选择一项：A. （a）是强连通的题目10 设有向图（a）、（b）、（c）与（d）如图六所示，则下列结论成立的是( )．选择一项：D. （d）只是弱连通的判断题题目11 设图G是有6个结点的连通图，结点的总度数为18，则可从G中删去4条边后使之变成树．( ) 选择一项：对题目12 汉密尔顿图一定是欧拉图．( ) 选择一项：错题目13 设连通平面图G的结点数为5，边数为6，则面数为4．( ) 选择一项：错题目14 设G是一个有7个结点16条边的连通图，则G为平面图．( ) 选择一项：错题目15 如图八所示的图G存在一条欧拉回路．( ) 选择一项：错题目16 设图G如图七所示，则图G的点割集是{f}．( ) 选择一项：错题目17 设G是一个图，结点集合为V，边集合为E，则( ) 选择一项：对题目18 设图G是有5个结点的连通图，结点度数总和为10，则可从G中删去6条边后使之变成树．( ) 选择一项：错题目19 如图九所示的图G不是欧拉图而是汉密尔顿图．( ) 选择一项：对题目20 若图G=<V, E>，其中V={ a, b, c, d }，E={ (a, b), (a, d),(b, c), (b, d)}，则该图中的割边为(b, c)．( ) 选择一项：对形考任务3 单项选择题题目1 命题公式的主合取范式是( )．选择一项：题目2 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．选择一项：题目3 命题公式的主析取范式是( )．选择一项：题目4 下列公式成立的为( )．选择一项：题目5 设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（）．选择一项：题目6 前提条件的有效结论是( )．选择一项：B. ┐Q 题目7 命题公式(P∨Q)→R的析取范式是 ( )．选择一项：D. (┐P∧┐Q)∨R 题目8 下列等价公式成立的为( )．选择一项：题目9 下列等价公式成立的为( )．选择一项：题目10 下列公式中 ( )为永真式．选择一项：C. ┐A∧┐B ↔ ┐(A∨B) 判断题题目11 设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为T．( ) 选择一项：对题目12 设P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( ) 选择一项：对题目13 下面的推理是否正确．( ) (1) (∀x)A(x)→B(x) 前提引入(2) A(y)→B(y) US (1) 选择一项：错题目14 含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．( ) 选择一项：对题目15 命题公式P→(Q∨P)的真值是T．( ) 选择一项：对题目16 命题公式┐P∧P的真值是T．( ) 选择一项：错题目17 谓词公式┐(∀x)P(x)(∃x)┐P(x)成立．( ) 选择一项：对题目18 命题公式┐(P→Q)的主析取范式是P∨┐Q．( ) 选择一项：错题目19 设个体域D＝{a, b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．( ) 选择一项：对题目20 设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ) 选择一项：错形考任务4 要求：学生提交作业有以下三种方式可供选择：1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅． 2. 在线提交word文档. 3. 自备答题纸张，将答题过程手工书写，并拍照上传形考任务 5 网上学习行为（学生无需提交作业，占形考总分的10%）附：元宇宙（新兴概念、新型虚实相融的互联网应用和社会形态）元宇宙（Metaverse）是整合了多种新技术而产生的新型虚实相融的互联网应用和社会形态，通过利用科技手段进行链接与创造的，与现实世界映射与交互的虚拟世界，具备新型社会体系的数字生活空间。

离散数学作业题第2章集合、关系与映射1.A⊆B，A∈B能否同时成立，说明原因求集合A＝{a，{a}}的幂集2.证明：若B⊆C，则P(B)⊆ P(C)3.如果A∪B=A∪C，是否有B=C？如果A⊕B=A⊕C，是否有B=C？4.试求1到10000之间不能被4，5或6整除的整数个数.5.列出所有从A={a,b,c}到B={s}的关系，并指出集合A上的恒等关系和从A到B的全域关系.6.给出A上的关系及其关系图和矩阵表示.{<x,y>|0≤x-y＜3} A={0，1，2，3，4}7.已知S={a,b}. R⊆ ={〈x,y〉|x,y∈A∧x⊆y∧A为集合族ρ(S)}.试写出关系R⊆.8.已知：A={a,b,c}, R={〈a,b〉,〈a,c〉,〈b,c〉}该关系具有什么性质？(自反，反自反，对称，反对称，传递性)9.设A={a,b,c},R={〈a,b〉,〈a,c〉} 计算：r(R)，sr(R)，tr(R)，str(R).10.设A是含有4个元素的集合，试求：(1)在A上可以定义多少种对称关系？(2)在A上可以定义多少种既是自反的，又是对称的关系？(3)在A上可以定义多少种既不是自反的，也不是反自反的二元关系？11.设集合A={0，1，2，3，4}. R={<x,y>|x+y=4,x,y∈A} ，S={<x,y>|y-x=1,x,y∈A}.试求：R◦S，R◦R，(R◦S)◦R，R◦(S◦R).12.证明：R是A上的传递关系⇔R◦R⊆R.13.A={1,2,3,4,5},R={<x,y>|x,y∈A∧x-y可被2整除}，试问R是否是A上的等价关系？如果是，求出R的各等价类.14.A={1,2,3,4,5},A上的划分∏={{1,2},{3,4},{5}}，给出由∏所诱导出的A上的等价关系R的集合表达式.15.试给出一个单射但非满射的函数.(对某一集合而言)16.设f：N→N×N，f(n)=<n,n+1>,则：(1)说明f是否为单射和满射，并说明理由.(2) f的反函数是否存在？并说明理由.(3)求ranf.17.已知如果从无限集合A到集合B存在单射f，则B也是无限集合。

2023学堂在线网课《离散数学》课后作业单元考核答案第一单元答案1.1题目：在集合 {1, 2, 3, 4} 上定义一个二元关系 R，其中 R = {(1,1), (2,2), (3,3), (4,4), (1,4), (4,1)}。

给出 R 的自反、对称、反对称和传递性特点。

•自反特性：对于任意元素x ∈ {1, 2, 3, 4}，都存在 (x, x) ∈ R。

所以，R 是自反的。

•对称特性：对于任意的(x, y) ∈ R，都存在(y, x) ∈ R。

所以，R 是对称的。

•反对称特性：对于任意的(x, y) ∈ R，如果存在 (y, x) ∈ R，那么 x = y。

所以，R 是反对称的。

•传递性特性：对于任意的(x, y) ∈ R 和(y, z) ∈ R，都存在(x, z) ∈ R。

所以，R 是传递的。

1.2题目：在集合 {1, 2, 3, 4} 上定义一个二元关系 R，其中 R = {(1,1), (1,2), (2,1), (2,2), (3,3), (3,4), (4,3), (4,4)}。

给出 R 的自反、对称、反对称和传递性特点。

•自反特性：对于任意元素x ∈ {1, 2, 3, 4}，都存在 (x, x) ∈ R。

所以，R 是自反的。

•对称特性：对于任意的(x, y) ∈ R，都存在(y, x) ∈ R。

所以，R 是对称的。

•反对称特性：对于任意的(x, y) ∈ R，如果存在 (y, x) ∈ R，那么 x = y。

所以，R 是反对称的。

•传递性特性：对于任意的(x, y) ∈ R 和(y, z) ∈ R，都存在(x, z) ∈ R。

所以，R 是传递的。

第二单元答案2.1题目：证明或给出一个反例：若 R 是集合 A 上的一个等价关系，且对于任意 a, b ∈ A，有 (a, b) ∈ R 或 (b, a) ∈ R，那么 A 必然可以划分为若干等价类。

假设 R 是集合 A 上的一个等价关系，且对于任意a, b ∈ A，有(a, b) ∈ R 或(b, a) ∈ R。

离散数学作业2离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。

．本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业。

．要求：将此作业用A4纸打印出来，并在03任务界面下方点击“保存”和“交卷”按钮，以便教师评分．作业应手工书写答题，字迹工整，解答题要有解答过程，要求2009年4月5日前完成并后上交任课教师（不收电子稿）。

．并在03任务界面下方点击“保存”和“交卷”按钮，以便教师评分。

一、单项选择题1．若集合A ＝{2，a ，{ a }，4}，则下列表述正确的是( B )．A ．{a ，{a }}∈AB ．{ a }⊆AC ．{2}∈AD ．∅∈A2．设B = { {2}, 3, 4, 2}，那么下列命题中错误的是（ B ）．A ．{2}∈B B ．{2, {2}, 3, 4}⊂BC ．{2}⊂BD ．{2, {2}}⊂B3．若集合A ={a ，b ，{ 1，2 }}，B ={ 1，2}，则（ D ）．A ．B ⊂ A B ．A ⊂ BC ．B ∉ AD ．B ∈ A4．设集合A = {1, a }，则P (A ) = ( C )．A ．{{1}, {a }}B ．{∅,{1}, {a }}C ．{∅,{1}, {a }, {1, a }}D ．{{1}, {a }, {1, a }}5．设集合A = {1，2，3}，R 是A 上的二元关系，R ={<a , b >⎢a ∈A ，b ∈ A 且1=-b a }则R 具有的性质为（ B ）．A ．自反的B ．对称的C ．传递的D ．反对称的6．设集合A = {1，2，3，4，5，6 }上的二元关系R ={<a , b >⎢a , b ∈A ，且a =b }，则R 具有的性质为（ D ）．A ．不是自反的B ．不是对称的C ．反自反的D ．传递的7．设集合A ={1 , 2 , 3 , 4}上的二元关系R = {<1 , 1>，<2 , 2>，<2 , 3>，<4 , 4>}，S = {<1 , 1>，<2 , 2>，<2 , 3>，<3 , 2>，<4 , 4>}，则S 是R 的（ C ）闭包．A ．自反B ．传递C ．对称D ．以上都不对8．设集合A ={a , b }，则A 上的二元关系R={<a , a >，<b , b >}是A 上的( D )关系．A ．是等价关系但不是偏序关系B ．是偏序关系但不是等价关系C ．既是等价关系又是偏序关系D ．不是等价关系也不是偏序关系9．设集合A = {1 , 2 , 3 , 4 , 5}上的偏序关系 的哈斯图如右图所示,若A 的子集B = {3 , 4 , 5}，则元素3为B 的（ C ）．A ．下界B ．最大下界C ．最小上界D ．以上答案都不对10．设集合A ={1 , 2, 3}上的函数分别为：f = {<1 , 2>，<2 , 1>，<3 , 3>}，g = {<1 , 3>，<2 , 2>，<3 , 2>}，h = {<1 , 3>，<2 , 1>，<3 , 1>}，则 h =（ A ）．（A ）f ◦g （B ）g ◦f （C ）f ◦f （D ）g ◦g二一、填空题1．设集合{1,2,3},{1,2}A B ==，则A B = A ，A B = B ．21．设集合{1,2,3},{1,2}A B ==，则P (A )-P (B )= {{3},{1,3},{2,3},{1,2,3}} ，A ⨯B = {<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} ．32．设集合A 有10个元素，那么A 的幂集合P (A )的元素个数为210 ．43．设集合A ={0, 1, 2, 3}，B ={2, 3, 4, 5}，R 是A 到B 的二元关系，},,{B A y x B y A x y x R ⋂∈∈∈><=且且则R 的有序对集合为:{<2,2>,<2,3>,<3,2>,<3,3>}设集合A = {1，2，3，4，5 }，B = {1，2，3}，R 从A 到B 的二元关系，R ={<a , b >⎢a ∈A ，b ∈B 且2≤a + b则R 的有序对集合为:A ⨯B 。

习题一1.下列句子中,哪些是命题？在是命题的句子中,哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？（1）中国有四大发明.答：此命题是简单命题，其真值为1.（2）5是无理数.答：此命题是简单命题，其真值为1.（3）3是素数或4是素数.答：是命题，但不是简单命题，其真值为1.x+<（4）235答：不是命题.（5）你去图书馆吗？答：不是命题.（6）2与3是偶数.答：是命题，但不是简单命题，其真值为0.（7）刘红与魏新是同学.答：此命题是简单命题，其真值还不知道.（8）这朵玫瑰花多美丽呀！答：不是命题.（9）吸烟请到吸烟室去！答：不是命题.（10）圆的面积等于半径的平方乘以π.答：此命题是简单命题，其真值为1.（11）只有6是偶数，3才能是2的倍数.答：是命题，但不是简单命题，其真值为0.（12）8是偶数的充分必要条件是8能被3整除.答：是命题，但不是简单命题，其真值为0.（13）2008年元旦下大雪.答：此命题是简单命题，其真值还不知道.2.将上题中是简单命题的命题符号化.解:（1）p：中国有四大发明.（2）p:错误！未找到引用源。

是无理数.（7）p:刘红与魏新是同学.（10）p:圆的面积等于半径的平方乘以π.（13）p:2008年元旦下大雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.（1）5是有理数.答：否定式：5是无理数. p：5是有理数.q：5是无理数.其否定式q的真值为1.（2）25不是无理数.答：否定式：25是有理数. p ：25不是无理数. q ：25是有理数. 其否定式q 的真值为1.（3）2.5是自然数.答：否定式：2.5不是自然数. p ：2.5是自然数. q ：2.5不是自然数. 其否定式q 的真值为1.（4）ln1是整数.答：否定式：ln1不是整数. p ：ln1是整数. q ：ln1不是整数. 其否定式q 的真值为1.4.将下列命题符号化，并指出真值. （1）2与5都是素数答：p ：2是素数，q ：5是素数，符号化为p q ∧，其真值为1.（2）不但π是无理数，而且自然对数的底e 也是无理数.答：p ：π是无理数，q ：自然对数的底e 是无理数，符号化为p q ∧，其真值为1. （3）虽然2是最小的素数，但2不是最小的自然数.答：p ：2是最小的素数，q ：2是最小的自然数，符号化为p q ∧⌝，其真值为1. （4）3是偶素数.答：p ：3是素数，q ：3是偶数，符号化为p q ∧，其真值为0. （5）4既不是素数，也不是偶数.答：p ：4是素数，q ：4是偶数，符号化为p q ⌝∧⌝，其真值为0. 5.将下列命题符号化，并指出真值. （1）2或3是偶数. （2）2或4是偶数. （3）3或5是偶数.（4）3不是偶数或4不是偶数. （5）3不是素数或4不是偶数.答: p ：2是偶数，q ：3是偶数，r :3是素数，s :4是偶数, t :5是偶数 (1) 符号化: p q ∨，其真值为1. (2) 符号化：p r ∨，其真值为1. (3) 符号化：r t ∨，其真值为0. (4) 符号化：q s ⌝∨⌝，其真值为1.(5) 符号化：r s ⌝∨⌝，其真值为0. 6.将下列命题符号化.（1）小丽只能从筐里拿一个苹果或一个梨.答：p ：小丽从筐里拿一个苹果，q ：小丽从筐里拿一个梨，符号化为: p q ∨. （2）这学期，刘晓月只能选学英语或日语中的一门外语课.答：p ：刘晓月选学英语，q ：刘晓月选学日语，符号化为: ()()p q p q ⌝∧∨∧⌝. 7.设p ：王冬生于1971年，q ：王冬生于1972年，说明命题“王冬生于1971年或1972年”既可以化答:列出两种符号化的真值表：p q0 0 0 00 1 1 11 0 1 11 1 0 1根据真值表,可以判断出,只有当p与q同时为真时两种符号化的表示才会有不同的真值,但结合命题可以发现,p与q不可能同时为真,故上述命题有两种符号化方式.8.将下列命题符号化,并指出真值.（1）只要错误！未找到引用源。

《离散数学》模拟题北航10秋学期《离散数学》模拟题⼀⼀、单项选择题（本⼤题共15⼩题，每⼩题2分，共30分）1.∑中所有有限长度的串形成的集合记为∑* ，容易证得∑*上的连接运算不满⾜交换律，但满⾜（ A ） A ．结合律 B ．分配律 C ．幂等律 D ．吸收律 2.Klein 群中元素a,b,c 的阶为（ B ）。

A ．1B ．2C ．3D ．4 3.群G 的元素x 的所有幂的集合为G 的⼦群,称由x ⽣成的⼦群。

记为（ A ）. A ． B ．(x) C ．x D ．[x] 4.交换环是指乘法满⾜（ A ）。

A ．交换律B ．结合律C ．分配律D ．吸收律 5.⾄少有（ B ）元素的含单位元、⽆零因⼦环称为除环。

A ．⼀ B ．⼆ C ．三 D ．四 6.∨,∧满⾜( C )的格称为分配格A ．交换律B ．结合律C ．分配律D ．幂等律 7.若L 为有限布尔代数,则（ B ）正整数n ，L 与含有n 个元素的集合A 的幂集同构。

A ．不存在 B ．存在 C ．有可能存在 8.有向图D 的顶点v 作为边的始点的次数之和称为v 的出度，记为d +(v)， v 作为边的终点的次数之和称为v 的⼊度，记为d -(v)，v 的度数d(v)= ( A )。

A ．d +(v)+d -(v)B ．d +(v)C ．d -(v)D ．d +(v)*d -(v) 9.若通路Г=v 0e 1v 1e 2…e 1v 1 中所有顶点互不相同(所有边⾃然互不相同)时称为（ B ） A ．初级回路 B ．路径 C ．复杂通路D ．迹 10.在n 阶图中，若⼀顶点存在到⾃⾝的回路，则必存在从该顶点到⾃⾝的长度不超过( B )的回路。

A ．n-1 B ．n C ．n+1 D ．2n 11.“⼈总是要死的”谓词公式表⽰为（ C ）。

（论域为全总个体域）M(x)：x 是⼈；Mortal(x)：x 是要死的。

A ．)()(x Mortal x M →； B ．)()(x Mortal x M ∧C ．))()((x Mortal x M x →?； D ．))()((x Mortal x M x ∧?12. 公式))()((x Q x P x A →?=的解释I 为：个体域D={2}，P(x)：x>3, Q(x)：x=4则A 的真值为（ A ）。

离散数学习题及解答作业题与解答第⼀章19 (2)、(4) 、(6)21 (1)、(2) 、(3)19、(2)解答: (p→┐p)→┐q 真值表如下:所以公式(p→┐q)→┐q 为可满⾜式19、(4)解答: (p→q)→(┐q→┐p) 真值表如下:所以公式(p→q)→(┐q→┐p)为永真式19、(6)解答: ((p→q)∧(q→r))→(p→r) 真值表如下:所以公式((p→q)∧(q→r))→(p→r)为永真式21、(1)解答: ┐(┐p∧q)∨┐r 真值表如下:所以成假赋值为:01121、(2)解答: (┐q∨r)∧(p→q)真值表如下:所以成假赋值为:010,100,101,11021、(3)解答: (p→q)∧(┐(p∧r)∨p)真值表如下:所以成假赋值为:100,101第⼆章5、(1) (2) (3) 6、(1) (2) (3) 7、(1) (2) 8、(1) (2) (3) 5、求下列公式的主析取范式,并求成真赋值(1) (┐p→q)→(┐q∨p)┐(┐p→q) ∨(┐q∨p)┐(┐(┐p) ∨q) ∨(┐q∨p)(┐p ∧┐q) ∨(┐q∨p)(┐p ∧┐q) ∨(p ∧┐q)∨(p ∧q)所以00，10，11 为成真赋值。

(2) (┐p→q)∧(q∧r)(┐┐p∨q)∧(q∧r)(p∨q)∧(q∧r)(p∧q∧r)∨(q∧r)(p∧q∧r)∨(p∧q∧r)∨(┐p∧q∧r)(p∧q∧r)∨(┐p∧q∧r)m3∨m 7，所以011，111 为成真赋值。

(3) (p∨(q∧r))→(p∨q∨r)┐(p∨(q∧r))∨(p∨q∨r)(┐p∧(┐q∨┐r))∨(p∨q∨r)(┐p∧┐q)∨(┐p∧┐r)∨(p∨q∨r)(┐p∧┐q)∨((┐p∧┐r)∨(p∨q∨r))(┐p∧┐q)∨((┐p∨p∨q∨r)∧(┐r∨p∨q∨r) )(┐p∧┐q)∨(1∧1)(┐p∧┐q)∨11m0∨m1∨m 2∨m3∨m4∨m5∨m 6 ∨m 7，所以000, 001, 010, 011, 100, 101, 110, 111 为成真赋值。