作者befdawn (蜜蜂P助)
看板Grad-ProbAsk
标题[理工] 离散 propostition
时间Mon Oct 22 12:05:31 2018
https://i.imgur.com/rCLsubr.jpg
请问解答中等价於後面那些是怎麽推出来的呢？
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 1.200.59.107
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1540181134.A.27B.html
1F：→ skyHuan: p对就选q，p错就选r 10/22 12:46
是指说 p对 q也会一起对，p错 r会对
所以 p and q 同时成立，or，~p and r 同时成立这样吗？
2F：推 magic83v: 好像是 p则q and 非p则r and q或r and 非q且r 10/22 12:51
3F：→ magic83v: ...楼上讲的好像直观多了 10/22 12:55
4F：→ Ricestone: 也可以画流程图来看 10/22 13:19
※ 编辑: befdawn (140.120.220.2), 10/22/2018 13:55:44
5F：→ Ricestone: 对，而且你把这里的r去掉，展开来就会变成正常的p->q 10/22 14:15
6F：→ Ricestone: 反过来说，相当於你把p->q的流程图内，~p的部份多加上 10/22 14:19
7F：→ Ricestone: 一个r 10/22 14:19