问答题

计算题 试化公式P∧(P→Q)为析取范式和合取范式,并判断公式的类型。

【参考答案】