离散数学-第二章命题逻辑等值演算习题及答案4页.doc

第二章作业评分要求：1. 每小题6分: 结果正确1分; 方法格式正确3分; 计算过程2分. 合计48分2. 给出每小题得分(注意: 写出扣分理由) 3. 总得分在采分点1处正确设置.一.证明下面等值式(真值表法,解逻辑方程法,等值演算法,三种方法每种方法至少使用一次):说明证1. p(pq)(pq)解逻辑方程法设 p(pq)(pq) =0, 分两种情况讨论: 或者(1)(2)两种情况均无解, 从而, p(pq)(pq)无成假赋值, 为永真式.等值演算法(pq)(pq) p(qq)对的分配率 p1 排中律 p同一律真值表法pqp (pq)(pq)001011101111即 p (pq)(pq)为永真式, 得证2. (pq)(pr)p(qr)等值演算法(pq)(pr) (pq)(pr)蕴含等值