离散数学学习笔记——第二讲——命题逻辑（第二部分）（2.8主范式）

 

1. 引入主范式的原因（范式具有不唯一性，主范式（主析取范式和主合取范式）则具有唯一性）

极小项、极大项的定义

 

2. 极小项的性质

 

3. 极大项的性质

 

4. 极小项和极大项的编码；可根据编码给出相应的极小项或极大项

 

5. 极小项和极大项的性质

 

6. 主析取范式和主合取范式的定义

 

7. 主范式求解定理

 

8. 主范式求解方法一——公式转换法

 

9. 主范式求解方法一——真值表技术

 

10. 范式的相互转换

 

11. 主范式的应用

 

12. 主范式的应用示例