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