P→（（Q→P）∧（┐P∧Q））主析取范式和主合取范式

1、P→（（Q→P）∧（┐P∧Q））
=┐P V （（Q→P）∧（┐P∧Q））
==┐P V （（┐Q V P）∧（┐P∧Q））
=┐P V （（┐Q ∧（┐P∧Q）) V (P∧（┐P∧Q）））
=┐P
=(┐P∧┐Q )V(┐P∧Q )(主析取范式)
=(┐P V Q)∧(┐P V┐ Q)(主合取范式)
2、PV(Q∧R)→(P∧Q∧R)
=┐（PV(Q∧R)）V (P∧Q∧R)
=（┐P∧(Q V R)）V (P∧Q∧R)
=（┐P∧Q ∧ R）V（┐P∧┐Q ∧ R）V（┐P∧Q ∧┐ R）V (P∧Q∧R))(主析取范式)
=┐（┐P∧┐Q ∧┐ R）V（P∧┐Q ∧ R）V（P∧Q ∧┐ R）V ((P∧┐Q∧┐R))
=（PVQ V R）∧（┐PV Q V ┐R）∧（┐PV┐Q V R）∧ (┐P VQ V R)（主合取范式）