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