概览
-
极大项和极小项
-
主范式定义
-
求解定理
-
真值表技术
-
主范式应用
极大项和极小项
1.主范式的引用
因为范式的不唯一性,我们对构成范式的子句和短语进一步规划,形成主析取范式和主合取范式。
2.极大项和极小项的定义
每个命题变元及其否定不同时出现,至多出现出现一次
若有n个命题变元,则应有2的n次方个不同的极小项和2的n次方个不同的极大项
3.极小项的性质
没有两个不同的极小项是等价的,每个极小项只有一组解释使其为真,极小项的编码就是使极小项为真的一组解释。
极小项中命题变元与1对应,其否定与0对应
m是表示极小项的表示,下标通常用十进制表示
4.极大值的性质
没有两个极大项是等价的,每个几大箱只有一组解释使其为假,极大项和编码就是使极大项为假的一组解释。
极大值中命题变元与0对应,其否定与1对应
M是极大项的表示
5.极小项和极大项的编码与性质
例:
m等于M的否定(m与M下标相同)
M等于m的否定 (德摩根律)
所有的极小项中只有一个解释为真,所有极小项的析取结果就为真
所有的极大项中只有一个解释为假,所有极大项的合取结果就为假
主析取范式和主合取范式
1.定义
2.主范式求解定理
不能出现重复的命题变元,也不能缺少命题变元,需要使所有的短语或子句都是标准的极小项和极大项
3.范式求解方法
(1)公式转换法
步骤解析①消去蕴含关系
②运用逻辑等价公式求出析取范式
③补充缺少的命题变元
④按大小排序最终得到主析取范式
步骤解析①消去蕴含关系
②运用分配率将短语都转化成子句
③化成合取范式
④补充缺少的命题变元
⑤进一步化简
⑥由小到大排序最终得到主合取范式
真值表技术
1.定义
利用真值表技术求主析取范式和主合取范式的简要方法:
(1).列出真值表,选出公式的真值结果为真的所有的行,在这样的每一行中,找到其每一个解释所对应的极小项,将这些极小项进行析取即可得到相应的主析取范式。
(2).列出真值表,选出公式的真值结果为假的所有的行,在这样的每一行中,找到其每一个解释所对应的极大项,将这些极大项进行合取即可得到相应的主合取范式。
从真值表按所给的算法求出主范式的方法,称为真值表技术。
例:
2. 范式相互转化
此结论可以参考德摩根律
主范式的应用
主范式可用于了解公式的真值情况,进行公式类型的判定以及等价关系的判定。
- 如果主析取范式包含所有的极小项,则该公式为永真公式;
- 如果主合取范式包含所有的极大项,则该公式为永假公式;
- 若两个公式具有相同的主析取范式或主合取范式,则两公式等价。