用真值表来验证（p→（q∧¬q））├¬p是否为有效式。