https://i.imgur.com/YvUeTAD.jpg
请问这题:if "p" then "q" else "r"
前面学到(若p则q)是写成(p→q)
但那个else "r"要怎么表示?
我原本觉得应该是，如果(p→q)是flase，则答案等于r
但好像不太对?
然后解答说它等价(p^q)v(~p^r)，这过程是怎么转换的？
https://i.imgur.com/DPI4doh.jpg
另外是这题
一开始自己找的反例是p=q=1,r=s=0
带入后应该是没问题
但我就是随便乱代，先给S代个1，然后p,q,r也随便试一下
发现不行又把S换0才找出来
想问这种题目有没有什么固定技巧?

http://i.imgur.com/rcJ8w7p.jpg2.我是用暴力法

楼上网址最后一个等号怎么出来的 要不要解释一下?

q and r必为0阿，所以就变成最后一个式子了

上面这推的解释是错的，没有两个中必须有个0的前提比较简单的做法是在(q and r)补上and (p or ~p)如此形成(q & r & ~p) or (q & r & p)接着就能分别跟前两个括号用吸收律消掉了

谢谢楼上修正

看懂了,感谢啦