用真值表来证明(p→q)↔(┐q→┐p)是永真式。