问答题

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

【参考答案】