数学逻辑命题P->(PQ)VR 把公式最后变成只有合取和非的公式我把(PQ)换成((P->Q)A(Q->P))可以算得出

是恒等的,你在某个地方算错了.
为了简单一点,我推一下(PQ)换成((P∧Q)V(非P∧非Q))后等价于((P->Q)∧(Q->P))
下面的等号表示等价于
PQ=(P∧Q)V(非P∧非Q)
=[(P∧Q)V非P]∧[(P∧Q)V非Q]
=[(PV非P)∧(QV非P)]∧[(PV非Q)∧(QV非Q)]
=(QV非P)∧(PV非Q)
=(P->Q)∧(Q->P)