问答题

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

【参考答案】