用真值表方法证明是否为重言式
问题描述：
用真值表方法证明是否为重言式
（p→q)∧(r→q)∧(p∨q)→q
答
p q p→q r q r->q （p→q)∧(r→q) p∨q （p→q)∧(r→q) ^(p∨q) 0 1 1 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 （p→q)∧(r→q) ^(p∨q) q （p→q)∧(r→q)∧(p∨q)→q 1 1 1 0 0 1 0 0 1 1 1 1 还有一种情况自己想着办 ..