离散数学_数理逻辑题: 求该"和取范式"的"析取范式"?(P->(Q ∩ R)) ∩ (┐P->(┐Q∩┐R))的析取范式是什么?我试图用分配律来展开,发现越展开越大,最后完全没有思路了.应该怎么做呢,请给出详细

来源：学生作业帮助网编辑：作业帮时间：2024/11/15 15:11:02

离散数学_数理逻辑题: 求该"和取范式"的"析取范式"?(P->(Q ∩ R)) ∩ (┐P->(┐Q∩┐R))的析取范式是什么?我试图用分配律来展开,发现越展开越大,最后完全没有思路了.应该怎么做呢,请给出详细
离散数学_数理逻辑题: 求该"和取范式"的"析取范式"?
(P->(Q ∩ R)) ∩ (┐P->(┐Q∩┐R))的析取范式是什么?
我试图用分配律来展开,发现越展开越大,最后完全没有思路了.
应该怎么做呢,请给出详细步骤吧.

离散数学_数理逻辑题: 求该"和取范式"的"析取范式"?(P->(Q ∩ R)) ∩ (┐P->(┐Q∩┐R))的析取范式是什么?我试图用分配律来展开,发现越展开越大,最后完全没有思路了.应该怎么做呢,请给出详细
是求主析取范式和主合取范式吧?
第一种方法：
原式=(┐P∨(Q∧R)) ∧(P∨(┐Q∧┐R))
=(┐P∧(P∨(┐Q∧┐R))) ∨((Q∧R) ∧(P∨(┐Q∧┐R)))
=(┐P∧P)∨(┐P∧┐Q∧┐R)) ∨（Q∧R∧P）∨（Q∧R∧┐Q∧┐R）
=(┐P∧┐Q∧┐R) ∨（P∧Q∧R）主析取范式
原式=(┐P∨Q) ∧（┐P∨ R) ∧(P∨┐Q)∧（P∨┐R)
=(┐P∨Q∨（R∧┐R）) ∧（┐P∨（Q∧┐Q）∨ R))∧(P∨┐Q∨（R∧ ┐R）)∧（P∨（Q∧┐Q）∨┐R)
=(P∨Q∨┐R）)∧（P∨┐Q∨ R)∧(P∨┐Q∨┐R）)∧（┐P∨Q∨R）∧（┐P∨Q∨┐R）∧（┐P∨┐Q∨R）主合取范式
我用的等价但在这里显示不了,只能用=代替了
第二种方法就是画出真值表.这里就不写了.

(P->(Q ∩ R)) ∩ (┐P->(┐Q∩┐R))
=(┐P∪(Q ∩ R)) ∩ (P∪(┐Q∩┐R))
=(┐P∪(Q ∩ R)) ∩ (P∪┐（Q ∪ R)
=((┐P∪(Q ∩ R)) ∩ P) ∪ ((┐P∪(Q ∩ R)) ∩ ┐（Q ∪ R))
=(Q ∩ R ∩ P) ∪ (┐P ∩ ┐Q ∩ ┐R)
=空

离散数学_数理逻辑题: 求该和取范式的析取范式?(P->(Q ∩ R)) ∩ (┐P->(┐Q∩┐R))的析取范式是什么?我试图用分配律来展开,发现越展开越大,最后完全没有思路了.应该怎么做呢,请给出详细离散数学怎样判断合取范式和析取范式? 离散数学数理逻辑题已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值为001,010,111,求A的主析取范式和主合取范式,及A对应的真值函数.P90A的主析取范式为m1 ∨ m2 ∨ m7A的主合离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r- 求离散数学(P→ Q)→ R主合取范式和主析取范式离散数学的主析取范式和主合取范式应该怎样求求具体的方法一看到这样的题就卡住离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式急一道离散数学题目求主合、析取范式求合式((p->q)∧┒(q->┒p))的主合、析取范式关于离散数学析取范式与合取范式请问这是为什么? 离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式求┐(pV┐q)∧(s→r)合取范式和主合取范式离散数学：求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分离散数学数理逻辑(p->r)∧(q->┐r)∧(┐r->(p∨q)) 怎么演算变成主析取范式? 答案是 m1∨m2∨m5 离散数学命题逻辑这一题中,由合取范式到化简后的合取范式,这一步是怎么来的? 离散数学中怎样用主析取范式求主合取范式【离散数学】析取范式和合取范式怎么转化?（P∧Q)∨(┐P∧Q)∨(┐Q∧P) 怎么转成合取范式呢? 离散数学,主析取范式与主合取范式.谢谢了.求┐（P∧Q)→R的主析取范式与主合取范式. 【离散数学】(p∧q)∨(﹁pvr)算析取范式吗?如果不是,帮忙转成析取范式.