※ 引述《kobebset105 (小小小妹)》之铭言：
: 跪求7，8
: http://i.imgur.com/CywrZKY.jpg
7.
(p v q) ^ (~p v r)
=> [p ^ (~p v r)] v [q ^ (~p v r)]
=> (p ^ r) v [(q ^ r) v (q ^ ~p)]
=> (p ^ r) v (q ^ r ^ p) v (q ^ r ^ ~p) v (q ^ ~p)
=> (p ^ r) v (q ^ ~p)

倒数第二步如何到最后一步？题目的箭头应该改成双箭头，不然答案写p v q也可倒数第二步我只看到(q^r^ p) v (q^r ^ ~p)可化简为q^r啊 看到了

题目的意思应该就是双箭号 p v q不能作为解答 我文中的=>意思就是等价于 <=>

第八题不是if p then r, else q吗打错是第七题这可以用理解的直接写成(p且r )或(非p且q)

建议直接从truth table观察 变量少 不会复杂

画卡诺图会更好看