由真值表可知((pvq)∧p)→q是 重言式。由真值表可知（（p∨q）∧¬p）→q 是 重言式