问答题

简答题 求命题公式“(¬R∧(Q→P))→(P→(Q∨R))”的主合取范式和主析取范式,并判断公式是否为重言式或矛盾式。

【参考答案】