离散数学作业最新答案

离散数学作业最新答案
离散数学作业最新答案

离散数学作业5

离散数学图论部分形成性考核书面作

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

要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第15周末前完成并上交任课教师(不收电子稿)。并在05任务界面下方点击“保存”和“交卷”按钮,以便教师评分。

一、填空题

1.已知图G 中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G 的边数是 15 .

2.设给定图G (如右由图所示),则图G 的点割集是 {f} .

3.设G 是一个图,结点集合为V ,边集合为E ,则

G 的结点 度数之和 等于边数的两倍.

4.无向图G 存在欧拉回路,当且仅当G 连通且 等于出

度 .

5.设G=是具有n 个结点的简单图,若在G 中每一对结点度数之和大于等于 n-1 ,则在G 中存在一条汉密尔顿路.

6.若图G=中具有一条汉密尔顿回路,则对于结点集V 的每个非空子集S ,在G 中删除S 中的所有结点得到的连通分支数为W ,则S 中结点数|S|与W 满足的关系式为 W?|S| .

7.设完全图K n 有n 个结点(n ?2),m 条边,当n 为奇数 时,K n 中存在欧拉回路. 8.结点数v 与边数e 满足 e=v -1 关系的无向连通图就是树.

9.设图G 是有6个结点的连通图,结点的总度数为18,则可从G 中删去 4 条边后使之变成树.

10.设正则5叉树的树叶数为17,则分支数为i = 5 . 二、判断说明题(判断下列各题,并说明理由.)

1.如果图G 是无向图,且其结点度数均为偶数,则图G 存在一条欧拉回路.. 错。缺了一个条件,图G 应该是连通图。如反例,图G 是一个有孤立结点的图。 2.如下图所示的图G 存在一条欧拉回路.

错。图中有奇数度结点,所以不存在欧拉回路。

3.如下图所示的图G 不是欧拉图而是汉密尔顿图.

对。因为图中结点a 、b 、d 、f 的度数都为奇数,所以不是欧拉图。

如果沿着(a,d,g,f,e,b,c,a),这样除起点和终点是a 外,经过每个点一次且仅一次,所以存在一条汉密尔顿回路,是汉密尔顿图。

4.设G 是一个有7个结点16条边的连通图,则G 为平面图.

错。假设图G 是连通的平面图,根据定理,结点数为v ,边数为e ,应满足e?3v-6,但现在

16?3*7-6,显然不成立,所以假设错误。

姓 名: 翟伟铮 学 号: 得 分: 教师签名:

G

5.设G 是一个连通平面图,且有6个结点11条边,则G 有7个面.

对。根据欧拉定理,有v-e+r=2,结点数v=11,边数e=6,代入公式求出面数r=7。

三、计算题

1.设G =,V ={ v 1,v 2,v 3,v 4,v 5},E ={ (v 1,v 3),(v 2,v 3),(v 2,v 4),(v 3,v 4),(v 3,v 5),(v 4,v 5) },试

(1) 给出G 的图形表示; (2) 写出其邻接矩阵; (3) 求出每个结点的度数; (4) 画出其补图的图形.

???

???

?

?

?

?01100101101101101100

00100

v 1,v 2,v 3,v 4,v 5结点的度数依次为

3,2。

(4)

2.图G =,其中V ={ a , b , c , d , e }

,E ={ (a , b ), (a , c ), (a , e ), (b , d ), (b , e ), (c , e ), (c , d ), (d , e ) },对应边的权值依次为2、1、2、3、6、1、4

及5,试

(1)画出G 的图形; (2)写出G 的邻接矩阵; (3)求出G 权最小的生成树及其权值.

11011

0011100110110111110A ??

?

? ?=

?

? ???

(3)

权值 W(T)=1+1+2+3=7 3.已知带权图G 如右图所示.

G 的最小生成树; (2)计算该生成树的权值. 4.设有一组权为2, 3, 5, 7, 17, 31,试画出相应的最优二叉树,计算该最优二叉树的权.

? v 1

?

?

? ? v 1

? v 5 v 2

v 3 v 4 a c b ? ?

? 1 2

权为 2*5+3*5+5*4+7*3+17*2+31=131

四、证明题

1.设G 是一个n 阶无向简单图,n 是大于等于3的奇数.证明图G 与它的补图G 中的奇数度顶点个数相等.

证明:设,G V E =<>,,G V E '=<>.则E '是由n 阶无向完全图n K 的边删去E 所得到的.所以对于任意结点u V ∈,u 在G 和G 中的度数之和等于u 在n K 中的度数.由于n 是大于等于3的奇数,从而n K 的每个结点都是偶数度的( 1 (2)n -≥度),于是若u V ∈在G 中是奇数度结点,则它在G 中也是奇数度结点.故图G 与它的补图G 中的奇数度结点个数相等.

2.设连通图G 有k 个奇数度的结点,证明在图G 中至少要添加

2

k

条边才能使其成为欧拉图. 证明:由定理3.1.2,任何图中度数为奇数的结点必是偶数,可知k 是偶数.

又根据定理4.1.1的推论,图G 是欧拉图的充分必要条件是图G 不含奇数度结点.因此只要在每对奇数度结点之间各加一条边,使图G 的所有结点的度数变为偶数,成为欧拉图.

故最少要加2

k

条边到图G 才能使其成为欧拉图.

3

5

2

5

1

7

17

31

1

3

6

(完整版)离散数学作业答案一

