[理工] 離散 propostition

[befdawn (蜜蜂P助)]

https://i.imgur.com/rCLsubr.jpg
請問解答中等價於後面那些是怎麼推出來的呢？


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.200.59.107
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1540181134.A.27B.html
→ skyHuan: p對就選q，p錯就選r
是指說 p對 q也會一起對，p錯 r會對
所以 p and q 同時成立，or，~p and r 同時成立這樣嗎？
推 magic83v: 好像是 p則q and 非p則r and  q或r and 非q且r
→ magic83v: ...樓上講的好像直觀多了
→ Ricestone: 也可以畫流程圖來看
※ 編輯: befdawn (140.120.220.2), 10/22/2018 13:55:44
→ Ricestone: 對，而且你把這裡的r去掉，展開來就會變成正常的p->q
→ Ricestone: 反過來說，相當於你把p->q的流程圖內，~p的部份多加上
→ Ricestone: 一個r