作者abcd012345 (sadjeff)
看板Grad-ProbAsk
標題[理工] 邏輯等價兩題
時間Sat Oct 26 20:36:05 2019
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://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1572093367.A.536.html
※ 編輯: abcd012345 (110.28.230.209 臺灣), 10/26/2019 20:37:11
1F：→ Ricestone: (2) ~p|p就是T 然後分配律乘進去，~q|q一樣是T 10/26 20:43
2F：→ Ricestone: (4)你的算式有錯，而且你就算寫出兩個不同的樣子，這跟 10/26 20:48
3F：→ Ricestone: 它們邏輯等不等價又沒關係，False就是要舉反例 10/26 20:49
4F：→ abcd012345: 我對這題的瞭解是要把左邊的式子換到右邊，如果能換 10/26 21:01
5F：→ abcd012345: 成功，那就代表等價。如果換不成功還得在舉一個反例 10/26 21:01
6F：→ abcd012345: 說明為什麼為false嗎？ 10/26 21:01
7F：→ Ricestone: 沒換成功只代表你沒想到要怎麼換，這怎麼能說是證明？ 10/26 21:03
8F：→ abcd012345: 那像第五小題舉反例的意思我看不懂，是類似真值表的 10/26 21:17
9F：→ abcd012345: 概念嗎？ 10/26 21:17
10F：→ Ricestone: 就真值兩邊結果不同啊 10/26 21:27