从真值表来验证（（p→q）∧﹁p）├﹁q是否为有效式

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