作者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/cn.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