[理工] 邏輯等價兩題

看板Grad-ProbAsk作者 (sadjeff)時間6年前 (2019/10/26 20:36), 6年前編輯推噓0(0推 0噓 10→)
留言10則, 2人參與, 6年前最新討論串1/1
https://i.imgur.com/QKmMof6.jpg
題意是要求兩邊是否為邏輯等價 也就是運用邏輯公式去帶求得兩邊相同則為邏輯等價。 請教畫線(2),(4)小題： https://i.imgur.com/ToCQgua.jpg
第(2)小題想不到還能怎麼換了 https://i.imgur.com/1S3c3Qz.jpg
這一題的答案是不是有錯呢？ 因爲我認爲我的算式沒有錯 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 110.28.230.209 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1572093367.A.536.html ※ 編輯: abcd012345 (110.28.230.209 臺灣), 10/26/2019 20:37:11
→
10/26 20:43, 6年前 , 1F
(2) ~p|p就是T 然後分配律乘進去，~q|q一樣是T
10/26 20:43, 1F
→
10/26 20:48, 6年前 , 2F
(4)你的算式有錯，而且你就算寫出兩個不同的樣子，這跟
10/26 20:48, 2F
→
10/26 20:49, 6年前 , 3F
它們邏輯等不等價又沒關係，False就是要舉反例
10/26 20:49, 3F
→
10/26 21:01, 6年前 , 4F
我對這題的瞭解是要把左邊的式子換到右邊，如果能換
10/26 21:01, 4F
→
10/26 21:01, 6年前 , 5F
成功，那就代表等價。如果換不成功還得在舉一個反例
10/26 21:01, 5F
→
10/26 21:01, 6年前 , 6F
說明為什麼為false嗎？
10/26 21:01, 6F
→
10/26 21:03, 6年前 , 7F
沒換成功只代表你沒想到要怎麼換，這怎麼能說是證明？
10/26 21:03, 7F
→
10/26 21:17, 6年前 , 8F
那像第五小題舉反例的意思我看不懂，是類似真值表的
10/26 21:17, 8F
→
10/26 21:17, 6年前 , 9F
概念嗎？
10/26 21:17, 9F
→
10/26 21:27, 6年前 , 10F
就真值兩邊結果不同啊
10/26 21:27, 10F
‣ 更多 abcd012345 的文章
文章代碼(AID): #1Tj3stKs (Grad-ProbAsk)