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