x本科数理逻辑-命题3-10.pptVIP

3. 命题公式的范式 1）文字：命题变项及其否定统称作文字． 2）简单析取式：仅由有限个文字构成的析取式 3）简单合取式：仅由有限个文字构成的合取式 它们均表示不统一 4) 简单析取式和简单合取式的性质： 9）与公式等值的析取范式和合取范式表示是不唯一的 例 ┑p→ ┑(p →q) ? p ∨ ┑(┑p ∨ q) ? p ∨ （p ∧ ┑q ） 析取范式 ? （p ∧（q ∨┑q））∨ （p ∧ ┑q） ? (p ∧q) ∨ (p ∧┑q) 析取范式 ? p 析取范式 ? (p ∨ p) ∧ ( p ∨┑q） ? p ∧ ( p ∨┑q） 合取范式 ? ( p ∨(q ∧┑q) ) ∧ ( p ∨┑q） ? ( p∨q ) ∧ (p ∨┑q) 合取范式 ? p 合取范式 再如 ┑p ∨ q 既是p → q 的析取范式又是它的的合取范式 公式的范式不唯一则对于将公式按等值进行分类的利用价值就不高 三、主析取范式 析取范式和合取范式的不唯一性主要是由于： 构成范式的基本元素：简单析取式和简单合取式的表示不唯一性 将其约束为极小项和极大项 1、极小项 在含有n个命题变项的简单合取式中，若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，称这样的简单合取式极小项。 极小项与所含变元的个数有关 含二个变元p,q 的极小项： 三个变元的所有极小项为： ┑p∧┑q∧┑r、 ┑p∧┑q∧r、 ┑p∧q∧┑r、 ┑p∧q∧r、 按字母排序为 m0、 m1、 m2、 m3 、 相应极小项的成真赋值为 (0,0，0)、 （0，0,1）、 （0,1，0）、 （0,1，1） p∧┑q∧┑r、 p∧┑q∧r、 p∧q∧┑r、 p∧q∧r m4、 m5、 m6、 m7 (1,0，0)、 （1，0,1）、 （1,1，0）、 （ 1,1，1） 2） n个变元的所有极小项共有 2n个 2、主析取范式 1）定义 设由n个命题变项构成的析取范式中所有的简单合取式都是极小项，则称该析取范式为主析取范式。 例 （p→q）?r ? (p∧┐q∧┐r)∨(┐p∧ r)∨(q ∧ r) 2）主析取范式的唯一性 定理2．5 任何命题公式都存在着与之等值的主析取范式，并且是惟一的 a)析取范式的存在性 b) 简单合取化为极小项－得到存在性 c) 通过真值表得到唯一性 3)公式的主析取范式中的极小项所对应的赋值均为成真赋值,也是该公式的全部成真赋值(由真值表得出） 公式的主析取范式包含全部极小项,则该公式为重言式 3、主析取范式的确定方法： （1）等值演算法 (┐p→q)∧（p → r)? (┐p∧q) ∨ (p ∧r ) ∨(q ∧ r) (p ? q) → r a)先确定公式的析取范式 b)将简单合取式化为极小项（不断合取所缺变元的永真式） c)将相同极小项去掉 （2）真值表法 列出公式的真值表 p ∨ q ∨ r 将真值表中真值为真 的相应赋值所对应的极小项进行析取 （3）利用主析取范式与主合取范式的关系 若已知公式A的主析取范式 首先写出 ┑A的主析取范式 对 ┑A的主析取范式取否定可得到A的主合取范式 4、主析取范式的应用 a.确定公式的成真赋值 b.判断公式的类型 若公式的主析取范式包含所含变元的全部极小项则该公式为永真式 若公式的主析取范式包含所含变元的若干极小项则该公式为可满足式 若公式的主析取范式不包含所含变元的任何极小项则该公式为永假式 c.判断两个公式是否等值 四、