数学逻辑命题
P->(PQ)VR把公式最后变成只有合取和非的公式
我把(PQ)换成((P->Q)A(Q->P))可以算得出来
可是换成((PAQ)V(非PA非Q))就算不出来,这个公式不是和PQ也是恒等的吗?难道我算错了?