用真值表验证┐p^q→┐q是否是有效式。