P→((Q→P)∧(┐P∧Q))主析取范式和主合取范式PV(Q∧R)→(P∧Q∧R)主析取范式

问题描述:

P→((Q→P)∧(┐P∧Q))主析取范式和主合取范式
PV(Q∧R)→(P∧Q∧R)主析取范式

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 ...