离散数学03(精品·公开课件).ppt

第一章 命题逻辑 知识点： 1.4 范 式 一、合取范式 1、基本和 2、合取范式 3、主合取范式 二、析取范式 1、基本积 2、析取范式 3、主析取范式 三、主范式之间的关系 1、最大项与最小项之间的关系 2、主范式之间的关系 本节习题 例1.4.7 用真值表的方法求解例1.4.6。 原式 含有 n 个命题变元的最大项和最小项之间存在下列关系： 若已知公式 A 的主析取范式为 则它的主合取范式为 * * 1、命题的符号化； 2、合式公式； 3、公式的分类及永真公式； 4、合式公式的范式； 5、命题逻辑的推理理论。 文字的含义： 命题变元和命题变元的否定称为文字，并称命题变元为正文字，命题变元的否定为反文字。 例如： 等都是文字。 （1）基本和的定义： 基本和的归纳定义是： ① 文字是基本和； ② 若 A, B 是基本和，则 也是基本和。 例如： 等都是基本和。 基本和的一般形式为： 其中， 为 0 或 1。 定理1.4.1 一个基本和是永真式，当且仅当它同时含 有某命题变元 及其否定 。 （3）基本和的性质： （2）基本和的一般形式： 合取范式的归纳定义如下： ① 基本和是合取范式； ② 若 A 和 B 是合取范式，则 也是合取范式。 例如： （1）合取范式的定义： （定义1.4.3） 等都是合取范式。 从上面的定义和例子可以看出：合取范式是和之积的形式。 设 B 是合取范式，A 是合式公式。若 ，则称 B 是 A 的合取范式。 （2）合取范式的恒等定义： （定义1.4.4） （3）合取范式的计算： ① 消去联结词 ；（E14、E15） ② 将否定词 移至命题变元前，并消去双重否定；（E10、E11、E1） ③ 利用分配律、结合律将公式化为合取范式。（E6 ~ E9） 例1.4.1 求 [解] 的合取范式。 蕴含等值式E14 等价等值式E15 蕴含等值式E14 双重否定律E1 德.摩根定律E10 分配律E8 例 可见：合取范式的表达式不唯一。 n 个命题变元P1，P2，…，Pn的最大项是 （其中 bi 取 0 或 1）。 （1）最大项的定义： （定义1.4.5） 可见： ① 在最大项中，都会出现 ，且只出现一次。 ② n 个命题变元最多可以构成 2n 个不同的最大项。 对于最大项 记该最大项为 。 最大项为假的概念： 有且仅有一 个解释使其为假，即 (其中 ) （2）主合取范式的定义： （定义1.4.6） 主合取范式的归纳定义是： ① 最大项是主合取范式； ② 若 A 和 B 是主合取范式，则 也是主合取范式。 设 B 是主合取范式，A 是合式公式。若 ，则称 B 是 A 的主合取范式。 （3）主合取范式的恒等定义： （定义1.4.7） 逻辑恒等变换方法的求解步骤： ① 先求合取范式； ② 去掉合取范式中永真的基本和； ③ 合并相同的文字和基本和； ④ 对基本和中补入未出现的命题变元，然后展开公式，化简直至得到主合取范式。 求主合取范式可用两种方法，即：逻辑恒等变换的方法和真值表的方法。 （4）主合取范式的计算： 例1.4.2 求 的主合取范式。 原式 补项 例1.4.3 用真值表的方法求解例1.4.2。 原式 例1.4.4 通过求主合取范式，证明： （1）基本积的定义： 基本积的归纳定义是： ① 文字是基本积； ② 若 A, B 是基本积，则 也是基本积。 例如： 等都是基本积。 基本积的一般形式为： 其中， 为 0 或 1。 定理1.4.2 一个基本积是永假式，当且仅当它同时含有某一命题变元及其否定。 （3）基本积的性质： （2）基本积的一般形式： 析取范式的归纳定义如下： ① 基本积是析取范式； ② 若 A 和 B 是析取范式，则