离散数学--命题逻辑等值演算

目录

• 一、等值式
• 1、基本等值式
• 2、等值演算与置换规则
• 3、等值演算的应用举例
• 二、析取范式与合取范式
• 1、基本概念
• 2、范式的性质
• 3、极大项与极小项
• 4、主析取范式与主合取范式
• 5、求公式主范式的步骤
• 三、主范式的应用
• ①、求公式的成真赋值和成假赋值
• ②、判断公式的类型
• ③、判断两个公式是否等值

一、等值式

1、基本等值式

2、等值演算与置换规则

3、等值演算的应用举例

二、析取范式与合取范式

1、基本概念

2、范式的性质

例题：

3、极大项与极小项

例：

4、主析取范式与主合取范式

5、求公式主范式的步骤

例题 ：

三、主范式的应用

①、求公式的成真赋值和成假赋值

②、判断公式的类型

③、判断两个公式是否等值