https://i.imgur.com/QKmMof6.jpg
題意是要求兩邊是否為邏輯等價
也就是運用邏輯公式去帶求得兩邊相同則為邏輯等價。
請教畫線(2),(4)小題：
https://i.imgur.com/ToCQgua.jpg
第(2)小題想不到還能怎麼換了
https://i.imgur.com/1S3c3Qz.jpg
這一題的答案是不是有錯呢？
因爲我認爲我的算式沒有錯

(2) ~p|p就是T 然後分配律乘進去，~q|q一樣是T(4)你的算式有錯，而且你就算寫出兩個不同的樣子，這跟它們邏輯等不等價又沒關係，False就是要舉反例

我對這題的瞭解是要把左邊的式子換到右邊，如果能換成功，那就代表等價。如果換不成功還得在舉一個反例說明為什麼為false嗎？

沒換成功只代表你沒想到要怎麼換，這怎麼能說是證明？

那像第五小題舉反例的意思我看不懂，是類似真值表的概念嗎？

就真值兩邊結果不同啊