[理工] 離散 10-60

[NTUmaki (西木野真姬)]

想問圈起來那邊怎麼跳的

我畫圖解感覺是錯的

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://www.ptt.cc/bbs/Grad-ProbAsk/M.1600061980.A.EF2.html
※ 編輯: NTUmaki (140.112.25.98 臺灣), 09/14/2020 13:39:58
推 try66889: https://i.imgur.com/iw0H8vX.jpg
→ try66889: 字醜抱歉@@ 我是這樣寫，不過不知道有沒有更快的方法><
→ try66889:
→ Ricestone: 上面的紅底是~q and q ，這樣才會變F消失
→ Ricestone: 並且倒數第三行錯了
→ Ricestone: 正確作法打從一開始就全拆開就行了，不用把那箭頭保留
→ Ricestone: 到最後
→ try66889: 感謝R大指正>< 有先檢查才上傳沒想到還是眼花@@
→ try66889: q and ~q 那邊剛才想錯惹 >< 再次感謝!
推 try66889: https://i.imgur.com/cPSFIDm.png
→ try66889: 不好意思剛才再試著推原Po圈起來的部分，不過寫到這邊
→ try66889: 想很久後不知道可以怎麼繼續寫下去QQ
→ Ricestone: 首先你若要提出~p，必須要括號起來，因為and跟or本身沒
→ Ricestone: 有隱含的優先運算順序（除非你就是當+跟*，但這樣又得
→ Ricestone: 從頭重寫）
→ Ricestone: 第二，如果你希望能求出看來比較簡單的形式，那麼倒數
→ Ricestone: 第二行時可以幫(~p and r)加上一個 and (q or ~q)
→ Ricestone: 如此形成(~p and r and q) or (~p and r and ~q)
→ Ricestone: 這兩項分別可以跟前後以吸收律消掉，最後形成
→ Ricestone: (~p and ~q) or (q and r)
→ Ricestone: 第三，書上就是推錯了，不用打算寫成書上的結果
好的，感謝
※ 編輯: NTUmaki (140.112.25.98 臺灣), 09/14/2020 17:27:13
→ try66889: 懂惹 感謝OWO!