离散数学——范式（2）主范式

概览

• 极大项和极小项

• 主范式定义

• 求解定理

• 真值表技术

• 主范式应用

---

 

极大项和极小项

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. 范式相互转化

 此结论可以参考德摩根律

主范式的应用

主范式可用于了解公式的真值情况，进行公式类型的判定以及等价关系的判定。

• 如果主析取范式包含所有的极小项，则该公式为永真公式；
• 如果主合取范式包含所有的极大项，则该公式为永假公式；
• 若两个公式具有相同的主析取范式或主合取范式，则两公式等价。