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