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吗？

没换成功只代表你没想到要怎么换，这怎么能说是证明？

那像第五小题举反例的意思我看不懂，是类似真值表的概念吗？

就真值两边结果不同啊