Re: [理工] [離散]-台大105-資工

[Honor1984 (奈何上天造化弄人？)]

※ 引述《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)

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.56.10.112
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1504149451.A.D45.html
推 JKLee: 倒數第二步如何到最後一步？
→ JKLee: 題目的箭頭應該改成雙箭頭，不然答案寫p v q也可
→ JKLee: 倒數第二步我只看到(q^r^ p) v (q^r ^ ~p)可化簡為q^r
→ JKLee: 啊 看到了
→ Honor1984: 題目的意思應該就是雙箭號 p v q不能作為解答 我文中的
→ Honor1984: =>意思就是等價於 <=>
推 TMDTMD2487: 第八題不是if p then r, else q嗎
→ TMDTMD2487: 打錯是第七題
→ TMDTMD2487: 這可以用理解的直接寫成(p且r )或(非p且q)
推 alan23273850: 建議直接從truth table觀察 變數少 不會複雜
推 JKLee: 畫卡諾圖會更好看