问答题

计算题 将公式化成与之等值且仅含{¬,→}中联结词的公式:(p→¬q)∧r。

【参考答案】