用等值演算求(P→Q)→R的主析取范式
来源:学生作业帮助网 编辑:作业帮 时间:2024/08/30 23:39:16
![用等值演算求(P→Q)→R的主析取范式](/uploads/image/z/6474436-52-6.jpg?t=%E7%94%A8%E7%AD%89%E5%80%BC%E6%BC%94%E7%AE%97%E6%B1%82%EF%BC%88P%E2%86%92Q%EF%BC%89%E2%86%92R%E7%9A%84%E4%B8%BB%E6%9E%90%E5%8F%96%E8%8C%83%E5%BC%8F)
xSj@~=&PB6o-ҾEb1HTh?J
}+tv1*73߷;cL[#bEXqCQ6[<&'X7oݰm_+Lc{EޛnOe3Df{,+vTccljXheq:T"+l6Ve X#6'C.XtS"Jͥc-LB4AZN1- Qxw"\^݃4IsBIg
用等值演算求(P→Q)→R的主析取范式
用等值演算求(P→Q)→R的主析取范式
用等值演算求(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的主析取范式
主析取范式主合取范式成真赋值成假赋值(pv(q∧r))→(p∧qVr)求此命题公式的主析取范式,主合取范式,成真赋值,成假赋值.等值演算步骤的那种
求下列公式的主范式.1.(P→Q)↔ R(主析取范式) 2.(P→Q)↔ R(主合取范式)
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
等值演算 p→q→r(p→ q)→(p→r)
求P→Q∨R的析取范式、主析取范式、主合取范式我求的是:P→Q∨R的析取范式、主析取范式、主合取范式,
离散数学如何用等值演算法求(p∧q)∨r的主析联范式?
离散数学,主析取范式与主合取范式.谢谢了.求┐(P∧Q)→R的主析取范式与主合取范式.
离散数学求(p→q)↔r 的主析取范式.公式分解
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,麻烦大家了,急用啊
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式
┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,
求离散数学(P→ Q)→ R主合取范式和主析取范式
用等值演算或真值表证明公式(p→q)∧(p→r)<=>p→(q∧r)
求命题公式 ((p∨q)→r)→p 的主析取范式
求公式(Q→P)∧(┓P∧Q)的主析取范式和主合取范式
离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型(1)﹃(p→q)∧ q (2)((p→q)∧ p)→q (3)(p→q)∧ q 以上是计算题,如果有数学专家或者老师麻烦解