离散数学(第五版)清华大学出版社第
离散数学(第五版)清华大学出版社第2章习题解答
离散数学（第五版）清华大学出版社第2章习题解答2.1 本题没有给出个体域,因而使用全总个体域.(1) 令F(x):x是鸟G(x):x会飞翔.命题符号化为∀x(F(x)→G(x)).(2)令F(x):x为人.G(x):x爱吃糖命题符号化为¬∀x(F(x)→G(x))或者∃x(F(x)∧¬G(x))(3)令F(x):x为人.G(x):x爱看小说.命题符号化为∃x(F(x)∧G(x)).(4) F(x):x为人.G(x):x爱看电视.命题符号化为¬∃x(F(x)∧¬G(x)).分析1°如果没指出要求什么样的个体域，就使用全总个休域，使用全总个体域时，往往要使用特性谓词。
（1）-（4）中的F(x)都是特性谓词。
2° 初学者经常犯的错误是，将类似于（1）中的命题符号化为27∀x(F(x)∧G(x))即用合取联结词取代蕴含联结词，这是万万不可的。
将（1）中命题叙述得更透彻些，是说“对于宇宙间的一切事物百言，如果它是鸟，则它会飞翔。
”因而符号化应该使用联结词→而不能使用∧。
若使用∧，使（1）中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。
”这显然改变了原命题的意义。
3° （2）与（4）中两种符号化公式是等值的，请读者正确的使用量词否定等值式，证明（2），（4）中两公式各为等值的。
2.2 (1)d (a),(b),(c)中均符号化为∀xF(x)其中F(x):(x+1)2=x2+2x+1,此命题在(a),(b),(c)中均为真命题。
（2）在(a),(b),(c)中均符号化为∃xG(x)其中G(x):x+2=0，此命题在（a）中为假命题，在(b)(c)中均为真命题。
（3）在(a),(b),(c)中均符号化为∃xH(x)其中H(x):5x=1.此命题在(a),(b)中均为假命题，在(c)中为真命题。
分析1°命题的真值与个体域有关。
2° 有的命题在不同个体域中，符号化的形式不同，考虑命题“人都呼吸”。
离散数学(第五版)清华大学出版社第
（1）对（1）采用两种方法判断它是重言式。
真值表法
表1.2给出了（1）中公式的真值表，由于真值表的最后一列全为1，所以，（1）为重言式。
p∨q∨rp→(p∨q∨r)
p q r
0 0 0 0 1
0 0 1 1 1
0 1 0 1 1
0 1 1 1 1
1 0 0 1 1
1 0 1 1 1
1 1 0 1 1
⇔0↔q（矛盾律）
⇔(p→q)∧(q→0)（等价等值式）
⇔(¬0∨q)∧(¬q∨0)（蕴含等值式）
⇔(1∨q)∧¬q（同一律）
⇔1∧¬q（零律）
6
⇔¬q（同一律）
到最后一步已将公式化得很简单。由此可知，无论p取0或1值，只要q取0值，原公式取值为1，即00或10都为原公式的成真赋值，而01，11为成假赋值，于是公式为非重言式的可满足式。
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：太阳系外的星球上的生物。它的真值情况而定，是确定的。
⇔¬((¬p∧q)∧(¬p∨q)∧(¬q∨p)∧(¬q∨q))⇔¬(1∧p∨q)∧(¬q∨p)∧1⇔¬((p→q)∧(q→p))
可编辑范本
⇔¬(p↔q).
读者填上每步所用的基本的等值式。1.9（1）
离散数学第五版第一章(耿素云、屈婉玲、张立昂编著)
相容性，有时具有排斥性，对应的联结词分别称为相容或和
排斥或
h
15
命题与联结词
例5：将下列命题符号化。
（1）张明正在睡觉或游泳。 （2）李强是位排球队员或是足球队员。 （3）他昨晚做了二十或三十道题。 或表示约数，不能用析取 （4）张静只能挑选202或203房间。
p:张明正在睡觉。 q:张明正在游泳 pq
h
6
命题与联结词
一、命题
定义：能判断真假的陈述句，被称为命题。
说明： 1) 命题的真值：作为命题所表达的判断只有两个结果：正确和 错误，此结果称为命题的真值。
命题是正确的，称此命题的真值为真；命题是错误的，称此 命题的真值为假。
真值为真的命题称为真命题 ；真值为假的命题称为假命题。
任何命题的真值都是唯一的。
例如: ( ((P∧Q)∨R)→((R∨P)∨Q)) 可写成:(P∧Q∨R)→R∨P∨Q
但有时为了看起来清楚醒目, 也可以保留某些原可省去的括号。
3) 我们只关心复合命题中命题之间的真值关系，而不关心命题
的内容。
h
22
命题与联结词
例 8 将下列命题符号化
① 设P表示“他有理论知识”, Q表示“他有实践经验”, 则“他既有理论知识又有实践经验”
真命题 真命题
（3）雪是黑的。
（4）x大于y。
（5）向右看齐！
（6）你吃饭了吗？
h
假命题
真值不唯一 非命题
祈使句 非命题
疑问句 非命题
8
命题与联结词
例1： 判断下列句子是否为命题，真值如何？
（7）本命题是假的 。
悖论 非命题
（8）我正在说谎。
悖论 非命题
（9）2014年元旦是晴天。
离散数学(第五版)清华大学出版社第4章习题解答
离散数学（第五版）清华大学出版社第4章习题解答4．1 A：⑤；B：③；C：①；D：⑧；E：⑩4．2 A：②；B：③；C：⑤；D：⑩；E：⑦4．3 A：②；B：⑦；C：⑤；D：⑧；E：④分析题4.1-4.3 都涉及到关系的表示。
先根据题意将关系表示成集合表达式，然后再进行相应的计算或解答，例如，题4.1中的Is ={<1,1>,<2,2>}, Es ={<1,1>,<1,2>,<2,1>,<2,2>}Is ={<1,1>,<1,2>,<2,2>};而题4.2中的R={<1,1>,<1,4>,<2,1>,<3,4>,<4,1>}.为得到题4.3中的R须求解方程x+3y=12，最终得到R={<3,3>,<6,2>,<9,1>}.求RoR有三种方法，即集合表达式、关系矩阵和关系图的主法。
下面由题4.2的关系分别加以说明。
1°集合表达式法将domR,domRUran,ranR的元素列出来，如图4.3所示。
然后检查R的每个有序对，若<x,y>∈R，则从domR中的x到ranR中的y画一个箭头。
若danR中的x 经过2步有向路径到达ranR中的y，则<x,y>∈RoR。
由图4.3可知RoR={<1,1>,<1,4><4,1>,<4,4>,<2,1>,<2,4>,<3,1>}.如果求FoG，则将对应于G中的有序对的箭头画在左边，而将对应于F中的有序对的箭头画在右边。
对应的三个集合分别为domG,ranUdomF,ranF，然后，同样地寻找domG到ranF的2步长的有向路径即可。
2° 矩阵方法若M是R的关系矩阵，则RoR的关系矩阵就是M·M，也可记作M，在计算2 48乘积时的相加不是普通加法，而是逻辑加，即0+0=0，0+1=1+0=1+1=1，根据已知条件得⎡1 0 0 1⎤⎡1 0 0 1⎤⎡1 0 0 1⎤⎢1 0 0 0⎥⎢1 0 0 0⎥⎢1 0 0 1⎥2 ⎢⎥⎢⎥⎢⎥M =⎢⎥⋅⎢⎥=⎢⎥⎢0 0 0 1⎥⎢0 0 0 1⎥⎢1 0 0 0⎥⎣1 0 0 0⎦⎣1 0 0 0⎦⎣1 0 0 1⎦M2中含有7个1，说明RoR中含有7个有序对。
离散数学(第5版)耿素云10.4
图灵机的基本模型
图灵机接受的语言
——递归可枚举语言
用图灵机计算函数
——部分可计算函数与可计算函数
1
问题的提出
1900年 D. Hilbert 在巴黎第二届数学家大会上提出 著名的23个问题. 第10个问题:如何判定整系数多项式是否有整数根? 要求使用“有限次运算的过程” 1970 年证明不存在这样的判定算法, 即这个问题是 不可判定的, 或不可计算的.
13
递归函数
定义 设f 是N上的m元部分函数, 如果图灵机M计算f 的 一进制表示, 即M的输入字母表为{1},x1,…,xmN, 从初始格局 0= q01x1 B1x2 B1xm B 开始, 若f(x1,…,xm) =y, 则M的计算停机, 且停机时带的内容(不计{1}以 外的字符)为1y; 若f(x1,…, xm), 则M永不停机, 那么 称M以一进制方式计算f. 定义 图灵机M以一进制方式计算的N上的m元部分函 数称作部分递归函数, 或部分可计算函数; 部分递归 的全函数称作递归函数, 或可计算函数.
已经证明这些模型都是等价的, 即它们计算 的函数类 (识别的语言类) 是相同的. Church-Turing论题: 直观可计算的函数类 就是图灵机以及任何与图灵机等价的计算模 型可计算 (可定义) 的函数类
4
图灵机的基本模型
控制器
定义 图灵机(TM) M=Q,,,,q0,B,A , 其中 (1) 状态集合Q: 非空有穷集合; (2) 输入字母表: 非空有穷集合; (3) 带字母表: 非空有穷集合且 ; (4) 初始状态 q0Q;
w, 若x w00 例1(续) M计算函数: x{0,1}*, f ( x ) w1, 若x w10 , 否则
离散数学第五版第二章(耿素云、屈婉玲、张立昂编著)
同一命题，在不同 域中的真值可能不
（b）个体域D2=R(R为实数集合)。
同。
（a）：
（b）：
令F（x）：x*x－3x+2=(x-1)(x-2) 。 令F（x）：x*x－3x+2=(x-1)(x-2) 。
G（x）：x+5=3。
G（x）：x+5=3。
1）∀xF（x） 真命题
1）∀xF（x） 真命题
2）∃xG（x）
15 2021/3/10
第二章 一阶逻辑基本概念 2.1 一阶逻辑的基本概念 2.2 一阶逻辑合式公式及解释 2.3 一阶逻辑等值式 2.4 一阶逻辑推理理论
16 2021/3/10
2.2一阶逻辑合式公式及解释
一、一阶语言ℱ 1. 一阶语言的字母表（定义2.1）
(1)个体常项：a,b,c,…… (2)个体变项：x,y,z,…… (3)函数符号：f,g,h,…… (4)谓词符号：F，G，H，…… (5)量词符号：∀，∃ (6)连接词符号：，⋀，⋁，→，↔ (7)括号与逗号：（，），，
1) 凡人都呼吸。 2) 有的人用左手写字。 其中：（a）个体域D1为人类集合。
同一命题，在不同的 域中命题符号化的形 式也不同！
（b）个体域D2为全总个体域。
（a）：令F（x）：x呼吸。 G（x）：x用左手写字。 1）∀xF（x） 2）∃xG（x）
2021/3/10
（b）：令F（x）：x呼吸。
G（x）：x用左手写字。
重言式的代换实例都是永真式，矛盾式的代换实例都是 矛盾式。
28 2021/3/10
2.2一阶逻辑合式公式及解释
例3：判断下列公式哪些是永真式，哪些是矛盾式： 1) x(F(x)G(x)) 2) x(F(x)G(x)) 3) xF(x)(xyG(x,y)xF(x)) 4) (xF(x)yG(y))yG(y) 5) xF(x)(xF(x)yG(y))
离散数学(第五版)清华大学出版社第5章习题解答
离散数学（第五版）清华大学出版社第5章习题解答5.1 A:③; B:⑥; C:⑧; D:⑩; E:⑨分析S 为n 元集,那么S×S有n2个元素.S 上的一个二元运算就是函数n2n2f:S×S→S.这样的函数有n 个.因此{a,b}上的二元运算有n =16个.下面说明通过运算表判别二元运算性质及求特导元素的方法.1 °交换律若运算表中元素关于主对角线成对称分布,则该运算满足交换律.2 °幂等律设运算表表头元素的排列顺序为x1,x2,Lxn,如果主对角线元素的排列也为x1,x2,Lxn,则该运算满足幂等律.其他性质,如结合律或者涉及到两个运算表的分配律和吸收律,在运算表中没有明显的特征,只能针对所有可能的元素x,y,z等来验证相关的算律是否成立.3 °幺元e设运算表表头元素的排列顺序为x1.,x2,Lxn,如果元素xi所在的行和列的元素排列顺序也是x1,x2,Lxn,则xi为幺元.4 °零元θ.如果元素xi所在的行和列的元素都是xi,则xi是零元.5 °幂等元.设运算表表头元素的排列顺序为x1,x2,Lxn,如果主对角线上第i个元素恰为xii∈{1,2,L,n}那么xi是幂等元.易见幺元和零元都是幂等元.6 °可逆元素及其逆元.设xi为任意元素,如果xi所在的行和列都有幺元,并且这两个幺元关于主对角线成对称分布,比如说第i行第j列和第j行第i列的两个位置,那么xj与xi互为逆元.如果xi所在的行和列具有共同的幺元,则幺元一定在主对角线上,那么xi的逆元就是xi自己.如果xi所在的和地或者所在的列没有幺元,那么x 不是可逆元素.不难看出幺元e一定是可逆元素,且e−1=e;而i零元θ不是可逆元素.以本题为例,f1,f2,f3的运算表是对称分布的,因此,这三个运算是可交换的,62而f4不是可交换的.再看幂等律.四个运算表表头元素排列都是a,b,其中主对角线元素排列为a,b的只有f4,所以, f4遵从幂等律.下面考虑幺元.如果某元素所在的行和列元素的排列都是a,b,该元素就是幺元.不难看出只有f2中的a满足这一要求,因此,a 是f2的幺元,其他三个运算都不存在幺元.最后考虑零元.如果a所在的行和列元素都是a,那么a就是零元;同样的,若b所在的行和列元素都是b,那么b 就是零元.检查这四个运算表,f1中的a满足要求,是零元,其他运算都没有零元.在f4的运算表中,尽管a和b的列都满足要求,但行不满足要求.因而f4中也没有零元.5.2 A:①; B:③; C:⑤; D:⑦; E:⑩分析对于用解析表达式定义的二元运算°和*,差别它们是否满足交换律,结合律,幂等律,分配律和吸收律的方法总结如下:任取x,y,根据°运算的解析表达式验证等式xoy=yox是否成立.如果成立°运算就满足交换律.2 ° °运算的地合律任取x,y,z根据°运算的解析表达式验证等式(xoy)oz=xo(yoz)是否成立. 如果成立, °运算就是可结合的.3 ° °运算的幂等律任取x,根据°运算的解析表达式验证等式xox=x是否成立.如果成立,°运算满足幂等律.4 ° °运算对*运算的分配律任取x,y,z , 根据°和* 运算的解析表达式验证等式xo(y*z)=(xoy)*(xoz)和(y*z)ox=(yox)*(zox)是否成立。
离散数学(第五版)清华大学出版社第6章习题解答
离散数学（第五版）清华大学出版社第6章习题解答6.1 A:⑨; B:⑨; C:④; D:⑥; E:③分析对于给定的集合和运算判别它们是否构成代数系统的关键是检查集合对给定运算的封闭性,具体方法已在5.3节做过说明. 下面分别讨论对各种不同代数系纺的判别方法.1°给定集合S和二元运算°,判定<S, °>是否构成关群、独导点和群.根据定义，判别时要涉及到以下条件的验证：条件1 S关于°运算封闭：条件2 °运算满足结合集条件3 °运算有幺元，条件4 °∀x∈S,x−1∈S.其中关群判定只涉及条件1和2；独导点判定涉及条件1、2、和3；而群的判定则涉及到所有的四个条件。
2 ° 给定集合S和二元运算°和*，判定<S, °, *>是否构成环,交换环,含幺环,整环,域.根据有关定义需要检验的条件有:条件1 <S, °>S构成交换群,条件2 <S, *> 构成关群,条件3 * 对°运算的分配律,条件4 * 对运算满足交换律,条件5 * 运算有幺元,条件6 * 运算不含零因子——消去律，条件7 |S|≥2,∀x∈S,x≠0,有x−1∈S（对*运算）.其中环的判定涉及条件1,2和3;交换环的判定涉及条件1,2,3和4;含幺环的判定涉及条件1,2,3和5;整环的判定涉及条件1-6;而域的判定则涉及全部7个条件. 3° 判定偏序集<S,≤>或代数系统<S,o,*>是否构成格、分本配格、有补格和布尔格. 73若<S,≤>为偏序集,首先验证∀x,y∧y和x∨y是否属于S.若满足条件则S为格,且<S,∨,∧>构成代数系统.若<S,o,*>是代数系统且°和*运算满足交换律、结合律和吸收律，则<S,o,*>构成格。
离散数学(第五版)清华大学出版社第7章习题解答
离散数学（第五版）清华大学出版社第7章习题解答7.1 (1),(2),(3),(5)都能构成无向图的度数列,其中除(5)外又都能构成无向简单图的度数列.分析1°非负整数列d,d ,L,d 能构成无向图的度数列当且仅当n di为1 2n∑i=1偶数,即d1,d2,L,dn中的奇数为偶数个.（1）,(2),(3),(5)中分别有4个,0个,4个,4 个奇数,所以,它们都能构成无向图的度数列,当然,所对应的无向图很可能是非简单图.而(4)中有 3 个奇数,因而它不能构成无向图度数列.否则就违背了握手定理的推论.2°(5) 虽然能构成无向图的度数列,但不能构成无向简单度数列.否则,若存在无向简单图G,以1,3,3,3 为度数列,不妨设G 中顶点为v1,v2,v3,v4,且d(vi)=1,于是d(v2)=d(v3)=d(v4)=3.而v1只能与v2,v3,v4之一相邻,设v1与v2相邻,这样一来,除v2能达到3度外, v3,v4都达不到3度,这是矛盾的.在图7.5所示的4个图中,(1) 以1为度数列,(2)以2为度数列,(3)以3为度数列,(4)以4为度数列(非简单图).7.2 设有几简单图D以2,2,3,3为度数列,对应的顶点分别为v1,v2,v3,v4,由于d(v)=d+(v)+d_(v),所示,d+(v)−d−(v)=2−0=2,d+(v )=d(v )−d−(v )11222=2−0=2,d+(v)=d(v)−d−(v)=3−2=1,d+(v)=d(v)−d−(v)=3−3=033344481由此可知,D 的出度列为2,2,1,0,且满足d+(v)= d−(v).请读者画出∑i∑i一个有向图.以2,2,3,3为度数列,且以0,0,2,3为入度列,以2,2,1,0为出度列.7.3 D 的入度列不可能为1,1,1,1.否则,必有出度列为2,2,2,2(因为d(v)=d+(v)+d−(v)),)此时,入度列元素之和为4,不等于出度列元素之和8,这违背握手定理.类似地讨论可知,1,1,1,1也不能为D的出席列.7.4 不能. N阶无向简单图的最大度Δ≤n−1.而这里的n个正整数彼此不同,因而这n个数不能构成无向简单图的度数列,否则所得图的最大度大于n,这与最大度应该小于等于n-1矛盾.7.5 (1) 16个顶点. 图中边数m=16,设图中的顶点数为n.根据握手定理可知2m=32= n d(v)=2n∑ii=1所以,n=16.(2) 13个顶点.图中边数m=21,设3度顶点个数为x,由握手定理有2m=42=3×4+3x由此方程解出x=10.于是图中顶点数n=3+10=13.(3) 由握手定理及各顶点度数均相同,寻找方程2×24=nk的非负整数解,这里不会出现n,k均为奇数的情况. 其中n为阶级,即顶点数,k为度数共可得到下面10种情况.①个顶点,度数为48.此图一定是由一个顶点的24个环构成,当然为非简单图.②2个顶点,每个顶点的度数均为24.这样的图有多种非同构的情况,一定为非简单图.③3个顶点,每个顶点的度数均为16.所地应的图也都是非简单图.④4个顶点,每个顶点的度数均为12. 所对应的图也都是非简单图.⑤6个顶点，每个顶点的度数均为8，所对应的图也都是非简单图.⑥个顶点,每个顶点的度数均为 6.所对应的非同构的图中有简单图,也有非简单图.82⑦12 个顶点,每个顶点的度数均为 4. 所对应的非同构的图中有简单图,也有非简单图.⑧16个顶点,每个顶点的度数均为3,所对应的非同构的图中有简单图,也有非简单图.⑨24个顶点,每个顶点的度数均为2.所对应的非同构的图中有简单图,也有非简单图.⑩48个顶点,每个顶点的度数均为1,所对应的图是唯一的,即由24个K2构成的简单图.分析由于n阶无向简单图G中,ΔG( )≤n−1,的以①-⑤所对应的图不可能有简单图.⑥-⑨既有简单图,也有非简单图,读者可以画出若干个非同构的图,而⑩只能为简单图.7.6 设G为n阶图,由握手定理可知70=2×35= n d(v)≥3n,∑ 1i=1所以,⎢70⎥n≤=23.⎢3⎥⎣⎦⎢70⎥这里, ⎣x⎦为不大于x的最大整数,例如⎣2⎦=2,⎣2.5⎦=2,=23 .⎢3⎥⎣⎦7.7 由于δ(G)=n−1,说明G 中任何顶点v的度数d(v)≥δ(G)=n−1,可是由于G 为简单图,因而ΔG( )≤n−1,这又使得d(v)≤n−1,于是d(v)=n−1,也就是说,G中每个顶点的度数都是n−1,因而应有ΔG( )≤n−1.于是G为(n−1)阶正则图,即G为n阶完全图Kn.7.8 由G的补图G的定义可知,GUG为Kn,由于n为奇数,所以, Kn中各项顶点的度数n−1为偶数.对于任意的v∈V(G),应有v∈V(G),且dG(v)_d (v)=dK (v)=n−1Gn83其中dG(v)表示v在G中的度数, d (v)表示v在G中的度数.由于n−1为偶G数,所以, dG(v)与d (v)同为奇数或同为偶数,因而若G有r个奇度顶点,则G也G有r个奇度顶点.7.9 由于D'⊆D,所以,m'≤m.而n阶有向简单图中,边数m≤n(n−1),所以,应有n(n−1)=m'≤m≤n(n−1)这就导致m=n(n−1),这说明D为n阶完全图,且D'=D.7.10 图7.6给出了K4的18个非同构的子图,其中有11个生成子图(8-18),其中连通的有6个11,12,13,14,16,17).图7.6中,n,m分别为顶点数和边数.7.11 K4有11个生成子图,在图7.6中,它们分别如图8-18所示.要判断它们之中哪些是自补图,首先要知道同构图的性质,设G1与G2的顶点数和边数.若G1≅G2,则n1=n2且m1=m2.(8)的补图为(14)=K4,它们的边数不同,所以,不可能同构.因而(8)与(14)84均不是自补图类似地,(9)的补图为(13),它们也非同构,因而它们也都不是自补图.(10)与(12)互为补图,它们非同构,因而它们都不是自补图.(15)与(17)互为补图,它们非同构,所以,它们都不是自补图.类似地,(16)与(18)互为补图且非同构,所以,它们也都不是自补图.而(11)与自己的补图同构,所以,(11)是自补图.7.12 3阶有向完全图共有20个非同构的子图,见图7.7所示,其中(5)-(20)为生成子图,生成子图中(8),(13),(16),(19)均为自补图.分析在图7.7所示的生成子图中, (5)与(11)互为补图,(6)与(10)互为补图,(7)与(9)互为补图,(12)与(14)互为补图,(15)与(17)互为补图,(18)与(20)互为补图,以上互为补图的两个图边数均不相同,所以,它们都不是自补图.而(8),(13),(16),(19)4个图都与自己的补图同构,所以,它们都是自补图.7.13 不能.分析在同构的意义下,G1,G2,G3都中K4的子图,而且都是成子图.而K4的两条边的生成子图中,只有两个是非同构的,见图7.6 中(10)与(15)所示.由鸽巢原理可知, G1,G2,G3中至少有两个是同构的,因而它们不可能彼此都非同构.鸽巢原理m只鸽飞进n个鸽巢,其中m≥n,则至少存在一巢飞入至少[m]只n鸽子.这里⎡x⎤表示不小于x的最小整数.例如, ⎡2⎤=2,⎡2.5⎤=3.7.14 G是唯一的,即使G是简单图也不唯一.85分析由握手定理可知2m=3n,又由给的条件得联立议程组⎧2m=3n⎨2n−3=m.⎩解出n=6,m=9.6个顶点,9条边,每个顶点的度数都是3的图有多种非同构的情况,其中有多个非简单图(带平行边或环),有两个非同构的简单图,在图7.8中(1),(2)给出了这两个非同构的简单图.满足条件的非同构的简单图只有图7.8中,(1),(2)所示的图,(1)与(2)所示的图,(1)与(2)是非同构的.注意在(1)中不存在3个彼此相邻的顶点,而在(2)中存在3个彼此相邻的顶点,因而(1)图与(2)图非同构.下面分析满足条件的简单图只有两个是非同构的.首先注意到(1)中与(2)中图都是K6的生成子图,并且还有这样的事实,设G1,G2都是n 阶简单图,则G1≅G2当且仅当G1≅G2,其中G1,G2分别为G1与G2的补图.满足要求的简单图都是6阶9条边的3正则图,因而它们的补图都为6阶6条边的2正则图(即每个顶点度数都是2).而K6的所有生成子图中,6条边2正则的非同构的图只有两个,见图7.8中(3),(4)所示的图,其中(3)为(1)的补图,(4)为(2)的补图,满足要求的非同构的简单图只有两个.但满足要求的非同简单图有多个非同构的,读者可自己画出多个来.7.15 将K6的顶点标定顺序,讨论v1所关联的边.由鸽巢原理(见7.13 题),与v1关联的5条边中至少有3条边颜色相同,不妨设存在3条红色边,见图7.9中(1)所示(用实线表示红色的边)并设它们关联另外3个顶点分别为v2,v4,v6.若v2,v4,v6构成的K3中还有红色边,比如边(v2,v4)为红色,则v1,v2,v4构成的K3为红色K3,见图7.9中(2)所示.若v2,v4,v6构成的K3各边都是蓝色(用虚线表示),则v2,v4,v6构成的K3为蓝色的.867.16 在图7.10 所示的3个图中,(1)为强连通图,(2)为单向连通图,但不是强连通的,(3)是弱连通的,不是单向连通的,更不是强连通的.分析在(1)中任何两个顶点之间都有通路,即任何两个顶点都是相互可达的,因而它是强连能的.(2)中c不可达任何顶点,因而它不是强连通的,但任两个顶点存在一个顶点可达另外一个顶点,所以,它是单向可达的.(3)中a,c互相均不可达,因而它不是单向连通的,更不是强连通的.判断有向图的连通性有下面的两个判别法.1°有向图D是强连通的当且仅当D中存在经过每个顶点至少一次的回路.2°有向图D是单向连通的当且仅当D中存在经过每个顶点至少一次的通路. (1) 中abcda为经过每个顶点一次的回路,所以,它是强连能的.(2)中abdc为经过每个顶点的通路,所以,它是单向连通的,但没有经过每个顶点的回路,所以,它不是强连通的.(3)中无经过每个顶点的回路,也无经过每个顶点的通路,所以,它只能是弱连通的.7.17 G−E的连通分支一定为2,而G−V''的连通分支数是不确定的.分析设E为连通图G的边割集,则G−E的连通分支数p(G−E)=2,不可'''能大于2.否则,比如p(G−E)=3,则G−E由3个小图G,G'',G 组成,且E中边'1 2 3的两个端点分属于两个不同的小图.设E''中的边的两个端点一个在G 中,另一个187在G 中,则E''⊂E',易知p(G−E'')=2,这与E'为边割集矛盾,所以,2p(G−E'')=2.但p(G−V')不是定数,当然它大于等于2,在图7.11中,V'={u,v}为(1)的点割集, p(G−V)=2,其中'G 为(1)中图. V''={v}为(2)中图的点割集,且v为割点, p(G'−V'')=4,其中G为(2)中图.'7.18 解此题,只要求出D的邻接矩阵的前4次幂即可.⎡0 1 1 0⎤⎡1 1 0 1⎤1 0 0 020 1 1 0A=⎢⎥A =⎢⎥⎢0 1 0 1⎥⎢1 0 0 1⎥⎢0 0 0 0⎥⎢0 0 0 1⎥⎣⎦⎣⎦⎡1 1 1 1⎤⎡1 2 1 2⎤3 1 1 0 14 1 1 1 1A =⎢⎥A =⎢⎥⎢0 1 1 1⎥⎢1 1 0 1⎥⎢0 0 0 1⎥⎢0 0 0 1⎥⎣⎦⎣⎦D中长度为4的通路数为A4中元素之和,等于15,其中对角线上元素之和为3,即D中长度为3的回路数为3.v 到v 的长度为4的通路数等于a(4)=2.3434分析用邻接矩阵的幂求有向图D中的通路数和回路数应该注意以下几点:1°这里所谈通路或回路是定义意义下的,不是同构意义下的.比如,不同始点(终点)的回路2°这里的通路或回路不但有初级的、简单的，还有复杂的.例如,v1,v2,v1,v2,v1是一条长为4的复杂回路.3°回路仍然看成是通路的特殊情况.88读者可利用A2,A3,求D中长度为2和3的通路和回路数.7.19 答案A:④.分析G中有Nk个k度顶点,有(n−Nk)个(k+1)度顶点,由握手定理可知n d(v)=k⋅N +(k+1)(n−N )=2m∑ikki=1⇒Nk=n(k+1)−2n .7.20 答案A:②; B:③.分析在图7.12中,图(1)与它的补同构,再没有与图(1)非同构的自补图了,所以非同构的无向的4阶自补图只有1个.图(2)与它的补同构,图(3)与它的补也同构,而图(2)与图(3)不同构,再没有与(2),(3)非同构的自补图了,所以,非同械的5阶自补图有7.21 答案A:④; B:③; C:④; D:①.分析(1)中存在经过每个顶点的回路,如adcba.(2)中存在经过每个顶点.的通路,但无回路.(3)中无经过每个顶点至少一次的通路,其实,b,d两个顶点互不可达.(4)中有经过每个顶点至少一次的通路,但无回路,aedcbd为经过每个顶点的通路.(5)中存在经过每个顶点至少一次的回路,如aedbcdba(6)中也存在经.过每个顶点的回路,如baebdcb.由7.16 题可知,(1),(5),(6)是强连通的,(1),(2),(4),(5),(6)是单向连能的,(2),(4)是非强连通的单向连通图.注意,强连通图必为单向连通图.6 个图中,只有(3)既不是强连通的,也不是连通的,它只是弱连通图.在(3)中,从a到b无通路,所以d,<a,b>=∞,而b到a有唯一的通路ba,所以d<b,a>=1.7.22 答案A:①; B:⑥㈩C:②; D:④.89分析用Dijkstra标号法,将计算机结果列在表7.1中.表中第x列最后标定y/Z表示b到x的最短路径的权为y,且在b到x的最短路径上,Z邻接到x, 即x的前驱元为Z.由表7.1可知,a的前驱元为c(即a邻接到c),c的前驱元为b,所以,b到a的最短路径为bca,其权为4.类似地计论可知,b到c的最短路径为bc,其权为1.b到d 的最短路径为bcegd,其权为9.b到e 的最短路径为bce,其权为7.表7.1顶点a b c d e f gk0 7 1∞ ∞ ∞ ∞1 4 ∞ 5 4∞1/b2 12 5 4∞4/c3 12 5 4/c114 12 5/c75 97/e4 01 95 4 77.23 答案A:⑧; B:⑩C:③; D:③和④.分析按求最早、最晚完成时间的公式，先求各顶点的最早完成时间，再求最晚完成时间，最后求缓冲时间。
离散数学(第五版)清华大学出版社第4章习题解答
离散数学（第五版）清华大学出版社第4章习题解答4．1 A：⑤；B：③；C：①；D：⑧；E：⑩4．2 A：②；B：③；C：⑤；D：⑩；E：⑦4．3 A：②；B：⑦；C：⑤；D：⑧；E：④分析题4.1-4.3 都涉及到关系的表示。
先根据题意将关系表示成集合表达式，然后再进行相应的计算或解答，例如，题4.1中的Is ={<1,1>,<2,2>}, Es ={<1,1>,<1,2>,<2,1>,<2,2>}Is ={<1,1>,<1,2>,<2,2>};而题4.2中的R={<1,1>,<1,4>,<2,1>,<3,4>,<4,1>}.为得到题4.3中的R须求解方程x+3y=12，最终得到R={<3,3>,<6,2>,<9,1>}.求RoR有三种方法，即集合表达式、关系矩阵和关系图的主法。
下面由题4.2的关系分别加以说明。
1°集合表达式法将domR,domRUran,ranR的元素列出来，如图4.3所示。
然后检查R的每个有序对，若<x,y>∈R，则从domR中的x到ranR中的y画一个箭头。
若danR中的x 经过2步有向路径到达ranR中的y，则<x,y>∈RoR。
由图4.3可知RoR={<1,1>,<1,4><4,1>,<4,4>,<2,1>,<2,4>,<3,1>}.如果求FoG，则将对应于G中的有序对的箭头画在左边，而将对应于F中的有序对的箭头画在右边。
对应的三个集合分别为domG,ranUdomF,ranF，然后，同样地寻找domG到ranF的2步长的有向路径即可。
2° 矩阵方法若M是R的关系矩阵，则RoR的关系矩阵就是M·M，也可记作M，在计算2 48乘积时的相加不是普通加法，而是逻辑加，即0+0=0，0+1=1+0=1+1=1，根据已知条件得⎡1 0 0 1⎤⎡1 0 0 1⎤⎡1 0 0 1⎤⎢1 0 0 0⎥⎢1 0 0 0⎥⎢1 0 0 1⎥2 ⎢⎥⎢⎥⎢⎥M =⎢⎥⋅⎢⎥=⎢⎥⎢0 0 0 1⎥⎢0 0 0 1⎥⎢1 0 0 0⎥⎣1 0 0 0⎦⎣1 0 0 0⎦⎣1 0 0 1⎦M2中含有7个1，说明RoR中含有7个有序对。
离散数学 耿素云第5版11 2
00 1
1
0
0
01 1
1
0
0
10 0
0
1
0
11 0
1
0
0
28
例 C= (pq) r 的真值表
pq r
pq
r
000
0
1
001
0
0
010
1
1
011
1
0
100
1
1
101
1
0
110
1
1
111
1
0
(pq)r 1 1 1 0 1 0 1 0
29
公式的类型
定义 设A为一个命题公式 (1) 若A无成假赋值，则称A为重言式(也称永真式) (2) 若A无成真赋值，则称A为矛盾式(也称永假式) (3) 若A不是矛盾式，则称A为可满足式
(a) A=B, B是n层公式； (b) A=BC, 其中B,C分别为i层和j层公式，且
n=max(i, j)； (c) A=BC, 其中B,C的层次及n同(b)； (d) A=BC, 其中B,C的层次及n同(b)； (e) A=BC, 其中B,C的层次及n同(b).
24
合式公式的层次 (
1层
pq
2层
(pq)r
3层
((pq) r)(rs)
4层
25
公式的赋值
定义 给公式A中的命题变项 p1, p2, … , pn指定 一组真值称为对A的一个赋值或解释
成真赋值: 使公式为真的赋值
成假赋值: 使公式为假的赋值
说明：
赋值=12…n之间不加标点符号，i=0或1. A中仅出现 p1, p2, …, pn，给A赋值12…n是 指 p1=1, p2=2, …, pn=n A中仅出现 p, q, r, …, 给A赋值123…是指 p=1,q=2 , r=3 …
离散数学(第5版)耿素云9.2省公开课一等奖全国示范课微课金奖PPT课件
5,
1 1
10
2,
2 0
11
3,
2 2
01
第8页8
积代数性质
设 V1 = <S1,o>和 V2 = <S2,>是代数系统，其中 o 和 是二元运算. V1 与 V2 积代数是 V=<S1S2,∙> (1) 若 o 和 运算是可交换，那么∙ 运算也是可交换 (2) 若 o 和 运算是可结合，那么∙ 运算也是可结合 (3) 若 o 和 运算是幂等，那么∙ 运算也是幂等 (4) 若 o 和 运算分别含有单位元 e1 和 e2，那么∙ 运算
实例 N是<Z,+> 和<Z,+,0>子代数. N{0}是<Z,+> 子代数，但不是<Z,＋,0>子代数
说明： 子代数和原代数是同种代数系统 对于任何代数系统 V ，其子代数一定存在.
第6页6
关于子代数术语
最大子代数 就是V 本身. 假如V 中全部代数常数组 成集合 B，且 B 对V 中全部运算封闭，则 B 就组 成了V 最小子代数. 最大和最小子代数称为V 平凡 子代数. 若 B 是 S 真子集，则 B 组成子代数称为V 真子代数 . 例2 设V=<Z,+,0>，令 nZ = { nz | z∈Z}，n 为自然 数，则 nZ 是 V 子代数, 当 n = 1 和 0 时，nZ 是 V 平凡子代数，其它都是 V 非平凡真子代数.
第111页1
例题
例1 V=<R*,>, 判断下面哪些函数是V 自同态？ (1) f(x)=|x| (2) f(x)=2x (3) f(x)=x2 (4) f(x)=1/x (5) f(x)= x (6) f(x)=x+1
离散数学第五版pdf电子版
离散数学第五版pdf电子版
离散数学是计算机科学、数学、电子工程等领域中的一门核心课程。
该课程涵盖了许多计算机科学的基本概念，包括集合、关系、图论、
逻辑等。
离散数学被视为计算机科学最难的课程之一，因此需要非常
扎实的基础和丰富的阅读材料来解决它。
以下是离散数学第五版pdf电子版分成的七个列表和相关信息：
1.集合和关系
- 集合的基本概念和运算类别
- 二元关系和它们的性质
- 等价关系和其操作性质
2.图论
- 无向图和有向图
- 图的遍历和连通性
- 图的颜色问题和上色算法
3.算法和计算复杂性
- 算法的基本概念和性质
- NP完全性和近似算法
- 排序算法和适合问题的算法
4.逻辑和证明
- 命题逻辑的基本概念和符号
- 命题逻辑的语法和语义
- 合法证明的构造和代码演示
5.数论和代数
- 正整数的基本性质
- 素数的性质和算法
- 同余和群
6.自动机和语言
- 正则表达式和有限状态自动机
- 上下文无关文法和推导
- 图灵机和计算能力
7.加密和编码
- 散列函数和桶排序
- 公钥和私钥的RSA算法
- 编码和解码的基本概念
离散数学第五版.pdf电子版是一本非常优秀的学习资料，它清晰地阐述了离散数学的主要概念和技术，并附有大量习题和例题，对于计算机科学等相关专业的学生和从业人员都有很大的帮助。
离散数学导论(第5版)-第四篇 图 论
第四篇 图 论
•
图论用‘结点’表示事物，而用‘边’表示事物间
联系，并用‘结点’与‘边’所构成的图用以研究客观世
界。为便于计算，建立了图的矩阵表示，这样可以将图论
研究与计算相结合，从而使图论研究具有很大的实用性。
•
（8）l 通路计算：
l
• 数，Bij表B＝示Avi的，回B路＝数（。bij）n×n，Bij表示从vi到vj长度为 的通路
•
（9）可达性计算：
• Pij表示从P＝vi到A（vj是＋否）可A（达2）（（0＋不）可…达…，（1＋可）达A）（。n），P＝（Pij）n × n，
•
（12）连通性计算：
•
可达性矩阵除对角线元素外均为1
回（通）路称欧拉回（通）路，具此回路的图称欧拉
图。
•
③ 欧拉图与欧拉通路：欧拉图每个结点次
数为偶数。
•
由vi到vj欧拉通路vi，vj结点次数为奇数，其
它结点次数为偶数。
12
3
•
（3）几种特殊的图
•
① 零图：无边的图。
•
② 平凡图：仅有一个结点所组成的图。
•
③ 完全图：各结点间均有边相联的图。
•
④ 补 图 ： G ＝ <V ， E> ， G ＝ <V ， E> 如 有 ＝ <V ，
E∪E>为完全图且E∩E＝，则称G为G的补图。
•
⑤ 简单图与多重图：包括多重边的图称为多重图，
•
• 强连通：有向图中任何两结点间相互可达则
称强连通。
•
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
离散数学（第五版）清华大学出版社第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（5）p↔q（6）p↔¬q（7）¬p→q可编辑范本（8）¬p↔¬q以上命题中，（1），（3），（4），（5），（8）为真命题，其余均为假命题。
分析本题要求读者记住p→q及p↔q的真值情况。
p→q为假当且仅当p为真,q为假,而p↔q为真当且仅当p与q真值相同.由于p与q都是真命题，在4个蕴含式中，只有（2）p→r，其中，p同（1），r：明天为3号。
在这里，当p为真时，r一定为假，p→r为假，当p为假时，无论r为真还是为假，p→r为真。
21．5（1）p∧q，其中，p：2是偶数，q：2是素数。
此命题为真命题。
（2）p∧q，其中，p：小王聪明，q：小王用功（3）p∧q，其中，p：天气冷，q：老王来了（4）p∧q，其中，p：他吃饭，q：他看电视（5）p∧q，其中，p：天下大雨，q：他乘公共汽车上班（6）p→q，其中，p，q的含义同（5）（7）p→q，其中，p，q的含义同（5）（8）¬p↔¬q，其中，p：经一事，q：长一智分析1°在前4个复合命题中，都使用了合取联结词，都符号化为合取式，这正说明合取联结词在使用时是很灵活的。
在符号化时，应该注意，不要将联结词部分放入简单命题中。
例如，在（2）中，不能这样写简单命题：p：小王不但聪明，q：小王而且用功。
在（4）中不能这样写：p：他一边吃饭，q：他一边看电视。
2°后4个复合命题中，都使用了蕴含联结词，符号化为蕴含式，在这里，可编辑范本关键问题是要分清蕴含式的前件和后件。
p→q所表达的基本逻辑关系为，p是q的充公条件，或者说q是p的必要条件，这种逻辑关系在叙述上也是很灵活的。
例如，“因为p，所以q”，“只要p，就q”“p仅当q”“只有q才p”“除非q，否则¬p”“没有q，就没有p”等都表达了q是p的必要条件，因而都符号化为p→q或¬p↔¬q的蕴含式。
在（5）中，q是p的必要条件，因而符号化为p→q，而在（6）（7）中，p成了q的必要条件，因而符号化为q→p。
在（8）中，虽然没有出现联结词，但因两个命题的因果关系可知，应该符号化为蕴含式。
1．6（1），（2）的真值为0，（3），（4）的真值为1。
分析1°（1）中公式含3个命题变项，因而它应该有23=8个赋值：000，3001，…，111题中指派p, q为0, r为1，于是就是考查001是该公式p∧(q∧r)的成真赋值，还是成假赋值，易知001是它的成假赋值。
2°在公式（2），（3），（4）中均含4个命题就项，因而共有24=16个赋值：0000，0001，…，1111。
现在考查0011是它的成假赋值。
1.7（1），（2），（4），（9）均为重言式，（3），（7）为矛盾式，（5），（6），（8），（10）为非重言式的可满足式。
一般说来，可用真值表法、等值演算法、主析取范式（主合取范式）法等判断公式的类型。
可编辑范本（1）对（1）采用两种方法判断它是重言式。
真值表法表1.2给出了（1）中公式的真值表，由于真值表的最后一列全为1，所以，（1）为重言式。
p∨q∨rp→(p∨q∨r)p q r0 0 0 0 10 0 1 1 10 1 0 1 10 1 1 1 11 0 0 1 11 0 1 1 11 1 0 1 11 1 1 1 1等值演算法p→(p∨q∨r)⇔¬p∨(p∨p∨r)（蕴含等值式）⇔(¬p∨p)∨p∨r（结合律）⇔1∨q∨r（排中律）⇔1（零律）4由最后一步可知，（1）为重言式。
可编辑范本（2）用等值演算法判（2）为重言式。
(p→¬p)→¬p⇔(¬p∨¬)→¬p（蕴含等值式）⇔¬p∨¬p（等幂律）⇔p∨¬p（蕴含等值式）⇔1（排中律）（3）用等值演算法判（3）为矛盾式¬(p→q)∧q⇔¬(p¬∨q)∧q（蕴含等值式）⇔p∨¬q∧q（xx·摩根xx）⇔p∨(¬q∧q)（结合律）⇔p∧0（矛盾律）⇔0（零律）由最后一步可知，（3）为矛盾式。
（5）用两种方法判（5）为非重言式的可满足式。
真值表法p q ¬p ¬p→qq→¬p(¬p→q)→(q→¬p)0 0 1 0 1 10 1 1 1 1 11 0 0 1 1 11 1 0 1 0 0由表1.3可知（5）为非重言式的可满足式。
主xxxx可编辑范本(¬p→q)→(q→¬p)⇔(p∨q)→(¬q∨¬p)5⇔¬(p∨q)∨(¬q∨¬p)⇔(¬p∨¬q)∨¬q∨¬p⇔¬p∨¬q⇔(¬p∧1)∨(1∧¬q)⇔(¬p∧(¬q∨q)∨((¬p∨p)∧¬q)⇔(¬p∧¬q)∨(¬p∨q)∨(¬p∧¬q)∨(p∨¬q)⇔(¬p∧¬q)∨(¬p∨q)∨(¬p∧¬q)⇔m0∨m1∨m2.在（3）的主析取范式中不含全部（4个）极小项，所以（3）为非重言式的可满足式，请读者在以上演算每一步的后面，填上所用基本的等值式。
其余各式的类型，请读者自己验证。
分析1真值表法判断公式的类别是万能。
公式A为重言式当且仅当A的o 真值表的最后一旬全为1；A为矛盾式当且仅当A的真值表的最后一列全为0；A为非重言式的可满足式当且仅当A的真值表最后一列至少有一个1，又至少有一个0。
真值表法不易出错，但当命题变项较多时，真值表的行数较多。
2o用等值演算法判断重言式与矛盾式比较方例，A为重言式当且仅当A与1等值；A为矛盾式当且仅当A与0等值，当A为非重言式的可满足式时，经过等值演算可将A化简，然后用观察法找到一个成真赋值，再找到一个成假赋值，就可判断A为非重言式的可满足式了。
例如，对（6）用等值演算判断它的类型。
可编辑范本(p∧¬p)↔q⇔0↔q（矛盾律）⇔(p→q)∧(q→0)（等价等值式）⇔(¬0∨q)∧(¬q∨0)（蕴含等值式）⇔(1∨q)∧¬q（同一律）⇔1∧¬q（零律）6⇔¬q（同一律）到最后一步已将公式化得很简单。
由此可知，无论p取0或1值，只要q 取0值，原公式取值为1，即00或10都为原公式的成真赋值，而01，11为成假赋值，于是公式为非重言式的可满足式。
用主析取范式判断公式的类型也是万能的。
A为重言式当且仅当A的主析取范式含2n（n为A中所含命题变项的个数）个极小项；A为矛盾式当且仅当A 的主析取范式中不含任何极小项，记它的主析取范式为0；A为非重言式的可满足式当且仅当A的主析取范式中含极小项，但不是完全的。
当命题变项较多时，用主析取范式法判公式的类型，运算量是很大的。
用主合取范式判断公式的类型也是万能的。
A为重言式当且仅当A的主合取范式中不含任何极大项，此时记A的主合取范式为1；A为矛盾式当且仅当A 的主合取范式含2n个极大项（n为A中含的命题变项的个数）；A为非重言式的可满足式当且仅当A的主析取范式中含含极大项，但不是全部的。
1.8（1）从左边开始演算(p∧q)∨(p∧¬q)可编辑范本⇔p∧(q∨¬q)（分配律）⇔p∧1（排中律）⇔p.（同一律）（2）从右边开始演算p→(q∧r)⇔¬p∨(q∧r)（蕴含等值式）⇔(¬p∨q)∧(¬p∨r)（分配律）⇔(p→q)∧(p→r).（蕴含等值式）（3）从左边开始演算¬(p↔q)7⇔((p→q)∧(q→p))⇔¬((¬p∨q)∨(¬p∨q))⇔¬((¬p∧q)∨(¬p∧)∨(q∧¬q)∨(p∧q))⇔¬((¬p∧¬q)∨(p∧q))⇔(p∨q)∧¬(p∧q).请读者填上每步所用的基本等值式。