作业答案:图论部分
P165:习题九
1、给定下面4个图(前两个为无向图,后两个为有向图)的集合表示,画出它们的图形
表示。
(1),,
111,G V E =<>112345{,,,,}V v v v v v =11223343345{(,),(,),(,),(,),(,)}
E v v v v v v v v v v =(2),,222,G V E =<>21V V =11223344551{(,),(,),(,),(,),(,)}
E v v v v v v v v v v =(3)13331,,,D V E V V =<>=31223324551{,,,,,,,,,}
E v v v v v v v v v v =<><><><><>(4)24441,,,D V E V V =<>=31225523443{,,,,,,,,,}
E v v v v v v v v v v =<><><><><>解答:(1
)
(2
)
10、是否存在具有下列顶点度数的5阶图?若有,则画出一个这样的图。
(1)5,5,3,2,2;(2)3,3,3,3,2;(3)1,2,3,4,5;(4)4,4,4,4,4
解答:(1)(3)不存在,因为有奇数个奇度顶点
。
14、设G 是阶无向简单图,是它的补图,已知,求
(2)n n ≥G 12(),()G k G k δ?==,
。
()G ?()G δ解答:;。
2()1G n k ?=--1()1G n k δ=--15、图9.19中各对图是否同构?若同构,则给出它们顶点之间的双射函数。
解答:
(c )不是同构,从点度既可以看出,一个点度序列为4,3,3,3,3而另外一个为4,4,3,3,1
(d )同构,同构函数为
12()3
45
x a
x b
f x x c x d x e
=??=??==??=?=??16、画出所有3条边的5阶简单无向图和3条边的3阶简单无向图。
解答:
(1)三条边一共提供6度;所以点度序列可能是
①3,3,0,0,0,0;②3,2,1,0,0,0;③3,1,1,1,0,0;④2,2,2,0,0,
0;⑤2,2,1,1,0,0;⑥2,1,1,1,1,0;⑦1,1,1,1,1,1;
由于是简单图,①②两种情形不可能
图形如下:
(2)三条边一共提供6度,所以点度序列可能为
①3,3,0;②3,2,1;③2,2,2
由于是简单图,①②两种情形不可能
21、在图9.20中,下述顶点序列是否构成通路?哪些是简单通路?哪些是初级通路?哪些
是回路?哪些是简单回路?哪些是初级回路?
(1);(2);(3);(4),,,,,a b c d b e ,,,,,a b e d b a ,,,,a d c e b ,,,,;
d b a c e
(5);(6);(7);(8),,,,,,,a b c d e b d c ,,,,,,a d b e c b d ,,,,c d a b c ,,,,a b c e b
解答:(1)构成通路,且为初级通路,因为点不重复
(2)构成了回路,但是不为简单回路和初级回路,因为有重复的边(,)
a b (3)构成了初级通路,因为点不重复;
(4)不构成通路,因为边不存在;
(,)a c (5)构成通路,但是不为简单通路和初级通路,因为有重复的边(,)
d c (6)构成了回路,但是不为简单回路和初级回路,因为有重复的边(,)
d b (7)构成了初级通路;
(8)简单通路,但是不为初级通路,有重复边。
23、用Dijkstra 标号法求图9.22中各图从顶点到其余各点的最短路径和距离。
1
v 解答
步骤
1
v 2
v 3
v 4v 5
v 6v 7v 8v 1
*
1(,0)v 1(,6)
v *
1(,3)v 1(,)
v ∞1(,)
v ∞1(,)
v ∞1(,)v ∞1(,)v ∞2
1(,6)
v *
3(,5)v 3(,8)
v 1(,)v ∞3(,11)
v 1(,)v ∞3
*
1(,6)v 4(,6)v 1(,)v ∞3(,11)v 4(,11)
v 4
*
4(,6)v 2(,12)
v 3(,11)
v 4(,11)
v 5
2(,12)
v *
5(,7)v 4(,11)
v 6
2(,12)
v *
7(,10)v 7
*
2(,12)v 到最短路为,路长为6;
1v 2v 12v v →到最短路为,路长为3;
1v 3v 13v v →到最短路为,路长为5;
1v 4v 134v v v →→通过管线不仅可以解决吊顶层配置不规范高中资料试卷问题,而且可保障各类管路习题到位。在管路敷设过程中,要加强看护关于管路高中资料试卷连接管口处理高中资料试卷弯扁度固定盒位置保护对全部高中资料试卷电气设备,在安装过程中以及安装结束后进行
高中资料试卷调整试验;通电检查所有设备高中资料试卷相互作用与相互关系,根据生产工艺高中资料试卷要求,对电气设备进行空载与带负荷下高中资料试卷调控试验;对设备进行调整使其在正常工况下与过度工作下都可以正常工作;对于继电保护进行整核对定值,审核与校对图纸,编写复杂设电力保护装置调试技术,电力保护高中资料试卷配置技术是指机组在进行继电保护高中资料试卷总体配置时,需要在最大限度内来确保机组高中资料试卷安全,并且尽可能地缩小故障高中资料试卷破坏范围,或者对某些异常高中资料试卷工况进行
到最短路为,路长为6;
1v 5v 1345v v v v →→→到最短路为,路长为12;
1v 6v 126v v v →→到最短路为,路长为7;
1v 7v 13457v v v v v →→→→到最短路为,路长为10;
1v 8v 134578v v v v v v →→→→→(2)略。
25、图9.23
中各图有几个连通分支?给出它们所有的连通分支。
解答:
(a )有两个连通分支:和;
aec bdf (b )有三个连通分支:、和;
abd c ef (c )连通图,只有一个连通分支;
(d )两个连通分支:和。
afbgd ech 38、写出图9.27
的关联矩阵。
解答:1100000010111000000100010000111101100110-????-????
--??--????--??
40、写出图9.29
中各图的邻接矩阵。
解答:
(a); (b)120000
1010010
010??????
??????
0011
010000001101000
1
10?????????
???????
41、设有向图,其中,其邻接矩阵为
,D V E =<>1234{,,,}V v v v v =0210001000010
11A ?????
?=??????
试求出中各顶点的入度和出度。
D 解答:出度:1234:3;:1;:1;:2;
v v v v 入度:1234:0;:2;:3;:2;
v v v v 43、有向图D 如图9.29(a )所示
(1)D 中道长度为1,2,3,4的通路各有几条?
1v 4v (2)D 中道长度为1,2,3,4的通路各有几条?
1v 1v (3)D 中长度为4的通路有多少条?其中长为4的回路有多少条?
(4)D 中长度小于或者等于4的通路有多少条?其中多少条为回路?
(5)写出D
的可达矩阵。
解答:,则,,12000
01010010
01
0M ?????
?=??
????21
220100112101
1M ??????=??
????332
2
21210222112
10M ??????=??????
,4
5642222144322
221M ?????
?=??
??
??
(1)D 中道长度为1,2,3,4的通路各有0,0,2,2条;
1v 4v (2)D 中道长度为1,2,3,4的通路各有1,1,3,5条;
1v 1v (3)D 中长度为4的通路有44条;其中长为4的回路有11条.
(4)D 中长度小于或者等于4的通路有88条;其中22条为回路。
(5)写出D 的可达矩阵为。11
111
11111111
111?????
???????
P181:习题十
1、图10.14
中的哪些图是树?
解答:(a )是树;(b )不是树,因为不连通。
3、无向树T 有8片树叶,2个3度分支点,其余分支点都是4度顶点,问T 有几个4度分
支点?请画出3棵非同构的这种无向树。
解答:设有个4度分支点,则T 共有个顶点。那么有条边。由
x 8210x x ++=+9x +握手定理有2(9)82341821442
x x x x x +=+?+?+=+?=所以有2个4度分支点。
4、无向树T 有个i 度分支点,其余顶点都为树叶,问T 有几片树叶?
(2,3,...,)i n i k =解答:设有片树叶,共有个顶点,那么有条边,
x 2
k i
i x n =+
∑2
1k i
i x n =+-∑而共有度,由握手定理可知2
k i i x in =+
∑2
2
2(1)
k k i
i i i x in
x n ==+=-+∑∑所以有。
2
2(2)k i
i x i n ==+
-∑15、已知n 阶m 条边的无向图G 是棵树组成的森林。证明:。
(2)k k ≥m n k =-证明:
方法一:对变量进行归纳
k 当是,因为是一棵树,显然成立;
1k =假设n 阶m 条边的无向图G 是棵树组成的森林,有;
1k -(1)m n k =--那么对于n 阶m 条边的无向图G 是棵树组成的森林,在任意两棵树中分别找一点进行连
k 一条边,那么得到的图则为n 阶m+1条边的无向图G 是棵树组成的森林,
1k -那么,所以。
1(1)m n k +=--m n k =-方法二:设棵树中,分别有个顶点和条边,,则有
k i n i m 1,2,...,i k =,,,即可得证。
1
k
i i m m ==∑1
k
i i n n ==∑1i i m n =-
19、求图10.17
中两个带权图的最小生成树。
解答:
P204:习题十一
1、判断图11.22中哪些是欧拉图?哪些是半欧拉图?对欧拉图给出一条欧拉回路。对半欧
拉图给出一条欧拉通路。对不是的,说明不是欧拉图或半欧拉图的理由。
解答:(a )为欧拉图,全为偶度顶点;(b )为半欧拉图,1,2两个顶点点度为3,其它
为偶数。
2、判断图11.23中哪些是欧拉图?哪些是半欧拉图?对欧拉图给出一条欧拉回路。对半欧
拉图给出一条欧拉通路。对不是的,说明不是欧拉图或半欧拉图的理由。
解答:(a )为半欧拉图,a,c 两点的出度和入度都相等;b 点的入度比出度大1;c 点的入
度比出度小1.
(b )为欧拉图,每个顶点的入度和出度都相等。
3、判断命题的真假。
(1)完全图是欧拉图。
n K (2)阶有向完全图是欧拉图。
(2)n n (3)当r,s 为正偶数时,完全二部分图是欧拉图。
,r s K 解答:(1)为假,因为当n 为偶数时,每个点的点度都为奇数。
(2)真;有向完全图的出度和入度必然相等。
(3)真,完全二部分图中,一部分点的点度全为r,另外一部分点的点度全为s 。
,r s K 10.说明图11.25
中各图不是哈密顿图,也不半哈密顿图的理由。
解答:(a )删掉画圈的3个顶点,还剩下5个连通分支;
(b )删掉画圈的4个顶点,还剩下6个连通分支。
由定理11.2和11.3可知不是哈密顿图,也不半哈密顿图。
11、设G 是无向连通图,证明:若G 中有桥或者割点,则G 不是哈密顿图。
证明:
①若G 中有者割点,取,则,由书中定理11.2可知,G 不
v {}V v =()2||p G V V -≥>是哈密顿图。
②若G 中有者割边,
12(,)e v v =如果和的点度都为1,则该图只有一条边,显然不为哈密顿图;
1v 2v ③如果和的点度至少有一个大于1,不妨设的点度大于1,取,则
1v 2v 1v 1{}V v =,由书中定理11.2可知,G 不是哈密顿图。
()2||p G V V -≥>
离散数学图论与系中有图题目
————————————————————————————————作者:————————————————————————————————日期:
图论中有图题目 一、 没有一个简单的办法能确定图的色数以及用尽可能少的颜色给图的节点着色。Welch-Powell 给出了一个使颜色数尽可能少(不一定最少)的结点着色方法,在实际使用中比较有效: 第1步、 将图的结点按度数的非增顺序排列;第2步、用第1种颜色给第1个结点着色,并按照结点排列顺序,用同一种颜色给每个与前面已着色的结点不邻接的结点着色;第3步、换一种颜色对尚未着色的结点按上述方法着色,如此下去,直到所有结点全部着色为止。 例1 分别求右面两图的色数 (1)由于(1)中图G 中无奇数长的基本回路,由定理可知()2G χ=。 (2)由于(2)中图G 含子图轮图4W ,由于()44W χ=,故()4G χ≥。又因 为此图的最大度()4G ?=,G 不是完全图,也不是奇数长的基本回路,由定理可知()()4G G χ≤?=,因而()4G χ=。 (对n 阶轮图n W ,n 为奇数时有()3n W χ=,n 为偶数时有()4n W χ=;对n 阶零图n N ,有()1n N χ=;完全图n K ,有()n K n χ=;对于二部图12,,,G V V E E =<>=Φ时即()1n N χ=,E ≠Φ时即()2G χ=;在彼得森图G 中,存在奇数长的基本回路,因而()3G χ≥,又彼得森图既不是完全图也不是长度为奇数的基本回路,且()3G ?=,由定理()3G χ≤,故()3G χ=) 例 2 给右边三个图的顶点正常着 色,每个图至少需要几种颜色。 答案:(1) ()2G χ=;(2) ()3G χ=; (3)()4G χ= 例3 有8种化学品A,B,C,D,P,R,S,T 要放进贮藏室保管。出于安全原因, 下列各组药品不能贮在同一个室内:A-R, A-C, A-T, R-P, P-S, S-T, T-B, B-D, D-C, R-S, R-B, 4个结点、6个结点和8个结点的三次正则图 (2) (1) (3) (2)(1)
离散数学辅助教材 概念分析结构思想与推理证明 第一部分 集合论
离散数学习题解答 习题一(第一章集合) 1. 列出下述集合的全部元素: 1)A={x | x ∈N∧x是偶数∧x<15} 2)B={x|x∈N∧4+x=3} 3)C={x|x是十进制的数字} [解] 1)A={2,4,6,8,10,12,14} 2)B= 3)C={0,1,2,3,4,5,6,7,8,9} 2. 用谓词法表示下列集合: 1){奇整数集合} 2){小于7的非负整数集合} 3){3,5,7,11,13,17,19,23,29} [解] 1){n n∈I∧(?m∈I)(n=2m+1)}; 2){n n∈I∧n≥0∧n<7}; 3){p p∈N∧p>2∧p<30∧?(?d∈N)(d≠1∧d≠p∧(?k∈N)(p=k?d))}。 3. 确定下列各命题的真假性: 1) 2)∈ 3){} 4)∈{} 5){a,b}{a,b,c,{a,b,c}} 6){a,b}∈(a,b,c,{a,b,c}) 7){a,b}{a,b,{{a,b,}}} 8){a,b}∈{a,b,{{a,b,}}} [解]1)真。因为空集是任意集合的子集; 2)假。因为空集不含任何元素; 3)真。因为空集是任意集合的子集; 4)真。因为是集合{}的元素; 5)真。因为{a,b}是集合{a,b,c,{a,b,c}}的子集; 6)假。因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;
7)真。因为{a,b}是集合{a,b,{{a,b}}}的子集; 8)假。因为{a,b}不是集合{a,b,{{a,b}}}的元素。 4. 对任意集合A,B,C,确定下列命题的真假性: 1)如果A∈B∧B∈C,则A∈C。 2)如果A∈B∧B∈C,则A∈C。 3)如果A B∧B∈C,则A∈C。 [解] 1)假。例如A={a},B={a,b},C={{a},{b}},从而A∈B∧B∈C但A∈C。 2)假。例如A={a},B={a,{a}},C={{a},{{a}}},从而A∈B∧B∈C,但、A ∈C。 3)假。例如A={a},B={a,b},C={{a},a,b},从而ACB∧B∈.C,但A∈C。5.对任意集合A,B,C,确定下列命题的真假性: 1)如果A∈B∧B C,则A∈C。 2)如果A∈B∧B C,则A C。 3)如果A B∧B∈C,则A∈C。 3)如果A B∧B∈C,则A C。 [解] 1)真。因为B C x(x∈B x∈C),因此A∈B A∈C。 2)假。例如A={a},B={{a},{b}},C={{a},{b},{c}}从而A∈B∧B C,但A C。 3)假。例如A={a},B={{a,b}},C={{a,{a,b}},从而A B∧B∈C,但A C。 4)假。例如A={a},B={{a,b}},C={{a,b},b},从而A B∧B∈C,但A C。 6.求下列集合的幂集: 1){a,b,c} 2){a,{b,c}} 3){} 4){,{}} 5){{a,b},{a,a,b},{a,b,a,b}} [解] 1){,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}} 2){,{a},{{b,c}},{a,{a,b}}} 3){,{}} 4){,{},{{}},{,{}}}
习题参考解答 习题 1、(3)P:银行利率降低 Q:股价没有上升 P∧Q (5)P:他今天乘火车去了北京 Q:他随旅行团去了九寨沟 Q P? (7)P:不识庐山真面目 Q:身在此山中 Q→P,或~P→~Q (9)P:一个整数能被6整除 Q:一个整数能被3整除 R:一个整数能被2整除 T:一个整数的各位数字之和能被3整除 P→Q∧R ,Q→T 2、(1)T (2)F (3)F (4)T (5)F (6)T (7)F (8)悖论 习题 1(3) ) ( ) ( ) ( ) ( ) ( ) ( R P Q P R P Q P R Q P R Q P → ∨ → ? ∨ ? ∨ ∨ ? ? ∨ ∨ ? ? ∨ →
(4) ()()()(())()(()())(())()()()()P Q Q R R P P R Q R P P R R P Q R P P R P R Q R Q P ∧∨∧∨∧=∨∧∨∧=∨∨∧∧∨∧=∨∧∨∧∨∧∨=右 2、不, 不, 能 习题 1(3) (())~((~)) (~)()~(~(~))(~~)(~) P R Q P P R Q P P R T P R P R Q Q P R Q P R Q →∧→=∨∧∨=∨∧=∨=∨∨∧=∨∨∧∨∨、 主合取范式 ) ()()()()()()()()()()()()()())(())(()()(()) ()())(()((Q P R P Q R P Q R R Q P R Q P R Q P Q P R Q P R P Q R P Q R R Q P R Q P R Q P R Q P Q Q P R P P Q R R R Q Q P P R Q R P P Q R P P Q R P ∧∧∨∧?∧∨?∧?∧∨∧?∧?∨?∧∧?∨?∧?∧?=∧∧∨?∧∧∨∧?∧∨?∧?∧∨∧?∧?∨∧?∧?∨?∧∧?∨?∧?∧?=∨?∧∧∨∨?∧?∧∨∨?∧∨?∧?=∧∨?∧∨?=∨?∧∨?=→∧→ ————主析取范式 (2) ()()(~)(~) (~(~))(~(~))(~~)(~)(~~) P Q P R P Q P R P Q R R P R Q Q P Q R P Q R P R Q →∧→=∨∧∨=∨∨∧∧∨∨∧=∨∨∧∨∨∧∨∨Q 2、 ()~() (~)(~) (~~)(~)(~~)P Q R P Q R P Q P R P Q R P Q R P R Q →∧=∨∧=∨∧∧=∨∨∧∨∨∧∨∨∴等价 3、解:根据给定的条件有下述命题公式: (A →(CD ))∧~(B ∧C )∧~(C ∧D ) (~A ∨(C ∧~D )∨(~C ∧D ))∧(~B ∨~C )∧(~C ∨~D ) ((~A ∧~B )∨(C ∧~D ∧~B )∨(~C ∧D ∧~B )∨ (~A ∧~C )∨(C ∧~D ∧~C )∨(~C ∧D ∧~C ))∧(~C ∨~D )
离散数学图论单元测验题 一、单项选择题(本大题共10小题,每小题2分,共20分) 1、在图G =
习题一 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年”既可以化 答:列出两种符号化的真值表:
第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r)?0∨(0∧1) ?0 (2)(p?r)∧(﹁q∨s) ?(0?1)∧(1∨1) ?0∧1?0. (3)(?p∧?q∧r)?(p∧q∧﹁r) ?(1∧1∧1)? (0∧0∧0)?0 (4)(?r∧s)→(p∧?q) ?(0∧1)→(1∧0) ?0→0?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。19.用真值表判断下列公式的类型: (4)(p→q) →(?q→?p) (5)(p∧r) ?(?p∧?q) (6)((p→q) ∧(q→r)) →(p→r) 答:(4) p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式//最后一列全为1 (5)公式类型为可满足式(方法如上例)//最后一列至少有一个1 (6)公式类型为永真式(方法如上例)// 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.
(1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答:(2)(p→(p∨q))∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式: (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明(2)(p→q)∧(p→r) ? (?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) (4)(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q) ?(p∨?p)∧(p∨q)∧(?q∨?p) ∧(?q∨q) ?1∧(p∨q)∧?(p∧q)∧1 ?(p∨q)∧?(p∧q) 5.求下列公式的主析取范式与主合取范式,并求成真赋值 (1)(?p→q)→(?q∨p) (2)?(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r) 解: (1)主析取范式 (?p→q)→(?q∨p)
图论练习题 一.选择题 1、设G是一个哈密尔顿图,则G一定是( )。 (1) 欧拉图(2) 树(3) 平面图(4)连通图 2、下面给出的集合中,哪一个是前缀码?() (1) {0,10,110,101111}(2) {01,001,000,1} (3) {b,c,aa,ab,aba}(4) {1,11,101,001,0011} 3、一个图的哈密尔顿路是一条通过图中()的路。 4、设G是一棵树,则G 的生成树有( )棵。 (1) 0(2) 1(3) 2(4) 不能确定 5、n阶无向完全图Kn 的边数是( ),每个结点的度数是( )。 6、一棵无向树的顶点数n与边数m关系是()。 7、一个图的欧拉回路是一条通过图中( )的回路。 8、有n个结点的树,其结点度数之和是()。 9、下面给出的集合中,哪一个不是前缀码( )。 (1) {a,ab,110,a1b11} (2) {01,001,000,1} (3) {1,2,00,01,0210} (4) {12,11,101,002,0011} 10、n个结点的有向完全图边数是( ),每个结点的度数是( )。 11、一个无向图有生成树的充分必要条件是( )。 12、设G是一棵树,n,m分别表示顶点数和边数,则 (1) n=m (2) m=n+1 (3) n=m+1 (4) 不能确定。 13、设T=〈V,E〉是一棵树,若|V|>1,则T中至少存在( )片树叶。 14、任何连通无向图G至少有( )棵生成树,当且仅当G 是( ),G的生成树只有一棵。 15、设G是有n个结点m条边的连通平面图,且有k个面,则k等于: (1) m-n+2 (2) n-m-2 (3) n+m-2 (4) m+n+2。 16、设T是一棵树,则T是一个连通且( )图。 17、设无向图G有16条边且每个顶点的度数都是2,则图G有( )个顶点。 (1) 10 (2) 4 (3) 8 (4) 16 18、设无向图G有18条边且每个顶点的度数都是3,则图G有( )个顶点。 (1) 10 (2) 4 (3) 8 (4) 12
离散数学课后习题答案(左孝凌版) 1-1,1-2解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)P→┓Q (4)解: a)设Q:我将去参加舞会。R:我有时间。P:天下雨。 Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。 b)设R:我在看电视。Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。 c) 设Q:一个数是奇数。R:一个数不能被2除。 (Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。 (5) 解: a)设P:王强身体很好。Q:王强成绩很好。P∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P Q f)设P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解:
离散数学11春图论部分综合练习辅导 大家好!本学期的第二次教学辅导活动现在开始,本次活动主要是针对第二单元图论的重点学习内容进行辅导,方式同样是通过讲解一些典型的综合练习作业题目,帮助大家进一步理解和掌握图论的基本概念和方法. 图论作为离散数学的一部分,主要介绍图论的基本概念、理论与方法.教学内容主要有图的基本概念与结论、图的连通性与连通度、图的矩阵表示、最短路问题、欧拉图与汉密尔顿图、平面图、对偶图与着色、树与生成树、根树及其应用等. 本次综合练习主要是复习这一单元的主要概念与计算方法,与集合论一样,也安排了五种类型,有单项选择题、填空题,判断说明题、计算题、证明题.这样的安排也是为了让同学们熟悉期末考试的题型,能够较好地完成这一部分主要内容的学习. 下面是本学期第4,5次形考作业中的部分题目. 一、单项选择题 单项选择题主要是第4次形考作业的部分题目. 第4次作业同样也是由10个单项选择题组成,每小题10分,满分100分.在每次作业在关闭之前,允许大家反复多次练习,系统将保留您的最好成绩,希望大家要多练几次,争取好成绩.需要提醒大家的是每次练习的作业题目可能不一样,请大家一定要认真阅读题目. 1.设图G =
离散数学课后答案 习题一 6.将下列命题符号化。 (1)小丽只能从框里那一个苹果或一个梨. (2)这学期,刘晓月只能选学英语或日语中的一门外语课. 答: (1)(p Λ?q )ν(?pΛq)其中p:小丽拿一个苹果,q:小丽拿一个梨(2)(p Λ?q )ν(?pΛq)其中p:刘晓月选学英语,q:刘晓月选学日语 14.将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2与4都是素数, 这是不对的. (13)“2或4是素数, 这是不对的”是不对的. 答: (1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高. (2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人. (3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服. (4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题. (5)p, 其中, p: 李辛与李末是兄弟. (6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语. (7)p∧q, 其中, p: 他吃饭, q: 他听音乐. (8)p→q, 其中, p: 天下大雨, q: 他乘班车上班. (9)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (10)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (11)p→q, 其中, p: 下雪路滑, q: 他迟到了. (12) ? (p∧q)或?p∨?q, 其中, p: 2是素数, q: 4是素数. (13) ? ? (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数. 16. 19.用真值表判断下列公式的类型: (1)p→ (p∨q∨r) (2)(p→?q) →?q
离散数学第四版课后答案 第1章习题解答 1.1 除(3),(4),(5),(11)外全是命题,其中,(1),(2),(8),(9), (10),(14),(15)是简单命题,(6),(7),(12),(13)是复合命题。 分析首先应注意到,命题是陈述句,因而不是陈述句的句子都不是命题。 本题中,(3)为疑问句,(5)为感叹句,(11)为祈使句,它们都不是陈述句,所以它们都不是命题。 其次,4)这个句子是陈述句,但它表示的判断结果是不确定。又因为(1),(2),(8),(9),(10),(14),(15)都是简单的陈述句,因而作为命题,它们都是简单命题。(6)和(7)各为由联结词“当且仅当”联结起来的复合命题,(12)是由联结词“或”联结的复合命题,而(13)是由联结词“且”联结起来的复合命题。这里的“且”为“合取”联结词。在日常生活中,合取联结词有许多表述法,例如,“虽然……,但是……”、“不仅……,而且……”、“一面……,一面……”、“……和……”、“……与……”等。但要注意,有时“和”或“与” 联结的是主语,构成简单命题。例如,(14)、(15)中的“与”与“和”是联结的主语,这两个命题均为简单命题,而不是复合命题,希望读者在遇到“和”或“与”出现的命题时,要根据命题所陈述的含义加以区分。 1.2 (1)p: 2是无理数,p为真命题。 (2)p:5能被2整除,p为假命题。 (6)p→q。其中,p:2是素数,q:三角形有三条边。由于p与q都是真 命题,因而p→q为假命题。 (7)p→q,其中,p:雪是黑色的,q:太阳从东方升起。由于p为假命
题,q为真命题,因而p→q为假命题。 (8)p:2000年10月1日天气晴好,今日(1999年2月13日)我们还不 知道p的真假,但p的真值是确定的(客观存在的),只是现在不知道而已。(9)p:太阳系外的星球上的生物。它的真值情况而定,是确定的。 1 (10)p:小李在宿舍里. p的真值则具体情况而定,是确定的。 (12)p∨q,其中,p:4是偶数,q:4是奇数。由于q是假命题,所以,q 为假命题,p∨q为真命题。 (13)p∨q,其中,p:4是偶数,q:4是奇数,由于q是假命题,所以,p∨q 为假命题。 (14)p:李明与王华是同学,真值由具体情况而定(是确定的)。 (15)p:蓝色和黄色可以调配成绿色。这是真命题。 分析命题的真值是唯一确定的,有些命题的真值我们立即可知,有些则不能马上知道,但它们的真值不会变化,是客观存在的。 1.3 令p:2+2=4,q:3+3=6,则以下命题分别符号化为 (1)p→q (2)p→?q (3)?p→q (4)?p→?q
离散数学习题答案 习题一及答案:(P14-15) 14、将下列命题符号化: (5)李辛与李末是兄弟 解:设p :李辛与李末是兄弟,则命题符号化的结果是p (6)王强与刘威都学过法语 解:设p :王强学过法语;q :刘威学过法语;则命题符号化的结果是 p q ∧ (9)只有天下大雨,他才乘班车上班 解:设p :天下大雨;q :他乘班车上班;则命题符号化的结果是q p → (11)下雪路滑,他迟到了 解:设p :下雪;q :路滑;r :他迟到了;则命题符号化的结果是()p q r ∧→ 15、设p :2+3=5. q :大熊猫产在中国. r :太阳从西方升起. 求下列复合命题的真值: (4)()(())p q r p q r ∧∧???∨?→ 解:p=1,q=1,r=0, ()(110)1p q r ∧∧??∧∧??, (())((11)0)(00)1p q r ?∨?→??∨?→?→? ()(())111p q r p q r ∴∧∧???∨?→??? 19、用真值表判断下列公式的类型: (2)()p p q →?→? 解:列出公式的真值表,如下所示: 20、求下列公式的成真赋值:
(4)()p q q ?∨→ 解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是: ()10p q q ?∨??????00 p q ????? 所以公式的成真赋值有:01,10,11。 习题二及答案:(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、用真值表法求下面公式的主析取范式:
离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r)?0∨(0∧1) ?0 (2)(p?r)∧(﹁q∨s) ?(0?1)∧(1∨1) ?0∧1?0. (3)(?p∧?q∧r)?(p∧q∧﹁r) ?(1∧1∧1)? (0∧0∧0)?0 (4)(?r∧s)→(p∧?q) ?(0∧1)→(1∧0) ?0→0?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。19.用真值表判断下列公式的类型: (4)(p→q) →(?q→?p) (5)(p∧r) ?(?p∧?q) (6)((p→q) ∧(q→r)) →(p→r) 答:(4) p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式 (5)公式类型为可满足式(方法如上例) (6)公式类型为永真式(方法如上例) 第二章部分课后习题参考答案
3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值. (1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答:(2)(p→(p∨q))∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式: (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明(2)(p→q)∧(p→r) ? (?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) (4)(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q) ?(p∨?p)∧(p∨q)∧(?q∨?p) ∧(?q∨q) ?1∧(p∨q)∧?(p∧q)∧1 ?(p∨q)∧?(p∧q) 5.求下列公式的主析取范式与主合取范式,并求成真赋值 (1)(?p→q)→(?q∨p) (2)?(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r)
第四篇图论 自从1736年欧拉(L.Euler)利用图论的思想解决了哥尼斯堡(Konigsberg)七桥问题以来,图论经历了漫长的发展道路。在很长一段时期内,图论被当成是数学家的智力游戏,解决一些著名的难题。如迷宫问题、匿门博奕问题、棋盘上马的路线问题、四色问题和哈密顿环球旅行问题等,曾经吸引了众多的学者。图论中许多的概论和定理的建立都与解决这些问题有关。 1847年克希霍夫(Kirchhoff)第一次把图论用于电路网络的拓扑分析,开创了图论面向实际应用的成功先例。此后,随着实际的需要和科学技术的发展,在近半个世纪内,图论得到了迅猛的发展,已经成了数学领域中最繁茂的分支学科之一。尤其在电子计算机问世后,图论的应用范围更加广泛,在解决运筹学、信息论、控制论、网络理论、博奕论、化学、社会科学、经济学、建筑学、心理学、语言学和计算机科学中的问题时,扮演着越来越重要的角色,受到工程界和数学界的特别重视,成为解决许多实际问题的基本工具之一。 图论研究的课题和包含的内容十分广泛,专门著作很多,很难在一本教科书中概括它的全貌。作为离散数学的一个重要内容,本书主要围绕与计算机科学有关的图论知识介绍一些基本的图论概论、定理和研究内容,同时也介绍一些与实际应用有关的基本图类和算法,为应用、研究和进一步学习提供基础。
第4-1章无向图和有向图 学习要求:仔细领会和掌握图论的基本概论、术语和符号,对于图论研究的一些最基本的课题,如道路问题、连通性问题和着色的问题等,应掌握主要的定理内容和证明方法以及基本的构造方法,以便为下一章研究提供理论工具。学习本章要用到集合和线性代数矩阵运算的知识,特别是集合数和矩阵秩的概念。 §4-1-1 图的基本概念 图是用于描述现实世界中离散客体之间关系的有用工具。在集合论中采用过以图形来表示二元关系的办法,在那里,用点来代表客体,用一条由点a指向点b的有向线段来代表客体a和b之间的二元关系aRb,这样,集合上的二元关系就可以用点的集合V和有向线的集合E构成的二元组(V,E)来描述。同样的方法也可以用来描述其它的问题。当我们考察全球航运时,可以用点来代表城市,用线来表示两城市间有航线通达;当研究计算机网络时,可以用点来表示计算机及终端,用线表示它们之间的信息传输通道;当研究物质的化学结构时,可以用点来表示其中的化学元素,而用线来表示元素之间的化学键。在这种表示法中,点的位置及线的长短和形状都是无关紧要的,重要的是两点之间是否有线相连。从图形的这种表示方式中可以抽象出图的数学概念来。 一、图 定义4-1-1.1一个(无向)图G是一个二元组(V(G),E(G)),其中V (G)是一个有限的非空集合,其元素称为结点;E(G)是一个以不同结点的无序对为元素,并且不含重复元素的集合,其元素称为边。 我们称V(G)和E(G)分别是G的结点集和边集。在不致引起混淆的地方,常常把V(G)和E(G)分别简
1.1.略 1.2.略 1.3.略 1.4.略 1.5.略 1.6.略 1.7.略 1.8.略 1.9.略 1.10.略 1.11.略 1.12.将下列, 并给出各命题的: (1)2+2=4 当且仅 当3+3=6. (2)2+2=4 的充要 条件是3+3 6. (3)2+2 4 与3+3 =6 互为充要条件. (4)若2+24, 则 3+36, 反之亦然. (1)p q, 其中, p: 2+2=4, q: 3+3=6, 真值为1. (2)p q,
其中, p: 2+2=4, q: 3+3=6, 真值为0. (3) p q, 其中, p: 2+2=4, q: 3+3=6, 真值为0. (4) p q, 其中, p: 2+2=4, q: 3+3=6, 真值为1. 1.13.将下列命题符号化, 并给出各命题的真值:(1)若今天是星期一, 则明天是星期二. (2)只有今天是星期一, 明天才是星期二. (3)今天是星期一当且仅当明天是星期二. (4)若今天是星期一, 则明天是星期三. 令p: 今天是星期一; q: 明天是星期二; r: 明天是星期三. (1) p q 1. (2) q p 1. (3) p q 1.
(4) p r 当p 0 时为真; p 1 时为假. 1.14.将下 列 . (1) 刘 晓月跑得快, 跳得高. (2) 老王是山东 人或河北人. (3)因为天气冷, 所以我穿了羽 绒服. (4)王欢与李乐组成一个 小组. (5)李辛与李末是兄弟. (6)王强与刘威都学 过法语. (7)他一面 吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他 迟到了. (12)2 与4 都是素数, 这是不对的. (13)“2或4 是素数, 这是不对的”是不对的.
离散数学图论部分综合练习 一、单项选择题 1.设图G 的邻接矩阵为 ??? ???? ? ????? ???0101 010******* 11100100110 则G 的边数为( ). A .6 B .5 C .4 D .3 2.已知图G 的邻接矩阵为 , 则G 有( ). A .5点,8边 B .6点,7边 C .6点,8边 D .5点,7边 3.设图G =
图三 7.设有向图(a )、(b )、(c )与(d )如图四所示,则下列结论成立的是 ( ). 图四 A .(a )是强连通的 B .(b )是强连通的 C .(c )是强连通的 D .(d )是强连通的 应该填写:D 8.设完全图K n 有n 个结点(n ≥2),m 条边,当( )时,K n 中存在欧拉回路. A .m 为奇数 B .n 为偶数 C .n 为奇数 D .m 为偶数 9.设G 是连通平面图,有v 个结点,e 条边,r 个面,则r = ( ). A .e -v +2 B .v +e -2 C .e -v -2 D .e +v +2 10.无向图G 存在欧拉通路,当且仅当( ). A .G 中所有结点的度数全为偶数 B .G 中至多有两个奇数度结点 C .G 连通且所有结点的度数全为偶数 D .G 连通且至多有两个奇数度结点 11.设G 是有n 个结点,m 条边的连通图,必须删去G 的( )条边,才能确定G 的一棵生成树. A .1m n -+ B .m n - C .1m n ++ D .1n m -+ 12.无向简单图G 是棵树,当且仅当( ). A .G 连通且边数比结点数少1 B .G 连通且结点数比边数少1 C .G 的边数比结点数少1 D .G 中没有回路. 二、填空题 1.已知图G 中有1个1度结点,2个2度结点,3个3度结点,4个4度结 点,则G 的边数是 . 2.设给定图G (如图四所示),则图G 的点割 ? ? ? ? ? c a b e d ? f 图四
离散数学习题详细答案
————————————————————————————————作者:————————————————————————————————日期:
离散数学习题答案 习题一及答案:(P14-15) 14、将下列命题符号化: (5)李辛与李末是兄弟 解:设p :李辛与李末是兄弟,则命题符号化的结果是p (6)王强与刘威都学过法语 解:设p :王强学过法语;q :刘威学过法语;则命题符号化的结果是 p q ∧ (9)只有天下大雨,他才乘班车上班 解:设p :天下大雨;q :他乘班车上班;则命题符号化的结果是q p → (11)下雪路滑,他迟到了 解:设p :下雪;q :路滑;r :他迟到了;则命题符号化的结果是()p q r ∧→ 15、设p :2+3=5. q :大熊猫产在中国. r :太阳从西方升起. 求下列复合命题的真值: (4)()(())p q r p q r ∧∧???∨?→ 解:p=1,q=1,r=0, ()(110)1p q r ∧∧??∧∧??, (())((11)0)(00)1p q r ?∨?→??∨?→?→? ()(())111p q r p q r ∴∧∧???∨?→??? 19、用真值表判断下列公式的类型: (2)()p p q →?→? 解:列出公式的真值表,如下所示: p q p ? q ? ()p p →? ()p p q →?→? 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 由真值表可以看出公式有3个成真赋值,故公式是非重言式的可满足式。 20、求下列公式的成真赋值: