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

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