想問圈起來那邊怎麼跳的
我畫圖解感覺是錯的
https://i.imgur.com/CHuMlEm.jpg
https://i.imgur.com/X526LNk.jpg

https://i.imgur.com/iw0H8vX.jpg字醜抱歉@@ 我是這樣寫，不過不知道有沒有更快的方法><

上面的紅底是~q and q ，這樣才會變F消失並且倒數第三行錯了正確作法打從一開始就全拆開就行了，不用把那箭頭保留到最後

感謝R大指正>< 有先檢查才上傳沒想到還是眼花@@q and ~q 那邊剛才想錯惹 >< 再次感謝!https://i.imgur.com/cPSFIDm.png不好意思剛才再試著推原Po圈起來的部分，不過寫到這邊想很久後不知道可以怎麼繼續寫下去QQ

首先你若要提出~p，必須要括號起來，因為and跟or本身沒有隱含的優先運算順序（除非你就是當+跟*，但這樣又得從頭重寫）第二，如果你希望能求出看來比較簡單的形式，那麼倒數第二行時可以幫(~p and r)加上一個 and (q or ~q)如此形成(~p and r and q) or (~p and r and ~q)這兩項分別可以跟前後以吸收律消掉，最後形成(~p and ~q) or (q and r)第三，書上就是推錯了，不用打算寫成書上的結果

懂惹 感謝OWO!