用等值演算求（P→Q）→R的主析取范式

来源：学生作业帮编辑：神马作文网作业帮分类：数学作业时间：2024/11/11 21:59:16

用等值演算求（P→Q）→R的主析取范式

方法一:
原式=>┐(┐P∨Q)∨R
=>(P∧┐Q)∨R
=>((P∧┐Q)∧(R∨┐R))∨(R∧(P∨┐P)∧(Q∨┐Q)))
=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨((R∧P)∨(R∧┐P))∧(Q∨┐Q))
=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(R∧P∧Q)∨(R∧P∧┐Q)∨ (R∧┐P∧Q)∨(R∧┐P∧┐Q)
=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(P∧Q∧R)∨(P∧┐Q ∧R)∨ (┐P∧Q ∧R)∨(┐P∧┐Q∧R)(上式整理后)
=>m1∨m3∨m4∨m5∨m7 (上式整理后)
方法二:
原式=>┐(┐P∨Q)∨R
=>(P∧┐Q)∨R
=>(P∨R)∧(┐Q∨R)
=>((P∨R) ∨ (Q∧┐Q))∧((P∧┐P)∨(┐Q∨R))
=>(P∨Q∨R) ∧ (P∨┐Q∨R) ∧(P∨┐Q∨R) ∧(┐P∨┐Q∨R)
=>M0∧M2∧M6 (上式整理后得到主合取范式)
=>m1∨m3∨m4∨m5∨m7 (根据主合取范式与主析取范式的互补性,由上式直接得到主析取范式)

求P→Q∨R的析取范式、主析取范式、主合取范式等值演算 p→q→r(p→ q)→(p→r) 求下列公式的主范式.1.（P→Q）↔ R（主析取范式） 2.（P→Q）↔ R（主合取范式）求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式麻烦求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用, 离散数学如何用等值演算法求(p∧q)∨r的主析联范式? 用等值演算或真值表证明公式（p→q)∧(p→r)＜＝＞p→(q∧r) 离散数学求（p→q）↔r 的主析取范式.公式分解离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式急 ┐（┐R→P）∧P∧Q如何求主合取范式与主析取范式, 求离散数学(P→ Q)→ R主合取范式和主析取范式求命题公式 ((p∨q)→r)→p 的主析取范式