离散数学 第5讲

    离散数学 第5讲

第二章 命题逻辑等值演算
等值演算法求解主析取范式方法和步骤：（1）化为析取范式A；（2）对A中简单合取项补入没有出现命题变元，即合取上（P ∨  P ）式，然后应用分配律展开；（3） 将析取式A中重复出现合取项和相同变元合并；（4）除去析取范式中全部永假合取项；