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

第二章作业 评分要求： 1. 每小题6分: 结果正确1分; 方法格式正确3分; 计算过程2分. 合计48 分 2. 给出每小题得分(注意: 写出扣分理由) 3. 总得分在采分点1处正确设置. 一. 证明下面等值式(真值表法, 解逻辑方程法, 等值演算法, 三种方法每种方法至少使用一 次): 说明 证 1. p⇔(p∧q) ∨(p∧¬q) 解逻辑方程法 设 p↔((p∧q) ∨(p ∧¬q)) =0, 分两种情况讨论: p 1  (1) 或者 (pq) 