问答题

计算题 用主合取范式判断公式是否等值:p→(q→r)与(p→q)→r。

【参考答案】