主合取范式例题

田南典4123求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式 -
桓钓康13674953271 ______[答案] 先算主析取范式:(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)∨(﹁p∧﹁r)∨(p∧q∧r)((﹁p∧﹁q)∧(r∨﹁r))∨((﹁p∧﹁r)∧(q∨﹁q))...

田南典4123离散数学主合取题(非P→Q)→(非Q v P)的主合取范式答案上给出的是非Q v P 我算出来的是非Q且P 所以我现在不知道是答案印错了 还是我自己算错了 ... -
桓钓康13674953271 ______[答案] (非P→Q)→(非Q ∪P)的主合取范式 (非P→Q)→(非Q ∪P)=(P ∪Q)→(非Q∪P) =非(P ∪Q)∪(非Q ∪P)=(非P ∩非Q)∪(非Q ∪P) =(非P∪(非Q ∪P)) ∩(非Q∪(非Q ∪P)) =T ∩(非Q∪P)=非Q∪P

田南典4123求主合取范式,再用主合取范式求主析取.(p←→q)→r -
桓钓康13674953271 ______[答案] (p←→q)→r =[(p Λ q) v (¬p Λ ¬q)]→r =[(p Λ q)→r] Λ [(¬p Λ ¬q)→r] =[¬(p Λ q) V r] Λ [¬(¬p Λ ¬q) V r] =[(¬p V ¬q V r] Λ [(p V q V r] =M6 Λ M0 这个就是主合取范式 =m1 V m2 V m3 V m4 V m5 V m7 根据范式互补规律,这个就是主析取范式 主析取范...

田南典4123已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值分别为FFT...
桓钓康13674953271 ______ 主合取范式:若干个极大项的合取. 主析取范式:若干个极小项的析取. 例, 求公式(p∧q)∨r的主析取范式及主合取范式. 主析取范式: (p∧q)∨r <==>(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r) <==>(p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)...

田南典4123(P∧R)∨(S∧R)∨非P 求主合取范式 -
桓钓康13674953271 ______[答案] (P∧R)∨(S∧R)∨非P =(P∨S∨非P)∧(P∨R∨非P)∧(R∨S∨非P)∧(R∨R∨非P) =1∧1∧(R∨S∨非P)∧(R∨非P) =(R∨S∨非P)∧(R∨非P) 又 R∨非P =非P∨R∨(S∧非S) =(非P∨R∨S)∧(非P∨R∨非S) 所以 (P∧R)∨(S∧R)∨非P ...

田南典4123求与((X1 - > X2) - > X3) - > X4逻辑等价的主合取范式和主析取范式```? -
桓钓康13674953271 ______[答案] 别胡来啊, 主合取范式 (X1VX2V~X3VX4)∧(X1V~X2V~X3VX4)∧(~X1VX2VX3VX4)∧(~X1VX2V~X3VX4)∧(~X1V~X2V~X3VX4) 主析取范式 (X1∧X2∧X3∧X4)V(X1∧X2∧~X3∧X4)V(X1∧X2∧~X3∧~X4)V(X1∧~X2∧X3∧X4)V...

田南典4123求离散数学(P→ Q)→ R主合取范式和主析取范式 -
桓钓康13674953271 ______[答案] 主析取:m1vm3vm4vm5vm7 主合取:M0^M2^M6 可以用真值表法或是等值演算法.

田南典4123离散数学中怎样利用真值表计算主合取范式 -
桓钓康13674953271 ______[答案] 首先要知道命题公式中有几个命题变项,比如n个. 其次,找出成假赋值,换算成n位十进制数i,以此作为下标的极大项Mi的合取即为所求的主合取范式. 例如:命题公式p∨q→r,成假赋值是010,100,110,所以主合取范式是M2∧M4∧M6

田南典4123合取范式,合取主范式的区别,最好有例子,简单易懂一点 -
桓钓康13674953271 ______[答案] 合取式: P∧Q∧R合取范式: (p∨q)∧(p∨┐q∨r)∧ (┐p∨r)主合取范式: (p∨q∨r)∧(p∨┐q∨r)∧ (┐p∨q∨r)