目录
一、利用真值表求主析取范式、主合取范式
用真值表求出公式的成真赋值和成假赋值,主析取范式:成真赋值用m一一析取组合;主合取范式:成假赋值用M一一合取组合
1.例题
二、推理证明
1.推理规则
2.例题
三、符号化命题
注意:∃后跟∧;∀后跟→
四、有穷集的计数
1.包含互斥原理
2.例题
1.文氏图法
2.包含互斥原理法
五、关系的闭包
1.三种闭包
如果R = {1,2,3},那么R的恒等关系 = {<1,1><2,2><3,3>}
如果R = {<2,3><4,1><6,7>},那么R^-1 = {<3,2><1,4><7,6>}
2.Warshall算法
设M(R的关系矩阵)
当i=1时,看第1列为1的元素所在的行,将第一行加到这些行。
当i=2时,看第2列为1的元素所在的行,将第二行加到这些行。
当i=3时,看第3列为1的元素所在的行,将第三行加到这些行。
当i=4时,看第4列为1的元素所在的行,将第四行加到这些行。
上述加为逻辑加,如下,可以用真(1)假(0)析取来理解:
0+0=0, 0∨0=0
0+1=1, 0∨1=1
1+0=1, 1∨0=1
1+1=1, 1∨1=1
3.例题
六、等价关系与划分
1.等价关系定义
也就是说,R在A上满足自反性、对称性、传递性。
2.划分定义
3.例题
七、最小生成树的应用题
最小生成树画法:每次取权值最小的边,并且不构成回路,直到画出所有顶点。
八、极大项与极小项
九、一阶逻辑公式及其解释
以(1)(2)(3)(5)(7)(8)为例
十、笛卡尔积
十一、图的相关概念
1.顶点数称作图的阶,n个顶点的图称为n阶图。
2.一条边也没有的图称为零图,n 阶零图记作 Nn。一阶零图 N1 称为平凡图,平凡图只有一个
顶点,没有边。
3.若两个顶点之间有一条有向边,则称这两个顶点相邻。若两条边中一条边的终点是另一条边的始点,则称这两条边相邻。
4.在无向图中,关联一对顶点的无向边如果多于1条,则称这些边为平行边,平行边的条数称为重数。在有向图中,关联一对顶点的有向边如果多于1条,并且这些边的始点与终点相同(也就是它们的的方向相同),称这些边为平行边。含平行边的图称为多重图,既不含平行边也不包含自环的图称为简单图。
5.称度数为1的顶点为悬挂顶点,与它关联的边称为悬挂边。度为偶数(奇数)的顶点称为偶度(奇度)顶点。
6.n阶无向完全图、n阶有向完全图的边数为n(n-1)/2、n(n-1)。
十二、握手定理
8.设无向图中有6条边,3度与5度顶点各一个,其余都是2度顶点,问:该图有几个顶点?
十三、欧拉图与半欧拉图
十四、哈密顿图与半哈密顿图
十五、关系的运算
十六、量词辖域收缩与扩展
十七、关系的特点
十八、幂集
定义:原集合中所有的子集(包括全集和空集)构成的集族。
若原集合中有n个元素,则幂集的元素个数为2^n。
顺带一提,若原集合中有n个元素,那么在原集合上的二元关系有2^n^2。
参考书目
屈婉玲,耿素云,张立昂. 离散数学(第2版). 高等教育出版社. 2015