求P∨（ P→（Q∨（Q→R）））主合取与主析取范式

去掉蕴含符号原式=P V( ┐P V (Q V(┐Q V R)))因为整个式子里面没有合取符号,所以主合取=0主析取=(P V ((┐PVQ)) V( ┐P V (┐Q V R)))=(PV(┐PVQ)) V ( P V ┐P) V (P V (┐Q V R))=PV(Q V(┐Q V R))=P V R...