02命题逻辑等值演算要点.ppt

* 提示学生必须掌握16组基本的等值公式 满足对偶规律 * 此处需对自反性、对称性、传递性进行解释 * 根据此例可以引出范式的概念 例题 (2) 求析取范式 (p→q)? 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) 说明 命题公式的析取范式不唯一。 同样，合取范式也是不唯一的。 范式的规范化形式 定义2.4 在含有n个命题变项的简单合取式（简单析取式）中，若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，且第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标，就按字典顺序排列），称这样的简单合取式（简单析取式）为极小项（极大项）。 n个命题变项共可产生2n个不同的极小项。其中每个极小项都有且仅有一个成真赋值。若成真赋值所对应的二进制数转换为十进制数i，就将所对应极小项记作mi 。 类似地，n个命题变项共可产生2n个极大项，每个极大项只有一个成假赋值，将其对应的十进制数i做极大项的角标，记作Mi。 表2.3 p,q形成的极小项与极大项 表2.4 p,q,r形成的极小项与极大项 范式的规范化形式 定理2.4 设mi与Mi是命题变项p1,p2,…,pn形成的极小项和极大项，则 ┐mi ? Mi， ┐Mi ? mi 定义2.5 设由n个命题变项构成的析取范式（合取范式）中所有的简单合取式（简单析取式）都是极小项（极大项），则称该析取范式（合取范式）为主析取范式（主合取范式）。 定理2.5 任何命题公式都存在着与之等值的主析取范式和主合取范式，并且是唯一的。 定理2.5的证明 (只证主析取范式的存在和唯一性) (1)证明存在性。 设A是任一含n个命题变项的公式。 由定理2.3可知，存在与A等值的析取范式A′，即A?A′，若A′的某个简单合取式Ai中既不含命题变项pj，也不含它的否定式┐pj，则将Ai展成如下形式： Ai ? Ai∧1 ? Ai∧(pj∨┐pj) ? (Ai∧pj)∨(Aj∧┐pj) 继续这个过程，直到所有的简单合取式都含任意命题变项或它的否定式。 若在演算过程中出现重复的命题变项以及极小项和矛盾式时，都应“消去”：如用p代替p∧p，mi代替mi∨mi，0代替矛盾式等。最后就将A化成与之等值的主析取范式A。 定理2.5 (2)证明唯一性。 假设某一命题公式A存在两个与之等值的主析取范式B和C， 即A?B且A?C，则B?C。 由于B和C是不同的主析取范式，不妨设极小项mi只出现在B中而不出现在C中。 于是，角标i的二进制表示为B的成真赋值，而为C的成假赋值。这与B?C矛盾，因而B与C必相同。 求公式A的主析取范式的方法与步骤 方法一、等值演算法 (1)化归为析取范式。 (2)除去析取范式中所有永假的析取项。 (3)将析取式中重复出现的合取项和相同的变元合并。 (4)对合取项补入没有出现的命题变元，即添加如(p∨┐p)式，然后应用分配律展开公式。 方法二、真值表法 (1)写出A的真值表。 (2)找出A的成真赋值。 (3)求出每个成真赋值对应的极小项（用名称表示），按角标从小到大顺序析取。 求公式A的主合取范式的方法与步骤 方法一、等值演算法 (1)化归为合取范式。 (2)除去合取范式中所有永真的合取项。 (3)将合取式中重复出现的析取项和相同的变元合并。 (4)对析取项补入没有出现的命题变元，即添加如(p∧┐p)式，然后应用分配律展开公式。 方法二、真值表法 (1)写出A的真值表。 (2)找出A的成假赋值。 (3)求出每个成假赋值对应的极大项（用名称表示），按角标从小到大顺序析取。 例题 例2.9 求命题公式 p→q 的主析取范式和主合取范式。 (1)求主合取范式 p→q ? ┐p∨q ? M2 (2)求析取范式 p→q ? ┐p∨q ? （┐p∧（┐q∨q）） ∨ （(┐p∨p)∧q） ? (┐p∧┐q)∨(┐p∧q)∨(┐p∧q)∨(p∧q) ? (┐p∧┐q)∨(┐p∧q)∨(p∧q) ? m0∨m1∨m3 解答 p q p →q 0 0 1 0 1 1 1 0 0 1 1 1 例2.8 求(p→q)?r的主析取范式和主合取范式。 (1)求主析取范式 (p→q)?r ? (p∧┐q∧┐r)∨(┐p∧r)∨(q∧r) p∧┐q∧┐r ? m4 ┐p∧r ? ┐p∧（┐q∨q）∧r ? (┐p∧┐q∧r)∨(┐p∧q∧r) ? m1∨m3 q∧r ? (┐p∨p)∧q∧r ? (┐p∧q∧r