大师作文网P→（（Q→P）∧（┐P∧Q））主析取范式和主合取范式
来源：学生作业帮 编辑：大师作文网作业帮 分类：综合作业 时间：2024/11/13 15:55:16
P→（（Q→P）∧（┐P∧Q））主析取范式和主合取范式
PV(Q∧R)→(P∧Q∧R)主析取范式
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 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)（主合取范式）
=┐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)（主合取范式）
P→（P∧（Q→P））的主析取范式和主合取范式
P→（（Q→P）∧（┐P∧Q））主析取范式和主合取范式
求公式（Q→P）∧（┓P∧Q）的主析取范式和主合取范式
┐（┐R→P）∧P∧Q如何求主合取范式与主析取范式,
((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式
求P∧（P→Q）的析取范式和合取范式.
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
求公式（Q→P）∧（┓P∧Q）的主合取范式
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
求下列公式的主范式.1.（P→Q）↔ R（主析取范式） 2.（P→Q）↔ R（主合取范式）
P→Q∧R的合取范式和主析取范式?
（非P->q）->（非qVp）的主析取范式和主合取范式