问答题 用真值表来验证(p→(q^┐q))Ⱶ┐p是否为有效式。
【正确答案】无
【答案解析】由答表可知，(p→(q^一┐p))Ⱶ┐p为有效式。