想问圈起来那边怎么跳的
我画图解感觉是错的
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!