用真值表验证p├ p∨q是否为有效式。