第二章命题逻辑等值演算精要.ppt

?定义2.4 在含有n个命题变项的简单合取式（简单析取式）中，若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，且第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标，就按字典顺序排列），称这样的简单合取式（简单析取式）为极小项（极大项）。 如： ┐p∧ ┐ q∧ r , p∨ q∨ ┐ r 极小项是简单合取式，反之呢？ n个命题变项共可产生2n个不同的极小项。(极大项) 每个极小项都有且仅有一个成真赋值。若成真赋值所对应的二进制数转换为十进制数i，就将所对应极小项记作mi.类似地，每个极大项只有一个成假赋值，将其对应的十进制数i做极大项的角标，记作Mi。 p,q形成的极小项与极大 项 ? p,q,r形成的极小项与极大项 观察一下极大项与极小项的关系？ 定理2.4 设mi与Mi是命题变项p1,p2,…,pn形成的极小项和极大项，则 ┐mi ??Mi ，┐Mi???mi 定义2.5 设由n个命题变项构成的析取范式（合取范式）中所有的简单合取式（简单析取式）都是极小项（极大项），则称该析取范式（合取范式）为主析取范式（主合取范式）。 定理2.5 任何命题公式都存在着与之等值的主析取 范式和主合取范式，并且是唯一的。 证: 这里只证主合取范式的存在性和唯一性。 首先证明存在性。 设A是任一含n个命题变项的公式。由范式存在定理可知，存在与A等值的合取范式A‘，即A ??A’，若A‘的某个简单析取式Ai中既不含命题变项pj，也不含它的否定式┐pj，则将Ai展成如下形式： Ai? Ai∨0? Ai∨(pj∧┐pj) ? (Ai∨pj)∧(Aj∨┐pj) 继续这一过程，直到所有的简单析取式都含任意命题变项或它的否定式。 若在演算过程中出现重复的命题变项以及极大项和重言式时，都应“消去”：如用p代替p∨p，Mi代替Mi∨Mi，1代替重言式等。最后就将A‘化成与之等值的主合取范式A。 下面再证明唯一性： 假设某一命题公式A存在两个与之等值的主合取范式B和C，即A?B且A?C，则B?C。由于B和C是不同的主合取范式，不妨设极大项Mi只出现在B中而不出现在C中。于是，角标i的二进制表示为B的成假赋值，而为C的成真赋值。这与 B?C矛盾，因而B与C必相同。 为了醒目和便于记忆，求出某公式的主析取范式（主合取范式）后，将极小项（极大项）都用名称写出，并且按极小项（极大项）名称的角标由小到大顺序排列。 例2.8 求例2.7中公式的主析取范式和主合取范式。 解 （1）求主析取范式 : 在例2.7中已给出的公式的析取范式，即???????（p→q）? r?(p∧┐q∧┐r)∨(┐p∧r)∨(q∧r) 注意，因为公式含三个命题变项，所以极小项均由三个文字组成。 （┐p∧r）???┐p∧（┐q∨q）∧r??? (┐p∧┐q∧r)∨(┐p∧q∧r)? ??m1∨m3 ?q∧r? (┐p∨p)∧q∧r? (┐p∧q∧r）∨(p∧q∧r)?m3∨m7 于是? (p→q) ??r ? m1∨m3∨m4∨m7 记作 ∑(1，3，4，7） * * 第二章 命题逻辑等值演算 2.1 等值式 设公式A,B共同含有n个命题变项，可能A或B有哑元，若A与B有相同的真值表，则说明在2n个赋值的每个赋值下，A与B的真值都相同。于是等价式A??B应为重言式。如何判断哪些公式具有相同的真值？ 定义2.1 设A,B式两个命题公式，若A,B构成的等价式A ????B为重言式，则称A与B是等值的，记作A ?B. （ ?是元语言符号） 例1.7中 公式 p→q 和 (┐p∨q)∧((p∧r)→p)的真值表相同，所以它们是等值的。即： p→q ? (┐p∨q)∧((p∧r)→p) 判断等值式有如下方法： ???1.真值表 ???2.等值演算???3.范式 例2.1 判断下面两个公式是否等值：????????┐(p∨q)与┐p∧┐q 解: 用真值表法判断┐(p∨q) ? ?(┐p∧┐q)是否为重言式。 从表中可知它是重言式，即┐(p∨q) ????(┐p∧┐q) 例2.2 判断下列各组公式是否等值： (1)p→(q→r)与(p∧q)→r (2) (p→q)→r与(p∧q)→r p →(q→r) ????(p∧q)→r (p→q)→r ????(p∧q)→r 用真值表法可以判断任何两个命题公式是否等值，但当命题变项较多时，工作量是很大的。 可以先用真值表验证一组基本的又是重要的重言式，以它们为基础进行公式之间的演算，来判断公式之间的是否等值。 根据已知的等值式推演出另外一些等值式的过程，称为等值演算。 16组重要的等值式: 1.