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

用真值表来验证（p∨q）∧﹁q→p是否为有效式。
【正确答案】：

上述真值表如下：
[图1]
由上表可知，（p∨q）∧﹁q→p为有效式。