求主范式例题

仇乔胖1323求主合取范式,再用主合取范式求主析取.(p←→q)→r -
台芝钢19311125539 ______[答案] (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 根据范式互补规律,这个就是主析取范式 主析取范...

仇乔胖1323已知主析取范式为(p∧q)V(┐p∧q)V(p∧┐q) 该怎么求主合取范式? -
台芝钢19311125539 ______[答案] (p∧q)V(┐p∧q)V(p∧┐q)(((p∧q)V┐p)∧((p∧q)Vq))V(p∧┐q)((qV┐p)∧q)V(p∧┐q) qV(p∧┐q)(qVp)∧(qV┐q)pVq

仇乔胖1323求离散数学(P→ Q)→ R主合取范式和主析取范式 -
台芝钢19311125539 ______[答案] 主析取:m1vm3vm4vm5vm7 主合取:M0^M2^M6 可以用真值表法或是等值演算法.

仇乔胖1323求主范式: (p→R)∧(P∨Q)∧(Q→┐ R) -
台芝钢19311125539 ______ P Q R P∧Q ┐P∧R (P∧Q)∨(┐P∧R) 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 原公式的主析取范式:(┐P∧┐Q∧R)V(┐P∧Q∧R)V(P∧Q∧┐R)V(P∧Q∧R) 主合取范式:(┐PVQV┐R)∧(┐PVQVR)∧(PV┐QVR)∧(PVQVR)

仇乔胖1323离散数学:┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,求步骤 -
台芝钢19311125539 ______ 答:┐(┐R→P)∧P∧Q =┐(┐┐RVP)∧P∧Q =┐R∧┐P∧P∧Q =0 所以,原式的主析取范式为 0 主合取范式为:(┐PV┐QV┐R)∧ (┐PV┐QVR)∧(┐PVQV┐R)∧(┐PVQVR)∧(PV┐QV┐R)∧(PV┐QVR)∧(PVQV┐R)∧(PVQVR)

仇乔胖1323求公式『(P Q)的主范式字母P和Q之间有一个双箭头.双箭头兄弟我不会打,只能这样说明了.呵.还有,括号前面的符号是『,原来的是错的. -
台芝钢19311125539 ______[答案] 我也没有逻辑符号.约定一下:∟表示“否定”,=代替“”.『(P Q)=∟(P↔O)=∟[(P∧Q)∨(∟P∧∟Q)] =∟(P∧Q)∧∟(∟P∧∟Q)]=(∟P∨∟Q)∧(P∨Q) =(∟P∧P)∨(∟P∧Q)∨(∟Q∧P)∨(...

仇乔胖1323离散数学求主析取范式
台芝钢19311125539 ______ (┐P→Q)→(┐Q∨P) <=> ┐(P∨Q)∨(┐Q∨P) <=> (┐P∧┐Q)∨(┐Q∨P) <=> (┐P∧┐Q)∨(1∧┐Q)∨(P∧1) <=> (┐P∧┐Q)∨((┐P∨P)∧┐Q)∨(P∧(┐Q∨Q)) <=> (┐P∧┐Q)∨(┐P∧┐Q)∨(P∧┐Q)∨(P∧┐Q)∨(P∧Q) <=> (┐P∧┐Q)∨(P∧┐Q)∨(P∧Q)

仇乔胖1323求(p→(p∨q))∨r的主合取范式 -
台芝钢19311125539 ______ 主合取范式:若干个极大项的合取. 主析取范式:若干个极小项的析取. 例, 求公式(p∧q)∨r的主析取范式及主合取范式. 主析取范式: (p∧q)∨r <==>(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r) <==>(p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)...

仇乔胖1323求下列公式的主析取范式和主合取范式P∧Q -
台芝钢19311125539 ______[答案] P∧Q就是这个公式的主析取范式,因为这个就是最小项m3,所以根据范式互补,它的主合取范式就是M0∧M1∧M2