※ 引述《kaidi620 (万能史哥)》之铭言：
: 想请问一下这一题
: https://imgur.com/h4t4HrM.jpg
: (1)如果题目没有说要用推倒的方式，可以用画图去倒出结论吗？
: 如果可以的话，若是像这题，可以用p q r交叠在一起的图吗?
: (2) 不懂 ~p or r 是怎么变成 ( p or q ) and r
: 小弟把图画出来，感觉长得不太一样阿
: https://imgur.com/UNw1A13,jpg
: 请大神帮我解答 感谢 ！！ 祝大家一起考试顺利!!!!
106 台大资工 数学 第7题
怎么觉得这题是要考 rules of inference (推论法则)，
而不是要考 Equivalence (等价)呀？
觉得它要考的应该是 [(pＶq)Λ(~pＶr)]→rＶq
而不是 [(pＶq)Λ(~pＶr)]≡?Ｖ?