用真值表方法证明是否为重言式（p→q)∧(r→q)∧(p∨q)→q

用真值表方法证明是否为重言式
（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 还有一种情况自己想着办 ..