Re: [理工] 106台大資工 離散+線代 2、7、9、10題

[aeiou335 (ilovelola)]

※ 引述《PunchShadow (PunchShadow)》之銘言: -
: 再來是第7題：https://imgur.com/dHjjeJm
: 這是要我們簡化的意思嗎？
: 如果是簡化應該是 (p∪q∩r)∪q嗎: -

請問可以寫這樣嘛
((p ∪ q) ∩ (~p ∪ r)) => ((~q -> p) ∩ (p -> r)) => (~q -> r) => q ∪ r

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.171.42.163
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1516647315.A.66D.html
推 Azlar911: 我答案跟你一樣 題目應該是問 原式imply答案
→ Azlar911: 只是我是用truth table加K map解
推 crystallove: 為什麼((~q -> p) ∩ (p -> r)) => (~q -> r)
推 magic83v: 同樓上 真值表會看但不會推倒 想問怎麼做
→ magic83v: 應該錯了 p->q且q->r不等價p->r
推 kctaipei: 題意欲使命題恆真 p->r, q->r都是正解
→ kctaipei: 啊我說的pqr沒有對應題目 只是答案應該兩個
→ kctaipei: 不唯一才對
推 Azlar911: m大這題不是問等價吧
推 Azlar911: 那這題 p or q 和 -p or r 都是答案耶
→ aeiou335: 題目不清楚哈哈