2019第六章命题逻辑.pptVIP

第六章 命题逻辑 第二部分：6.3 范式 6.3 命题与联结词 6.3.1 析取范式与合取范式 6.3.1.1 析取范式和合取范式的定义 6.3.1.2 范式的求法：等价演算法 6.3.2 主析取范式和主合取范式 6.2.2.1 极小项与极大项 6.2.2.2 主析取范式和主合取范式的定义 6.2.2.3 主范式的求法 等价演算法 真值表法 6.2.3.4 主范式的用途 范式的引入 同一命题公式可以有多种相互等价的表达形式，例如： P?Q ? ? P∨Q ? ? (P∧? Q) 方便研究工作，需要将命题公式规范化，即制定范式。 [定义] 基本合取项(式) 单个命题变元、单个命题变元的否定或者若干个命题变元或其否定的合取构成的命题公式称为基本合取项。 如 P， ?Q， P∧Q， ? P∧Q∧R [定义] 基本析取项(式) 单个命题变元、单个命题变元的否定或者若干个命题变元或其否定的析取构成的命题公式称为基本析取项。 如P， ?Q， P ∨ Q， ? P∨Q∨ ? R 析取范式、合取范式 [定义]析取范式 一个命题公式A称为析取范式，当且仅当它具有形式如 A1∨A2∨···∨An (n≥1) 其中A1，A2，···，An是基本合取项。 例如：(┓P∧Q) ∨ (P∧Q∧R) ∨ ┓R [定义]合取范式 一个命题公式称为合取范式，当且仅当它具有形式 B1∧B2∧···∧Bn (n≥1) 其中B1，B2，···，Bn是基本析取项。 例如：(P∨┓Q)∧(Q∨R)∧(┓P∨┓Q∨R) 析取与合取范式定理 定理：任意一个命题公式都可化为析取(合取)范式。 证明思路： 包含→，?，?的命题公式可化为只有?，┐和?的命题公式。 括号前的┐符号可通过德.摩根定律放到每个命题变元前面。 利用分配率：P ? （Q ? R）?（P ? Q） ? （P ? R）可得析取范式。 6.3 命题与联结词 6.3.1 析取范式与合取范式 6.3.1.1 析取范式和合取范式的定义 6.3.1.2 范式的求法：命题演算法 6.3.2 主析取范式和主合取范式 6.2.2.1 极小项与极大项 6.2.2.2 主析取范式和主合取范式的定义 6.2.2.3 主范式的求法 等价演算法 真值表法 6.2.3.4 主范式的用途 范式的求法——命题(等价)演算法 利用常用的逻辑等价公式将命题公式转换成符合析取范式的形式。 步骤： （1）将命题公式中的联结词都转化成∧、 ∨及┓ 。 （2）利用德?摩根律，将┓符号移到各个命题变元的前面。 （3）利用分配律、结合律将公式转化为合取范式或析取范式。 （4）（添加） （4.1）若转化为析取范式，则删除永假的基本合取项，重复的基本合取项只保留一个。 （4.2）若转化为合取范式，则删除永真的基本析取项，重复的基本析取项只保留一个。 重要的逻辑等价公式 P?Q ??P∨Q P?Q ? (P∧Q)∨(┐P∧┐Q) ? (P ∨┐Q) ∧ (┐P∨Q) P▽Q ? (P∧┐Q)∨(Q∧┐P) ? (P ∨ Q) ∧ (┐P∨┐Q) 等价演算法：求析取范式举例 例1：求? (P ∨Q) ? (P ∧Q)的析取范式。 解: ∵ (A ? B) ? (A ∧B) ∨ (?A∧ ?B) ∴ 原式 ? (? (P∨Q) ∧ (P∧Q) ) ∨((P∨Q) ∧ ? (P ∧Q) ) /* 消去 ? */ ?(? P ∧ ? Q∧ P ∧Q) ∨ ( (P ∨Q) ∧ (? P ∨ ? Q) ) /* 德?摩根律 */ ?(? P ∧ ? Q∧ P ∧Q) ∨ (P ∧ ? P)∨ (Q ∧ ?P) ∨ (P ∧ ? Q) ∨ (Q ∧ ?Q) /*分配律，析取范式*/ ? (?P ∧ Q) ∨ (P ∧ ?Q) /*消去重复项和值为0的项*/ 等价演算法：求合取范式举例 例2：求(P∧(Q?R))?S的合取范式。 解: (P∧(Q ? R)) ? S ? ?