复件 第2章命题逻辑等值演算.pptVIP

Discrete Math. , Chen Chen 离散数学 Discrete Mathematics 第二章内容 2.1 等值式 例2.6 例2.6 在某次研讨会的休息时间，3名与会者根据王教授的口音对他是哪个省市的人进行了判断： 甲说王教授不是苏州人，是上海人。 乙说王教授不是上海人，是苏州人。 丙说王教授不是上海人，也不是杭州人。 听完3人的判断，王教授笑着说，他们3人中有一人说得全对，有一人说对了一半，有一人说得全不对。试用逻辑演算法分析王教授到底是哪里的人？ 解： 设命题 p, q, r分别表示 ： 王教授是苏州、上海、杭州人。则p, q, r中必有一个真命题，两个假命题。要通过逻辑演算将真命题找出来。 设： 甲的判断为： A1= ┐p∧q; 乙的判断为：A2= p∧┐q; 丙的判断为：A3= ┐q∧r。 例2.6（续） 那么甲的判断全对： B1= A1= ┐p∧q 甲的判断对一半： B2=((┐p∧┐q)∨(p∧q)) 甲的判断全错： B3=p∧┐q 乙的判断全对： C1= A2= p∧┐q 乙的判断对一半： C2=((p∧q)∨(┐p∧┐q)) 乙的判断全错： C3=┐p∧q 丙的判断全对： D1= A3=┐q∧┐r 丙的判断对一半： D2=((q∧┐r)∨(┐q∧r)) 丙的判断全错： D3=q∧r 由王教授所说 E=(B1∧C2∧D3) ∨ (B1∧C3∧D2) ∨(B2∧C1∧D3) ∨(B2∧C3∧D1) ∨(B3∧C1∧D2) ∨(B3∧C2∧D1) 为真命题. 例2.6（续） B1∧C2∧D3=(┐p∧q) ∧((p∧q)∨(┐p∧┐q))∧(q∧r) ?((┐p∧q∧┐q∧r) ∨(┐p∧q∧p∧r)?0 B1∧C3∧D2=(┐p∧q)∧(┐p∧q)∧((q∧┐r)∨(┐q∧r)) ?(┐p∧q∧┐r) ∨(┐p∧q∧┐q∧┐r) ?┐p∧q∧┐r B2∧C1∧D3=((┐p∧┐q)∨(p∧q)) ∧(p∧┐q)∧(q∧r) ?(┐p∧p∧p∧┐q∧q∧r) ∨(p∧q∧┐q∧r) ?0 类似可得 B2∧C3∧D1?0, B3∧C1∧D2?p∧┐q∧r, B3∧C2∧D1?0 于是，由同一律可知 E?(┐p∧q∧┐r) ∨(p∧┐q∧r) 但因为王教授不能既是苏州人，又是杭州人，因而p,r必有一个为假命题，即p∧┐q∧r?0 。 于是 E?┐p∧q∧┐r 为真命题，因而必有p,r为假命题，q为真命题，即王教授为上海人，甲说得全对，丙说对了一半，而乙全说错啦。 §2.4 可满足性问题与消解法 解: (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) ? m4 ∴ (p→q)?r ?m1∨m3∨m4∨m7 求公式 (p→q)?r的主析(合)取范式。 例2.8 (2)?主合取范式 由例2.7 知，(p→q)?r ?(p∨r)∧(┐q∨r)∧(┐p∨q∨┐r) ∵ (p∨r) ? p∨(q∧┐q)∨r ? (p∨q∨r)∧(p∨┐q∨r) ? M0∧M2 (┐q∨r)? (p∧┐p)∨┐q∨r ? (p∧┐q∨r)∧(┐p∨┐q∨r) ? M2∧M6 (┐p∨q∨┐r) ? M5 ∴ (p→q)?r ? M0∧M2 ∧M5∧M6 例2.8（续） 例 2