求P∨( P→(Q∨(Q→R)))主合取与主析取范式

问题描述:

求P∨( P→(Q∨(Q→R)))主合取与主析取范式
RT

去掉蕴含符号原式=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...