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