企源知识库

用真值表来证明(p→q)↔(┐q→┐p)是永真式。
【正确答案】：由上述真值表可见，(p→q)↔(┐q→┐p)是永真式。