[理工］離散 10-60

看板Grad-ProbAsk作者 (西木野真姬)時間5年前 (2020/09/14 13:39), 5年前編輯推噓2(2推 0噓 20→)
留言22則, 2人參與, 5年前最新討論串1/1
想問圈起來那邊怎麼跳的 我畫圖解感覺是錯的 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
推
09/14 14:49, 5年前 , 1F
09/14 14:49, 1F
→
09/14 14:49, 5年前 , 2F
字醜抱歉@@ 我是這樣寫，不過不知道有沒有更快的方法><
09/14 14:49, 2F
→
09/14 14:49, 5年前 , 3F
09/14 14:49, 3F
→
09/14 15:08, 5年前 , 4F
上面的紅底是~q and q ，這樣才會變F消失
09/14 15:08, 4F
→
09/14 15:09, 5年前 , 5F
並且倒數第三行錯了
09/14 15:09, 5F
→
09/14 15:41, 5年前 , 6F
正確作法打從一開始就全拆開就行了，不用把那箭頭保留
09/14 15:41, 6F
→
09/14 15:41, 5年前 , 7F
到最後
09/14 15:41, 7F
→
09/14 16:12, 5年前 , 8F
感謝R大指正>< 有先檢查才上傳沒想到還是眼花@@
09/14 16:12, 8F
→
09/14 16:13, 5年前 , 9F
q and ~q 那邊剛才想錯惹 >< 再次感謝!
09/14 16:13, 9F
推
09/14 17:14, 5年前 , 10F
09/14 17:14, 10F
→
09/14 17:14, 5年前 , 11F
不好意思剛才再試著推原Po圈起來的部分，不過寫到這邊
09/14 17:14, 11F
→
09/14 17:14, 5年前 , 12F
想很久後不知道可以怎麼繼續寫下去QQ
09/14 17:14, 12F
→
09/14 17:16, 5年前 , 13F
首先你若要提出~p，必須要括號起來，因為and跟or本身沒
09/14 17:16, 13F
→
09/14 17:17, 5年前 , 14F
有隱含的優先運算順序（除非你就是當+跟*，但這樣又得
09/14 17:17, 14F
→
09/14 17:17, 5年前 , 15F
從頭重寫）
09/14 17:17, 15F
→
09/14 17:18, 5年前 , 16F
第二，如果你希望能求出看來比較簡單的形式，那麼倒數
09/14 17:18, 16F
→
09/14 17:21, 5年前 , 17F
第二行時可以幫(~p and r)加上一個 and (q or ~q)
09/14 17:21, 17F
→
09/14 17:22, 5年前 , 18F
如此形成(~p and r and q) or (~p and r and ~q)
09/14 17:22, 18F
→
09/14 17:22, 5年前 , 19F
這兩項分別可以跟前後以吸收律消掉，最後形成
09/14 17:22, 19F
→
09/14 17:24, 5年前 , 20F
(~p and ~q) or (q and r)
09/14 17:24, 20F
→
09/14 17:24, 5年前 , 21F
第三，書上就是推錯了，不用打算寫成書上的結果
09/14 17:24, 21F
好的，感謝 ※ 編輯: NTUmaki (140.112.25.98 臺灣), 09/14/2020 17:27:13
→
09/14 17:54, 5年前 , 22F
懂惹 感謝OWO!
09/14 17:54, 22F
‣ 更多 NTUmaki 的文章
文章代碼(AID): #1VNm8Sxo (Grad-ProbAsk)