问答题

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

【参考答案】