作者Yueh711 (yueh)
看板Grad-ProbAsk
标题命题逻辑
时间Fri Aug 23 00:08:35 2019
https://i.imgur.com/vCdMy5f.jpg
请问一下我用真值表确认过後面两式为等价，试着把一者化为另一者但一直做不出来，有
人能帮忙推推看吗？
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 124.218.32.61 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1566490117.A.AAC.html
1F：→ Ricestone: 你先推到觉得卡住的地方吧 08/23 00:29
3F：→ Yueh711: 拆成上下两种感觉都没有什麽东西可以动了 08/23 00:58
4F：→ Ricestone: ~p & (p | ~r) = (~p & p) | (~p & ~r) = ~p & ~r 08/23 01:13
5F：→ Ricestone: 其余同理 08/23 01:13
6F：→ Yueh711: 怎麽会没想到这个...感谢 08/23 01:22