第二部分定稿学习课件.pptVIP

第二章 命题逻辑等值演算 主要内容： 一、等值式与基本等值式 二、等值演算与置换规则 三、析取范式与合取范式，主析取范式与主合取范式 四、联结词完备集 是第一章抽象延续； 是后续各章的先行准备。 2、定理2.1 （1）一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定式。 （2）一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定式。 求给定公式范式步骤： 1、消去联结词→、?。 2、用双重否定律消去双重否定符，用德摩根定理内移否定符。 3、使用分配律：求析取范式时使用∧对∨的分配律，求合取范式时使用∨对∧的分配律。 解 (Ｐ→Ｑ)?R ((P ∧ ?Q) ∨R) ∧(? P∨ Q∨ ? R ） (P ∧ ? Q ∧ ? P) ∨ (P ∧ ? Q ∧ Q) ∨ (P ∧ ? Q ∧ ? R) ∨ (R ∧ ? P) ∨ (R ∧Q） ∨（ R ∧ ? R） (P ∧ ? Q ∧ ? R) ∨ (? P ∧R) ∨ (Q ∧R） 含3个简单合取式的析取范式 极小项、极大项表示： 每个极小项都有且仅有一个成真赋值。若极小项的成真赋值所对应的二进制数等于十进制数i,就将这个极小项记做 每个极大项都有且仅有一个成假赋值。若极大项的成假赋值所对应的二进制数等于十进制数i,就将这个极大项记做 * 7、主析取（合取）范式的用途 例8 判断