作者NTUmaki (西木野真姬)
看板Grad-ProbAsk
標題[理工] 離散 10-60
時間Mon Sep 14 13:39:38 2020
想問圈起來那邊怎麼跳的
我畫圖解感覺是錯的
https://i.imgur.com/CHuMlEm.jpg
https://i.imgur.com/X526LNk.jpg
-----
Sent from JPTT on my iPhone
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.25.98 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1600061980.A.EF2.html
※ 編輯: NTUmaki (140.112.25.98 臺灣), 09/14/2020 13:39:58
2F：→ try66889: 字醜抱歉@@ 我是這樣寫，不過不知道有沒有更快的方法>< 09/14 14:49
3F：→ try66889: 09/14 14:49
4F：→ Ricestone: 上面的紅底是~q and q ，這樣才會變F消失 09/14 15:08
5F：→ Ricestone: 並且倒數第三行錯了 09/14 15:09
6F：→ Ricestone: 正確作法打從一開始就全拆開就行了，不用把那箭頭保留 09/14 15:41
7F：→ Ricestone: 到最後 09/14 15:41
8F：→ try66889: 感謝R大指正>< 有先檢查才上傳沒想到還是眼花@@ 09/14 16:12
9F：→ try66889: q and ~q 那邊剛才想錯惹 >< 再次感謝! 09/14 16:13
11F：→ try66889: 不好意思剛才再試著推原Po圈起來的部分，不過寫到這邊 09/14 17:14
12F：→ try66889: 想很久後不知道可以怎麼繼續寫下去QQ 09/14 17:14
13F：→ Ricestone: 首先你若要提出~p，必須要括號起來，因為and跟or本身沒 09/14 17:16
14F：→ Ricestone: 有隱含的優先運算順序（除非你就是當+跟*，但這樣又得 09/14 17:17
15F：→ Ricestone: 從頭重寫） 09/14 17:17
16F：→ Ricestone: 第二，如果你希望能求出看來比較簡單的形式，那麼倒數 09/14 17:18
17F：→ Ricestone: 第二行時可以幫(~p and r)加上一個 and (q or ~q) 09/14 17:21
18F：→ Ricestone: 如此形成(~p and r and q) or (~p and r and ~q) 09/14 17:22
19F：→ Ricestone: 這兩項分別可以跟前後以吸收律消掉，最後形成 09/14 17:22
20F：→ Ricestone: (~p and ~q) or (q and r) 09/14 17:24
21F：→ Ricestone: 第三，書上就是推錯了，不用打算寫成書上的結果 09/14 17:24
好的，感謝
※ 編輯: NTUmaki (140.112.25.98 臺灣), 09/14/2020 17:27:13
22F：→ try66889: 懂惹 感謝OWO! 09/14 17:54