作者 springleaf1 在 PTT 全部看板的留言(推文), 共1579則

[理工] 離散邏輯

[ Grad-ProbAsk ]30 留言, 推噓總分: +6

作者: springleaf1 - 發表於 2017/11/11 19:02(8年前)

6^F→springleaf1: 完全懂了......慚愧，我把if P then Q else R 寫成11/11 20:52

7^F→springleaf1: (P→Q)U(~P→R)，難怪怎麼做都做不出來......11/11 20:52

8^F→springleaf1: 謝謝T大！11/11 20:52

9^F→springleaf1: 倒數第二行到最後一行可以請大大再解釋嗎？不太明白11/11 21:13

10^F→springleaf1: 雖然用真值表可以確定是正確的11/11 21:21

19^F→springleaf1: 我剛剛發現，最後的式子有問題11/11 22:32

21^F→springleaf1: 驗算中，怕是我自己出錯@@11/11 22:36

23^F→springleaf1: 算的累了，乾脆用推論11/11 23:08

24^F→springleaf1: 在(Q^R)為真時，(P^Q)v(~P^R)等價於(P v~P),為永真式11/11 23:11

25^F→springleaf1: 因此式子可簡化為(P^Q)v(~P^R)11/11 23:14

27^F→springleaf1: https://i.imgur.com/GE9PLaO.jpg11/11 23:30

28^F→springleaf1: 整理了一下，看後面有沒有人有更漂亮的解法11/11 23:32

Re: [閒聊] 合作偷跑圖

[ GirlsFront ]52 留言, 推噓總分: -6

作者: oz5566 - 發表於 2017/11/09 07:35(8年前)

49^F噓springleaf1: 越看越不爽，先退坑不玩，看LK哪時候滾下來再考慮11/09 12:57

Fw: [情報] 國際盜懶覺集團第二話消失

[ Gossiping ]53 留言, 推噓總分: +41

作者: zjes40604 - 發表於 2017/11/08 19:59(8年前)

84^F推springleaf1: ^Q^11/09 01:26

Re: [新聞] 殉職警消變因公死亡？　撫卹金少了600萬消失

[ Gossiping ]403 留言, 推噓總分: +320

作者: neepa - 發表於 2017/11/08 00:22(8年前)

145^F推springleaf1: 讓他爆11/08 01:52

Re: [討論] PPLsea請進消失

[ HatePolitics ]201 留言, 推噓總分: +18

作者: TheoEpstein - 發表於 2017/11/05 16:25(8年前)

80^F推springleaf1: 這崩潰的程度，不可說不可說11/05 17:17

[新聞] 男友說「墮胎就是殺人」　她1句話惹怒消失

[ Gossiping ]550 留言, 推噓總分: +220

作者: ji394t - 發表於 2017/10/30 12:54(8年前)

300^F推springleaf1: 要是能重來我要生下來 Babyrage10/30 14:52

[閒聊] 鳴雛的獎勵之吻已回收

[ C_Chat ]35 留言, 推噓總分: +29

作者: jenny416413 - 發表於 2017/10/28 12:29(8年前)

4^F推springleaf1:10/28 12:35

Re: [閒聊] 前輩有夠煩已回收

[ C_Chat ]58 留言, 推噓總分: +52

作者: LABOYS - 發表於 2017/10/27 20:00(8年前)

30^F推springleaf1: 沒了～沒機會了～10/27 21:09

31^F→springleaf1: 我們的機會～在來生QQ10/27 21:09

[新聞] 係「金」A！辛吉絲／詹詠然今晚領世界球

[ Tennis ]130 留言, 推噓總分: -42

作者: IamGandalf - 發表於 2017/10/27 14:34(8年前)

25^F噓springleaf1: 2沒壞10/27 19:19

[新聞] 養網軍當打手?柯文哲:府外很多網路義勇軍消失

[ Gossiping ]345 留言, 推噓總分: +211

作者: caeasonfb - 發表於 2017/10/26 10:26(8年前)

47^F推springleaf1: 估狗了一下，原來常常爆出誹聞，難怪這麼討厭網軍10/26 10:36

作者查詢 / springleaf1