计算题 将公司（￢p→q）Λr化成与之等值且仅含∣￢，→∣中联结词的公式。