2.命题逻辑等值演算

一、公式类型：
1.重言式
2.矛盾式
3.可满足式
二、判断公式类型的方法：
1.真值表法
2.等值演算法（核心在于）


用等值演算法证明两个式子是等值的

析取范式、合取范式


可见：一个公式的析取范式与合取范式是不唯一的
主合取范式

主析取范式


求主合取范式、主析取范式
一、真值表法

二、等值演算法


联结词的完备集