1. PTT
  2. Grad-ProbAsk

命题逻辑

楼主: Yueh711 (yueh)   2019-08-23 00:08:35
https://i.imgur.com/vCdMy5f.jpg
请问一下我用真值表确认过后面两式为等价，试着把一者化为另一者但一直做不出来，有
人能帮忙推推看吗？
作者: Ricestone (麦饭石)   2019-08-23 00:29:00
你先推到觉得卡住的地方吧
楼主: Yueh711 (yueh)   2019-08-23 00:58:00
https://i.imgur.com/mf1ewAN.jpg拆成上下两种感觉都没有什么东西可以动了
作者: Ricestone (麦饭石)   2019-08-23 01:13:00
~p & (p | ~r) = (~p & p) | (~p & ~r) = ~p & ~r其余同理
楼主: Yueh711 (yueh)   2019-08-23 01:22:00
怎么会没想到这个...感谢
继续阅读
[理工] branch 的critical pathbochengchenFw: [问题] 电子学 频率响应suspect1Re: [理工] 计组-WAW危障mistel[理工] 离散 命题逻辑AdonisLam[理工] 函数shinle14离散 布林代数 Yueh711[理工] 线代3-100范例3bigheaddon[理工] 离散 递回oao521[理工] 着色理论6-127eefat[理工] 状态机shinle14

Links booklink

Contact Us: admin [ a t ] ucptt.com