求┐(pV┐q)∧(s→r)合取范式和主合取范式

来源：学生作业帮助网 编辑：作业帮 时间：2024/04/29 19:48:48

求┐(pV┐q)∧(s→r)合取范式和主合取范式
求┐(pV┐q)∧(s→r)合取范式和主合取范式

求┐(pV┐q)∧(s→r)合取范式和主合取范式
┐(pV┐q)∧(s→r)
⇔┐p∧q∧(┐sVr) (合取范式）
现对每个合取项构成保证形式,如┐p,要把q,s,r全部添进去.
主合取范式一共有12项

(1)R P(添加前提）
(2)┐RVP P
(3)P T，(1)，(2)
(4)P→(Q→S) P
(5)(Q→S) T，(3)，(4)，
(6)Q P
(7)S T，(5)，(6)
(8)R→S CP，(1)，(7)
其中，第3步的T用到了公式：┐A∧(A∨B) => B
第5步和第7步的T用到了公式：A∧(A→B) =>...

全部展开

(1)R P(添加前提）
(2)┐RVP P
(3)P T，(1)，(2)
(4)P→(Q→S) P
(5)(Q→S) T，(3)，(4)，
(6)Q P
(7)S T，(5)，(6)
(8)R→S CP，(1)，(7)
其中，第3步的T用到了公式：┐A∧(A∨B) => B
第5步和第7步的T用到了公式：A∧(A→B) => B
P：前提引入规则（P规则）：引入已知前提
T：结论引入规则（T规则）：证明过程中的某些先前步骤，通过公式（基本等值式or基本蕴藏式）变换出的新公式 可引入
CP：CP规则：如果由B和一组前提推出C，则仅由这组前提可推出B→C
如本题，第1步至第7步，由R和给出的已知前提推出S，则说明这组前提能推出B→C

收起

求┐(pV┐q)∧(s→r)合取范式和主合取范式 P→Q∧R的合取范式和主析取范式? 把下列公式化成合取范式((P∧Q)∧((P→R)∧(Q→S)))→(S∧R)注意是合取范式,不是主合取范式 P→（（Q→P）∧（┐P∧Q））主析取范式和主合取范式PV(Q∧R)→(P∧Q∧R)主析取范式 离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r- 离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急 【离散数学】析取范式和合取范式怎么转化?（P∧Q)∨(┐P∧Q)∨(┐Q∧P) 怎么转成合取范式呢? 离散数学,主析取范式与主合取范式.谢谢了.求┐（P∧Q)→R的主析取范式与主合取范式. 主析取范式主合取范式成真赋值成假赋值（pv(q∧r))→(p∧qVr)求此命题公式的主析取范式,主合取范式,成真赋值,成假赋值.等值演算步骤的那种 求下列公式的主析取和主合取范式,(p∧┐q)∨(q∧r) 为什么┐p∨q可以看成合取范式? 一道离散数学题目求主合、析取范式求合式((p->q)∧┒(q->┒p))的主合、析取范式 ┐（┐R→P）∧P∧Q如何求主合取范式与主析取范式, 求公式(p→q)∨┐(q∨r)的主析取范式和主合取范式,判断类型,求10.30前答复 求P→Q∨R的析取范式、主析取范式、主合取范式我求的是：P→Q∨R的析取范式、主析取范式、主合取范式， 求离散数学(P→ Q)→ R主合取范式和主析取范式 求命题公式(P∧Q)∨R的主析取范式和主合取范式