离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、 数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外) 安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1 .命题公式P (Q P)的真值是T或1 ______ . 2?设P:他生病了,Q:他出差了. R:我同意他不参加学习.则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为(P V Q)-R 3. ____________________________________________________________ 含有三个命题变项P,Q,R的命题公式P Q的主析取范式是__________________ _(P Q R) (P Q R)_ 4. 设P(x): x是人,Q(x): x去上课,则命题“有人去上课.” 可符号化为— x(P(x) Q(x))_ 5. 设个体域D = {a, b},那么谓词公式xA(x) yB(y)消去量词后的等值式为 (A(a) A(b)) (B(a) B(b))_ 6 .设个体域D = {1,2, 3},A(x)为“x大于3”,则谓词公式(x)A(x)的真值为F 或0 ________________ . 7.谓词命题公式(x)((A(x) B(x)) C(y))中的自由变元为 ________ . 8 .谓词命题公式(x)(P(x) Q(x) R(x,y))中的约束变元为x _______ . 三、公式翻译题 1 .请将语句“今天是天晴”翻译成命题公式

离散数学形成性考核作业4题目与答案

离散数学形成性考核作业4作业与答案 离散数学综合练习书面作业 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档. 3. 自备答题纸张,将答题过程手工书写,并拍照上传. 一、公式翻译题 1.请将语句“小王去上课,小李也去上课.”翻译成命题公式. 设P:小王去上课 Q:小李去上课 则:命题公式P∧Q 2.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 设P:他去旅游 Q:他有时间 则命题公式为P→Q

3.请将语句“有人不去工作”翻译成谓词公式. 设A(x):x是人 B(x):去工作 则谓词公式为?x(A(x)∧-B(x)) 4.请将语句“所有人都努力学习.”翻译成谓词公式. 设A(x): x是人 B(x):努力学习 则谓词公式为?x(A(x)∧B(x)) 二、计算题 1.设A={{1},{2},1,2},B={1,2,{1,2}},试计算 (1)(A-B);(2)(A∩B);(3)A×B. 解: (1)(A-B)={{1},{2}} (2)(A∩B)={1,2} (3)A×B= {<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1, 2>,<1,{1,2}>,<2,1>,<2,2>,<2,{1,2}>} 2.设A={1,2,3,4,5},R={|x∈A,y∈A且x+y≤4},S={|x∈A,y∈A且x+y<0},试求R,S,R?S,S?R,R-1,S-1,r(S),s(R). 解: R={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>} S=空集 R?S=空集 S?R =空集 R-1={<1,1>,<2,1>,<3,1>,<1,2>,<2,2>,<1,3>} S-1=空集 r(S) ={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>} s(R) ={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>} 3.设A={1, 2, 3, 4, 5, 6, 7, 8},R是A上的整除关系,B={2, 4, 6}. (1) 写出关系R的表示式;(2) 画出关系R的哈斯图; (3) 求出集合B的最大元、最小元.

离散数学作业答案

离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求2010年12月19日前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1.命题公式()P Q P →∨的真值是 1 . 2.设P :他生病了,Q :他出差了.R :我同意他不参加学习. 则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为 (PQ)R . 3.含有三个命题变项P ,Q ,R 的命题公式PQ 的主析取范式是 (PQR) (PQR) . 4.设P(x):x 是人,Q(x):x 去上课,则命题“有人去上课.” 可符号化为 (x)(P(x) →Q(x)) . 5.设个体域D ={a, b},那么谓词公式)()(y yB x xA ?∨?消去量词后的等值式为 (A(a) A(b)) (B(a) B(b)) . 6.设个体域D ={1, 2, 3},A(x)为“x 大于3”,则谓词公式(x)A(x) 的真值为 . 7.谓词命题公式(x)((A(x)B(x)) C(y))中的自由变元为 . 8.谓词命题公式(x)(P(x) Q(x) R(x ,y))中的约束变元为 X . 三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式. 1.解:设P :今天是天晴; 则 P . 2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式. 解:设P :小王去旅游,Q :小李去旅游, 则 PQ . 3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式. 解:设P:明天天下雪 。 Q:我去滑雪 则 P Q . 4.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 7.解:设 P :他去旅游,Q :他有时间, 则 P Q . 5.请将语句 “有人不去工作”翻译成谓词公式. 11.解:设P(x):x 是人,Q(x):x 去工作,

电大 离散数学作业7答案

离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1.命题公式()P Q P →∨的真值是 1或T . 2.设P :他生病了,Q :他出差了.R :我同意他不参加学习. 则命题“如 果他生病或出差了,我就同意他不参加学习”符号化的结果为 (P ∨Q )→R . 3.含有三个命题变项P ,Q ,R 的命题公式P ∧Q 的主析取范式是 (P ∧Q ∧R)∨(P ∧Q ∧?R) . 4.设P (x ):x 是人,Q (x ):x 去上课,则命题“有人去上课.” 可符号化为 ?x(P(x) ∧Q(x)) . 5.设个体域D ={a , b },那么谓词公式)()(y yB x xA ?∨?消去量词后的等值式为 (A(a) ∨A(b)) ∨((B(a) ∧B(b)) . 6.设个体域D ={1, 2, 3},A (x )为“x 大于3”,则谓词公式(?x )A (x ) 的真值为 0(F) . 7.谓词命题公式(?x )((A (x )∧B (x )) ∨C (y ))中的自由变元为 y . 8.谓词命题公式(?x )(P (x ) →Q (x ) ∨R (x ,y ))中的约束变元为 x . 三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式. 设P :今天是晴天。 姓 名: 学 号: 得 分: 教师签名:

吉林大学离散数学课后习题答案

第二章命题逻辑 §2.2 主要解题方法 2.2.1 证明命题公式恒真或恒假 主要有如下方法: 方法一.真值表方法。即列出公式的真值表,若表中对应公式所在列的每一取值全为1,这说明该公式在它的所有解释下都是真,因此是恒真的;若表中对应公式所在列的每

一取值全为0,这说明该公式在它的所有解释下都为假,因此是恒假的。 真值表法比较烦琐,但只要认真仔细,不会出错。 例2.2.1 说明G= (P∧Q→R)∧(P→Q)→(P→R)是恒真、恒假还是可满足。 解:该公式的真值表如下: 表2.2.1 由于表2.2.1中对应公式G所在列的每一取值全为1,故

G恒真。 方法二.以基本等价式为基础,通过反复对一个公式的等价代换,使之最后转化为一个恒真式或恒假式,从而实现公式恒真或恒假的证明。 例2.2.2 说明G= ((P→R) ∨? R)→ (? (Q→P) ∧ P)是恒真、恒假还是可满足。 解:由(P→R) ∨? R=?P∨ R∨? R=1,以及 ? (Q→P) ∧ P= ?(?Q∨ P)∧ P = Q∧? P∧ P=0 知,((P→R) ∨? R)→ (? (Q→P) ∧ P)=0,故G恒假。 方法三.设命题公式G含n个原子,若求得G的主析取范式包含所有2n个极小项,则G是恒真的;若求得G的主合取范式包含所有2n个极大项,则G是恒假的。 方法四. 对任给要判定的命题公式G,设其中有原子P1,P2,…,P n,令P1取1值,求G的真值,或为1,或为0,或成为新公式G1且其中只有原子P2,…,P n,再令P1取0值,求G真值,如此继续,到最终只含0或1为止,若最终结果全为1,则公式G恒真,若最终结果全为0,则公式G

慕课 离散数学 电子科技大学 课后习题十 答案

作业参考答案——10-特殊图 1.(a)(c)(d)是欧拉图,(a)(b)(c)(d)(e)可以一笔画,(a)(b)(c)(d)(e)(f)(g)是 哈密顿图。 2.根据给定条件建立一个无向图G=,其中: V={a,b,c,d,e,f,g} E={(u,v)|u,v∈V,且u和v有共同语言} 从而图G如下图所示。 a b c d e f g 将这7个人围圆桌排位,使得每个人都能与他两边的人交谈,就是在图G 中找哈密顿回路,经观察上图可得到两条可能的哈密顿回路,即两种方案:abdfgeca和acbdfgea。 3.证明(法一):根据已知条件,每个结点的度数均为n,则任何两个不相邻 的结点v i,v j的度数之和为2n,而图中总共有2n个结点,即deg(v i)+ deg(v j)?2n,满足哈密顿图的充分条件,从而图中存在一条哈密顿回路,当然,这就说明图G是连通图。 证明(法二):用反证法,假设G不是连通图,设H是G的一个连通分支,由于图G是简单图且每个结点的度数为n,则子图H与G-H中均至少有n+1个结点。所以G的结点数大于等于2n+2,这与G中结点数为2n矛盾。所以假设不成立,从而G是连通图。 4.将n位男士和n位女士分别用结点表示,若某位男士认识某位女士,则在 代表他们的结点之间连一条线,得到一个偶图G,假设它的互补结点子集V1、V2分别表示n位男士和n位女士,由题意可知V1中的每个结点度 1

数至少为2,而V2中的每个结点度数至多为2,从而它满足t条件t=1,因此存在从V1到V2的匹配,故可分配。 5.此平面图具有五个面,如下图所示。 a b c d e f g r1r2 r3 r4 r5 ?r1,边界为abca,D(r1)=3; ?r2,边界为acga,D(r2)=3; ?r3,边界为cegc,D(r3)=3; ?r4,边界为cdec,D(r4)=3; ?r5,边界为abcdefega,D(r5)=8;无限面 6.设该连通简单平面图的面数为r,由欧拉公式可得,6?12+r=2,所以 r=8,其8个面分别设为r1,r2,r3,r4,r5,r6,r7,r8。因是简单图,故每个面至少由3条边围成。只要有一个面是由多于3条边所围成的,那就有所有面的次数之和 8∑ i=1 D(r i)>3×8=24。但是,已知所有面的次数之和等于边数的两倍,即2×12=24。因此每个面只能由3条边围成。 2

离散数学作业答案完整版

离散数学作业答案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

离散数学集合论部分形成性考核书面作 业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数 理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题 目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识 点,重点复习,争取尽快掌握。本次形考书面作业是第一次作业,大家要认真及时地 完成集合论部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答 过程,要求本学期第11周末前完成并上交任课教师(不收电子稿)。并在03任务界 面下方点击“保存”和“交卷”按钮,完成并上交任课教师。 一、填空题 1.设集合{1,2,3},{1,2} ==,则P(A)- A B P(B )={{3},{1,3},{2,3},{1,2,3}},A? B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} . 2.设集合A有10个元素,那么A的幂集合P(A)的元素个数为 1024 . 3.设集合A={0, 1, 2, 3},B={2, 3, 4, 5},R是A到B的二元关系, 则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>} . 4.设集合A={1, 2, 3, 4 },B={6, 8, 12},A到B的二元关系 R=} ∈ y x∈ y < > = {B , , x , 2 y A x 那么R-1={<6,3>,<8,4>} 5.设集合A={a, b, c, d},A上的二元关系R={, , , },则R具有的性质是没有任何性质. 6.设集合A={a, b, c, d},A上的二元关系R={, , , },若在R中再增加两个元素{,} ,则新得到的关系就具有对 称性. 7.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有 2 个. 8.设A={1, 2}上的二元关系为R={|x?A,y?A, x+y =10},则R的自反闭 包为 {<1,1>,<2,2>} . 9.设R是集合A上的等价关系,且1 , 2 , 3是A中的元素,则R中至少包含 <1,1>,<2,2>,<3,3> 等元素. 10.设集合A={1, 2},B={a, b},那么集合A到B的双射函数是 {<1,a>,<2,b>}或{<1,b>,<2,a>} . 二、判断说明题(判断下列各题,并说明理由.)

离散数学作业答案

第一章 1.假定A是ECNU二年级的学生集合,B是ECNU必须学离散数学的学生的集合。请用A 和B表示ECNU不必学习离散数学的二年级的学生的集合。 2.试求: (1)P(φ) (2)P(P(φ)) (3)P(P(P(φ))) 3.在1~200的正整数中,能被3或5整除,但不能被15整除的正整数共有多少个? 能被5整除的有40个, 能被15整除的有13个, ∴能被3或5整除,但不能被15整除的正整数共有 66-13+40-13=80个。 第三章 1.下列语句是命题吗? (1)2是正数吗? (2)x2+x+1=0。 (3)我要上学。 (4)明年2月1日下雨。 (5)如果股票涨了,那么我就赚钱。 2.请用自然语言表达命题(p?→r)∨(q?→r),其中p、q、r为如下命题: p:你得流感了 q:你错过了最后的考试

3.通过真值表求p→(p∧(q→p))的主析取范式和主合取范式。 4.给出p→(q→s),q,p∨?r?r→s的形式证明。 第四章 1.将?x(C(x)∨?y(C(y)∧F(x,y)))翻译成汉语,其中C(x)表示x有电脑,F(x,y) 表示x和y是同 班同学,个体域是学校全体学生的集合。 解: 学校的全体学生要么自己有电脑,要么其同班同学有电脑。 2.构造?x(P(x)∨Q(x)),?x(Q(x)→?R(x)),?xR(x)??xP(x)的形式证明。 解: ①?xR(x) 前提引入 ②R(e) ①US规则 ③?x(Q(x)→?R(x)) 前提引入 ④Q(e) →?R(e) ③US规则 ⑤?Q (e) ②④析取三段论 ⑥?x(P(x)∨Q(x)) 前提引入 ⑦P(e) ∨Q(e) ⑥US规则 ⑧P(e) ⑤⑦析取三段论 ⑨?x (P(x)) ⑧EG规则 第五章

国开放大学离散数学本离散数学作业答案

国开放大学离散数学本离 散数学作业答案 The pony was revised in January 2021

离散数学集合论部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第一次作业,大家要认真及时地完成集合论部分的综合练习作业. 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档 3. 自备答题纸张,将答题过程手工书写,并拍照上传. 一、填空题

1.设集合{1,2,3},{1,2} ==,则P(A)-P(B )= {{1,2},{2,3},{1,3}, A B {1,2,3}} ,A B= {< 1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3, 2> } . 2.设集合A有10个元素,那么A的幂集合P(A)的元素个数为 1024 . 3.设集合A={0, 1, 2, 3},B={2, 3, 4, 5},R是A到B的二元关系, 则R的有序对集合为 {< 2,2>,<2,3>,<>,<> } .4.设集合A={1, 2, 3, 4 },B={6, 8, 12},A到B的二元关系 R=} y x y x∈ ∈ < > = A , , 2 , y {B x 那么R-1= {< 6,3>,<8,4> } . 5.设集合A={a, b, c, d},A上的二元关系R={, , , },则R具有的性质是反自反性. 6.设集合A={a, b, c, d},A上的二元关系R={, , , },若在R中再增加两个元素 , ,则新得到的关系就具有对称性. 7.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有2 个.

离散数学作业标准答案

离散数学作业 一、选择题 1、下列语句中哪个是真命题(C )。 A .我正在说谎。 B .如果1+2=3,那么雪是黑色的。 C .如果1+2=5,那么雪是白色的。 D .严禁吸烟! 2、设命题公式))((r q p p G →∧→=,则G 是( C )。 A. 恒假的 B. 恒真的 C. 可满足的 D. 析取范式 3、谓词公式),,(),,(z y x yG x z y x F ??→中的变元x ( C )。 A .是自由变元但不是约束变元 B .既不是自由变元又不是约束变元 C .既是自由变元又是约束变元 D .是约束变元但不是自由变元 4、设A={1,2,3},则下列关系R 不是等价关系的是(C ) A .R={<1,1>,<2,2>,<3,3>} B .R={<1,1>,<2,2>,<3,3>,<2,3>,<3,2>} C .R={<1,1>,<2,2>,<3,3>,<1,4>} D .R={<1,1>,<2,2>,<3,3>,<1,2>,<1,3>,<2,3>,<2,1>, <3,1>,<3,2>} 5、设R 为实数集,映射σ=R →R ,σ(x )= -x 2+2x-1,则σ是( D )。 A .单射而非满射 B .满射而非单射 C .双射 D .既不是单射,也不是满射 6、下列二元运算在所给的集合上不封闭的是( D ) A. S={2x-1|x ∈Z +},S 关于普通的乘法运算 B. S={0,1},S 关于普通的乘法运算 C. 整数集合Z 和普通的减法运算 D. S={x | x=2n ,n ∈Z +},S 关于普通的加法运算 7、*运算如下表所示,哪个能使({a,b},*)成为含幺元半群( D ) b a b b a a b a * b b b a a a b a * a a b a a a b a * a b b b a a b a * A B C D 8、下列图中是欧拉图的是( A )。

北京大学2017秋课件作业【离散数学】及答案

2017秋课件作业 第一部分集合论 第一章集合的基本概念和运算 1-1设集合A={{2,3,4},5,1},下面命题为真是(选择题)[A] A.1∈A;B.2∈A;C.3∈A;D.{3,2,1}?A。 1-2A,B,C为任意集合,则他们的共同子集是(选择题)[D] A.C;B.A;C.B;D.?。 1-3设S={N,Z,Q,R},判断下列命题是否正确(是非题) (1)N?Q,Q∈S,则N?S,[错](2)-1∈Z,Z∈S,则-1∈S。[错] 1-4设集合B={4,3}∩?,C={4,3}∩{?},D={3,4,?},E={x│x∈R并且x2-7x+12=0},F={4,?,3,3},试问:集合B与那个集合之间可用等号表示(选择题)[A] A.C; B.D; C.E; D. F. 1-5用列元法表示下列集合:A={x│x∈N且3-x〈3}(选择题)[D] A.N; B.Z; C.Q; D.Z+ 1-6为何说集合的确定具有任意性?(简答题) 答:按研究的问题来确定集合的元素。我们所要研究的问题当然是随意的呗。之所以,集合的定义(就是集合成分的确定)当然带有任意性哪。 第二章二元关系 2-1设A={1,2,3},A上的关系R={〈1,2〉,〈2,1〉}∪IA, 试求:(综合题) (1)domR=?;(2)ranR=?;(3)R的性质。 (4)商集A/R=?(5)A的划分∏=?(6)合成运算(R。R)=? 答:R={<1,2>,<1,3>,<2,3>,<1,1>,<2,2>,<3,3>}; (1)DomR={R中所有有序对的x}={3,2,1}; (2)RanR={R中所有有序对的y}={2,1,3}; (3)R的性质:自反,反对称,传递性质.这时,R不是等价关系。 (4)商集A/R={{1,2,3},{2,3},{3}}。由于R不是等价关系,所以,等价类之间出现交集。这是不允许的。请看下面的划分问题。 (5)A的划分∏={{1,2,3},{2,3},{3}};也由于R不是等价关系,造成划分的荒谬结果:出现交集。试问:让“3”即参加第一组,又参加第二组,她该如何分配呢!!! 所以,关系R必须是等价关系。至于作业中,此两题应说:因为R不是等价关系,此题无解。 2-2设R是正整数集合上的关系,由方程x+3y=12决定,即 R={〈x,y〉│x,y∈Z+且x+3y=12}, 试给出dom(R。R)。(选择题)[B] A.3; B.{3}; C.〈3,3〉; D.{〈3,3〉}。

离散数学 作业及答案

2011-2012学年第一学期离散数学作业及参考答案---信息安全10级5-1 1.利用素因子分解法求2545与360的最大公约数。 解:掌握两点:(1) 如何进行素因子分解 从最小素数2的素数去除n。 (2) 求最大公约数的方法 gcd(a,b) = p1min(a1,b1)p2min(a2,b2)pn min(an,bn) 360=2332515090 2545=2030515091 gcd(2545,360) =2030515090=5 2.求487与468的最小公倍数。 解:掌握两点:(1) 如何进行素因子分解 从最小素数2的素数去除n。 (2) 求最小公倍数的方法 lcm(a,b) = p1max(a1,b1)p2max(a2,b2)pn max(an,bn) ab=gcd(a, b)﹡lcm (a, b) 487是质数,因此gcd(487,468)=1 lcm(487,468)= (487*468)/1=487*468=227916 3.设n是正整数,证明:6|n(n+1)(2n+1) 证明:用数学归纳法: 归纳基础:当n=1时,n(n+1)(2n+1)=1*2*3=6,6|6 归纳假设:假设当n=m时,6|m(m+1)(2m+1) 归纳推导:当n=m+1时, n(n+1)(2n+1)=(m+1)(m+1+1)[2(m+1)+1] =(m+1)(m+2)(2m+3) = m(m+1)(2m+3)+2(m+1)(2m+3) = m(m+1)(2m+1+2)+2(m+1)(2m+3) = m(m+1)(2m+1)+2 m(m+1)+ 2(m+1)(2m+3) = m(m+1)(2m+1)+ 2(m+1)(m+2m+3) = m(m+1)(2m+1)+ 2(m+1)(3m+3) = m(m+1)(2m+1)+ 6(m+1)2 因为由假设6|m(m+1)(2m+1)成立。 而6|6(m+1)2 所以6|m(m+1)(2m+1)+ 6(m+1)2 故当n=m+1时,命题亦成立。 所以6| n(n + 1)(2n + 1) 5-2 1 已知 6x ≡7 (mod 23),下列式子成立的是( D ): A. x ≡7 (mod 23) B. x ≡8 (mod 23) C. x ≡6 (mod 23) D. x ≡5 (mod 23) 2 如果a ≡b (mod m) , c是任意整数,则(A ):

离散数学作业7答案(数理逻辑部分)

离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分.作业应手工书写答题,字迹工整,解答题要有解答过程,完成后上交任课教师(不收电子稿). 一、填空题 1.命题公式() →∨的真值是 1 . P Q P 2.设P:他生病了,Q:他出差了.R:我同意他不参加学习.则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为P∨Q→R . 3.含有三个命题变项P,Q,R的命题公式P∧Q的主析取范式是(P∧Q∧┐R)∨(P∧Q∧R) . 4.设P(x):x是人,Q(x):x去上课,则命题“有人去上课.”可符号化为?x ( P ( x) ∧Q ( x)). 5.设个体域D={a, b},那么谓词公式) xA? ∨ x ?消去量词后的等值式为 yB ( ) (y (A(a)∨A(b))∨(B(a) ∧B(b)). 6.设个体域D={1, 2, 3},A(x)为“x大于3”,则谓词公式(?x)A(x) 的真值为0 . 7.谓词命题公式(?x)((A(x)∧B(x)) ∨C(y))中的自由变元为y .8.谓词命题公式(?x)(P(x) →Q(x) ∨R(x,y))中的约束变元为x . 三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式. 解:

离散数学 作业 3~4 答案

『离散数学』课程 作业3: P64:3 某班有25个学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。已知6个会打网球的人中有4人会打排球。求不会打球的人数。 解:直接使用容斥原理。我们做如下设定: A:会打篮球的学生;B:会打排球的学生;C:会打网球的学生; 根据题意:|E|=25,|A|=14,|B|=12,|C|=6,|A∩B|=6,|A∩C|=5,|B∩C|=4,|A∩B∩C|=2 由容斥原理: |A∪B∪C|=|A|+|B|+|C|-|A∩B|-|A∩C|-|B∩C|+|A∩B∩C|=14+12+6-6-5-4+2=19 —————————————————————————————————————— 但相当一部分同学没有直接使用容斥原理, 而是画了文氏图。 使用文氏图的方法,会发现此题存在问题: 表示只会打网球的同学是-1人, 此种情况与实际不符。 这可能是作者的疏忽,该教材第一版中, “已知6个会打网球的人中有4人会打排球。” 一句是写作 “已知6个会打网球的人都会打篮球或排球。” 则用容斥原理或文氏图,都可以得到5的结果。 A:会打篮球的学生;B:会打排球的学生;C:会打网球的学生; 根据题意:|E|=25,|A|=14,|B|=12,|C|=6,|A∩B|=6,|A∩C|=5,|A∩B∩C|=2 因为“会打网球的人都会打篮球或排球。” 所以C =(A∩C)∪(B∩C) 由容斥原理: |C|=|(A∩C)∪(B∩C)| = |(A∩C)|+|(B∩C)|-|(A∩C)∩(B∩C)| 可知|(B∩C)|= |C|-|(A∩C)|+|(A∩C)∩(B∩C)| = 6-5+2=3 |A∪B∪C|=|A|+|B|+|C|-|A∩B|-|A∩C|-|B∩C|+|A∩B∩C| =14+12+6-6-5-3+2=20

吉林大学离散数学课后习题答案

第一章集合论基础 §1.1 基本要求 1. 掌握集合、子集、超集、空集、幂集、集合族的概念。懂得两个集合间相等和包含关系 的定义和性质,能够利用定义证明两个集合相等。熟悉常用的集合表示方法。 2. 掌握集合的基本运算:并、交、余、差、直乘积、对称差的定义以及集合运算满足的基 本算律,能够利用它们来证明更复杂的集合等式。 3. 掌握关系、二元关系、空关系、全域关系、相等关系、逆关系的概念以及关系的性质: 自反性、对称性、反对称性、传递性。会做关系的乘积。了解关系的闭包运算:自反闭包、对称闭包、传递闭包。 4. 掌握等价关系、等价类、商集的概念,了解等价关系和划分的内在联系。 5. 掌握部分序关系、部分序集、全序关系、全序集的概念以及部分序集中的特殊元素:最 大元、最小元、极大元、极小元、上确界、小确界的定义。能画出有限部分序集的Hasse 图,并根据图讨论部分序集的某些性质。 6. 掌握映射、映像、1-1映射等概念,会做映射的乘积。了解可数集合的概念,掌握可数 集合的判定方法。 7. 了解关系在数据库中的应用(数据的增、删、改)以及划分在计算机中的应用。

§1.2 主要解题方法 1.2.1 证明集合的包含关系 方法一.用定义来证明集合的包含关系是最常用也是最基本的一种方法。要证明A?B,首先任取x∈A,再演绎地证出x∈B成立。由于我们选择的元素x是属于A的任何一个,而非特指的一个,故知给出的演绎证明对A中含有的每一个元素都成立。当A是无限集时,因为我们不能对x∈A,逐一地证明x∈B成立,所以证明时的假设“x是任取的”就特别重要。 例1.2.1 设A,B,C,D是任意四个非空集合,若A?C,B?D,则A×B?C×D。 证明:任取(x,y) ∈A×B,往证(x,y) ∈C×D。 由(x,y) ∈A×B知,x∈A,且y∈B。又由A?C,B?D知,x∈C,且y∈D,因此,(x,y) ∈C×D。故,A×B?C×D。 方法二.还有一种证明集合包含关系的方法,基于集合的交和并运算的两个基本性质 A?B?A?B=A?A?B=B 以及一些已经证出的集合等式。现在我们就用此方法将上例再证一次。 由下面例1.2.2证明的结论有(A×B)?(C×D)=(A?C)×(B?D),若A?C,B?D,则A?C=A,B?D=B,因此,(A×B)?(C×D)=A×B。因此,A×B?C×D。 1.2.2 证明集合的相等 方法一.若A,B 是有限集,要证明集合A=B当然可以通过逐一比较两集合所有元素均一一对应相等即可,但当A,B 是无限集时,一般通过证明集合包含关系的方法证得A?B,B?A即可。 例1.2.2 设A,B,C,D是任意四个集合,求证(A×B)?(C×D)=(A?C)×(B?D)。 证明:首先证明(A×B)?(C×D)?(A?C)×(B?D)。任取(x,y)∈(A×B)?(C×D),则(x,y)∈(A×B),且(x,y)∈(C×D),故x∈A,y∈B,x∈C,y∈D,即x∈A?C,y∈B?D,因此,(x,y)∈(A?C)×(B?D)。 由于以上证明的每一步都是等价的,所以上述论证反方向进行也是成立的。故可证得(A?C)×(B?D)?(A×B)?(C×D)。 因此,(A×B)?(C×D)=(A?C)×(B?D)。 方法二. 还有一种证明集合相等的方法,可以通过已证出的集合等式,通过相等变换将待证明的等式左(右)边的集合化到右(左)边的集合,或者两边同时相等变换到同一集合。 例1.2.2 设A,B,C是三个集合,已知A?B=A?C,A?B=A?C,求证B=C。 证法1:使用反证法。假设B≠C,则必存在x,满足x∈B,且x?C,或者x?B,且x∈C。不妨设x∈B,且x?C,

西南大学《离散数学》网上作业题及答案

[0004]《离散数学》网上作业题答案 第1次作业 [论述题]第1次作业 一、填空题 1. 设|A | = 5, |B | = 2, 则可定义A 到B 的函数( )个,其中有( )单射,( )个满射. 2. 令G (x ): x 是金子,F (x ): x 是闪光的,则命题“金子都是闪光的,但闪光的未必是金子”符号化为( ). 3. 设X 是非空集合,则X 的幂集P (X )关于集合的?运算的单位元是( ),零元是( ),P (X )关于集合的?运算的单位元是( ). 4. 6阶非Abel 群的2阶子群共有( )个,3阶子群共有( )个,4阶子群共有( )个. 5. 对于n 阶完全无向图K n , 当n 为( )时是Euler 图,当n ≥ ( )时是Hamilton 图,当n ( )时是平面图. 二、单选题 1. 幂集P (P (P (?))) 为( ) (A){{?}, {?, {?}}}. (B){?, {?, {?}}, {?}}. (C){ ?, {?, {?}}, {{?}}, {?}} (D){ ?, {?, {?}}}. 2. 设R 是集合A 上的偏序关系,则1 -?R R 是( ). (A)偏序关系 (B)等价关系 (C)相容关系 (D)以上答案都不对 3. 下列( )组命题公式是不等值的. (A))(B A →?与B A ?∧. (B) )(B A ??与)()(B A B A ∧?∨?∧. (C))(C B A ∨→与C B A →?∧)(. (D))(C B A ∨→与)(C B A ∨∧?. 4.下列代数结构(G , *)中,( )是群. (A)G = {0, 1, 3, 5}, “*”是模7加法. (B) G = Q , “*”是数的乘法. (C)G = Z , “*”是数的减法. (D) G = {1, 3, 4, 5, 9}, “*”是模11乘法. 5.4阶完全无向图4K 中含3条边的不同构的生成子图有 (A)3 (B)4 (C)5 (D)2

离散数学(第2版)_在线作业_4

离散数学(第2版)_在线作业 _4 交卷时间:2017-01-12 14:00:56 一、单选题 1. (5分) ? A. q ∧┐q ? B. p →┐q ? C. p → (p ∨q) ? D. (p ∨┐p)→q 纠错 得分: 5 知识点: 离散数学(第2版) 收起解析 答案 C 解析 2. (5分) ? A. ? B. ? C. ? D. 下列命题公式为重言式的是( )。 设,下列式子正确的是( )。

纠错 得分: 5 知识点: 离散数学(第2版 ) 收起解析 答案 C 解析 3. (5分) ? A. ? B. ? C. ? D. 纠错 得分: 5 知识点: 离散数学(第2版) 收起解析 答案 D 解析 4. (5分) ? A. ? B. ? C. 下列是两个命题变元的极小项的是( )。 设G 是有个顶点, 条边和个面的连通平面图,则 等于( )。

? D. 纠错 得分: 5 知识点: 离散数学(第2版) 收起解析 答案 C 解析 5. (5分) ? A. 满射函数 ? B. 非单射非满射函数 ? C. 双射函数 ? D. 单射函数 纠错 得分: 5 知识点: 离散数学(第2版) 收起解析 答案 C 解析 6. (5分) 设R 是实数集合,函数,则是( )。

? A. 11,3,4 ? B. 10,4,3 ? C. 11,3,5 ? D. 12,3,6 纠错 得分: 5 知识点: 离散数学(第2版) 收起解析 答案 A 解析 7. (5分) ? A. x*y=gcd(x,y),即x,y 的最大公约数 ? B. x*y=lcm(x,y),即x,y 的最小公倍数 ? C. x*y=max{x,y} ? D. x*y=min{x,y} 纠错 得分: 5 知识点: 离散数学(第2版) 下列平面图的三个面的次数分别是( )。 设集合A={1,2,3,…,10},下面定义的哪种运算关于集合A 是不封闭的?( )。

离散数学作业答案

离散数学作业答案 TYYGROUP system office room 【TYYUA16H-TYY-TYYYUA8Q8-

离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求2010年12月19日前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。 一、填空题 1.命题公式() P Q P →∨的真值是 1 . 2.设P:他生病了,Q:他出差了.R:我同意他不参加学习. 则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为 (PQ)R . 3.含有三个命题变项P,Q,R的命题公式PQ的主析取范式是 (PQR) (PQR) . 4.设P(x):x是人,Q(x):x去上课,则命题“有人去上课.”可符号化为(x)(P(x) →Q(x)). 5.设个体域D={a, b},那么谓词公式) ∨ xA? ?消去量词后的等值式为 ) ( x (y yB (A(a) A(b)) (B(a) B(b)) . 6.设个体域D={1, 2, 3},A(x)为“x大于3”,则谓词公式(x)A(x) 的真值为. 7.谓词命题公式(x)((A(x)B(x)) C(y))中的自由变元为. 8.谓词命题公式(x)(P(x) Q(x) R(x,y))中的约束变元为 X . 三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式.1.解:设P:今天是天晴; 则 P. 2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式. 解:设P:小王去旅游,Q:小李去旅游, 则 PQ. 3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式. 解:设P:明天天下雪。 Q:我去滑雪 则 P Q. 4.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 7.解:设 P:他去旅游,Q:他有时间,

离散数学形成性考核作业7答案

一、填空题 1.命题公式() →∨的真值是 1 . P Q P 2.设P:他生病了,Q:他出差了.R:我同意他不参加学习.则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为(P∨Q )→R .3.含有三个命题变项P,Q,R的命题公式P∧Q的主析取范式是 (P∧Q∧R)∨(P∧Q∧┐R) . 4.设P(x):x是人,Q(x):x去上课,则命题“有人去上课.”可符号化为x P Q x∧ ?. (x ( )) ( ) 5.设个体域D={a, b},那么谓词公式) x ∨ ?消去量词后的等值式为 xA? yB ) ( (y b B a A B ∨. ∨ A∧ a ) (b ( )) ( ( ) ) ( 6.设个体域D={1, 2, 3},A(x)为“x大于3”,则谓词公式(?x)A(x) 的真值为0 . 7.谓词命题公式(?x)((A(x)∧B(x)) ∨C(y))中的自由变元为y .8.谓词命题公式(?x)(P(x) →Q(x) ∨R(x,y))中的约束变元为x . 三、公式翻译题 1.请将语句“今天是天晴”翻译成命题公式. 解:设P:今天是晴天, 命题“今天是晴天”翻译成命题公式为P。 2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式. 解:设P:小王去旅游,Q:小李去旅游. 命题“小王去旅游,小李也去旅游”翻译成命题公式为P∧Q。 3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式. 解:设P:明天天下雪,Q:我就去滑雪. 命题“如果明天天下雪,我就去滑雪”翻译成命题公式为P→Q。 4.请将语句“他去旅游,仅当他有时间.”翻译成命题公式.

《离散数学》作业参考答案

《离散数学》作业参考答案一、选择或填空: 1. B C D 2. A, F B,F C,F D,T 3. 2n-2 4. I A 5.单位元,1 6. A 7. A D 8. (1) P→?Q (2) P??Q 9.偶数 10.自反性、对称性和传递性 11. 1,单位元,0 12.所有边一次且恰好一次 13. B C D E F 14. B D 15. 5,10 16. D 17. B 18. D 19. A 20.(1)R R={ 〈1,1〉,〈1,3〉,〈2,2〉,〈2,4〉} (2)R-1={〈1,2〉,〈2,1〉,〈3,2〉,〈4,3〉} 21. m=n-1 22. 9,3 23. A 24. D 25 (1) 26 (2) 27 (3) 28 (1) 29 (1) 30 (3) 31 (2) 32 (3) 33 (2) 34 (4)

35 (2) 36 (1) 二、求下列各公式的主析取范式和主合取范式 解:1. P∨?Q (主合取范式) ?(P∧(?Q∨Q))∨((?P∨P)∧?Q) ?(P∧?Q)∨(P∧Q)∨(?P∧?Q)∨(P∧?Q) ?(P∧?Q)∨(P∧Q)∨(?P∧?Q)(主析取范式) 2.Q→( P∨?R) ??Q∨P∨?R(主合取范式) ?(Q→( P∨?R)) ?(?P∨?Q∨?R)∧(?P∨?Q∨R)∧(?P∨Q∨?R)∧(?P∨Q∨R)∧(P∨?Q∨R)∧ (P∨Q∨?R)∧(P∨Q∨R)(原公式否定的主合取范式) Q→( P∨?R) ?(P∧Q∧R)∨(P∧Q∧?R)∨(P∧?Q∧R)∨(P∧?Q∧?R)∨(?P∧Q∧?R)∨(?P∧?Q∧R)∨(?P∧?Q∧?R)(主析取范式) 3. P→Q??P∨Q(主合取范式) ?(?P∧(Q∨?Q))∨((?P∨P)∧Q) ?(?P∧Q)∨(?P∧?Q)∨(?P∧Q)∨(P∧Q) ?(?P∧Q)∨(?P∧?Q)∨(P∧Q)(主析取范式) 4.?(P→Q)∨(R∧P)??(?P∨Q)∨(R∧P) ?(P∧?Q)∨(R∧P)(析取范式) ?(P∧?Q∧(R∨?R))∨(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)) ?(P∧Q∧?R)∨(?P∧Q∧R)∨(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R) (原公式否定的主析取范式) ?(P→Q)∨(R∧P) ?(?P∨?Q∨R)∧(P∨?Q∨?R)∧(P∨Q∨?R)∧(P∨Q∨R)∧(P∨?Q∨R)(主合取范式)5.P∧Q(主析取范式) ?(P∨(Q∧?Q))∧((P∧?P)∨Q) ?(P∨?Q)∧(P∨Q)∧(P∨Q)∧(?P∨Q) ?(P∨?Q)∧(P∨Q)∧(?P∨Q)(主合取范式) 6 Q→(P∨?R) ??Q∨P∨?R(主合取范式) ?(Q→(P∨?R))

相关文档
最新文档