離散 求其主合取范式 帶過程謝謝
過程如下：
(¬P∧(P↔Q))∨¬Q
⇔(¬P∧((P→Q)∧(Q→P)))∨¬Q 變成 合取析取
⇔(¬P∧((¬P∨Q)∧(¬Q∨P)))∨¬Q 變成 合取析取
⇔(¬P∧(¬P∨Q)∧(P∨¬Q))∨¬Q 結(jié)合律
⇔(¬P∧(P∨¬Q))∨¬Q 合取析取 吸收率
⇔(¬P∧¬Q)∨¬Q 合取析取 吸收率
⇔¬Q 合取析取 吸收率
⇔(¬P∧P)∨¬Q 補(bǔ)項(xiàng)
⇔（¬P∨¬Q）∧（P∨¬Q） 分配率
得到主合取范式
檢查遺漏的極大項(xiàng)，變?cè)》矗玫街魑鋈》妒?br />(¬P∧¬Q)∨(P∧¬Q)
笪媚13416806781： 離散數(shù)學(xué)中怎樣用主析取范式求主合取范式 -
曲沃縣細(xì)實(shí)： ______[答案] 主析取范式是由極小項(xiàng)之和構(gòu)成的,命題公式化簡(jiǎn)出來的主析取范式中包含的極小項(xiàng),其下標(biāo)對(duì)應(yīng)的指派得到的命題公式的真值應(yīng)該為1.主合取范式由極大項(xiàng)之積構(gòu)成,命題公式等價(jià)的主合取范式中包含的極大項(xiàng),其對(duì)應(yīng)下標(biāo)應(yīng)該是...
笪媚13416806781： 離散數(shù)學(xué) 用等值演算求(P→Q)→R的主析取范式 (要解答過程) -
曲沃縣細(xì)實(shí)： ______ 方法一: 原式=>┐(┐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...
笪媚13416806781： (離散數(shù)學(xué))公式(見下圖) 的主合取范式為 - ----------------------------- -
曲沃縣細(xì)實(shí)： ______ 用P'表示非P, 原式=PR+SR+P' =PR+SR+P'(R+R') =PR+P'R+SR+P'R' =(P+P')R+SR+P'R' =R+SR+P'R' =R+P'R'. 可以嗎?
笪媚13416806781： 離散數(shù)學(xué) 求主析取范式 -
曲沃縣細(xì)實(shí)： ______ P→(┐Q∨R) <==> ┐P∨(┐Q∨R) <==> ┐P∨┐Q∨R <==> M6 <==> Π(6) (主合取范式) <==> Σ(0,1,2,3,4,5,7) (主析取范式) 注:符號(hào)取自屈婉玲等編寫的《離散數(shù)學(xué)》.
笪媚13416806781： 離散數(shù)學(xué)范式問題,急,求詳解1.求主合取范式,并求成假賦值 非(q→非p)∧非p2.求公式的主析取范式,并求成真賦值 (非p→q)→(非q∨p) -
曲沃縣細(xì)實(shí)： ______[答案] 真值表法:p q ┐p q→┐p ┐(q→┐p) ┐(q→┐p) ∧┐p ┐p→q ┐q∨p (┐p→q )→(┐q∨p)0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 1 1 1 公式┐(q→┐p) ∧┐p 從真值表中看出 其真值...
笪媚13416806781： 離散數(shù)學(xué)(P?Q)∪(P∩R)的主析取范式和主合取范式 -
曲沃縣細(xì)實(shí)： ______ (P?Q)∨(P∧R) ?((P→Q)∧(Q→P))∨(P∧R) 變成 合取析取 ?((?P∨Q)∧(?Q∨P))∨(P∧R) 變成 合取析取 ?((?P∨Q)∧(P∨?Q))∨(P∧R) 交換律 排序 ?((?P∧(P∨?Q))∨(Q∧(P∨?Q)))∨(P∧R) 分配律 ?(?P∧(P∨?Q))∨(Q∧(P∨?Q)...
笪媚13416806781： 離散數(shù)學(xué) - 數(shù)理邏輯題: 求該＂和取范式＂的＂析取范式＂? -
曲沃縣細(xì)實(shí)： ______ 是求主析取范式和主合取范式吧?第一種方法:原式=(┐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∧...
笪媚13416806781： 離散數(shù)學(xué):求P∨( P→(Q∨(Q→R)))主合取與主析取范式 -
曲沃縣細(xì)實(shí)： ______ 去掉蘊(yùn)含符號(hào) 原式=P V( ┐P V (Q V(┐Q V R))) 因?yàn)檎麄€(gè)式子里面沒有合取符號(hào),所以 主合取=0 主析取=(P V ((┐PVQ)) V( ┐P V (┐Q V R))) =(PV(┐PVQ)) V ( P V ┐P) V (P V (┐Q V R)) =PV(Q V(┐Q V R)) =P V R
笪媚13416806781： 求離散數(shù)學(xué)(P→ Q)→ R主合取范式和主析取范式 -
曲沃縣細(xì)實(shí)： ______[答案] 主析取:m1vm3vm4vm5vm7 主合取:M0^M2^M6 可以用真值表法或是等值演算法.
笪媚13416806781： 離散數(shù)學(xué):P - >((P - >Q)^┐(┐Qv┐P )) 求主析取范式. -
曲沃縣細(xì)實(shí)： ______ P→((P→Q)∧┐(┐Q∨┐P )) <==> ┐P∨((┐P∨Q)∧(┐┐Q∧┐┐P )) <==> (┐P∨(┐P∨Q))∧(┐P∨(Q∧P )) <==> (┐P∨Q)∧(┐P∨Q)∧1 <==> (┐P∨Q) <==> M2 (主合取范式) <==> m0∨m1∨m3 (主析取范式)
(¬P∧(P↔Q))∨¬Q
⇔(¬P∧((P→Q)∧(Q→P)))∨¬Q 變成 合取析取
⇔(¬P∧((¬P∨Q)∧(¬Q∨P)))∨¬Q 變成 合取析取
⇔(¬P∧(¬P∨Q)∧(P∨¬Q))∨¬Q 結(jié)合律
⇔(¬P∧(P∨¬Q))∨¬Q 合取析取 吸收率
⇔(¬P∧¬Q)∨¬Q 合取析取 吸收率
⇔¬Q 合取析取 吸收率
⇔(¬P∧P)∨¬Q 補(bǔ)項(xiàng)
⇔（¬P∨¬Q）∧（P∨¬Q） 分配率
得到主合取范式
檢查遺漏的極大項(xiàng)，變?cè)》矗玫街魑鋈》妒?br />(¬P∧¬Q)∨(P∧¬Q)
相關(guān)評(píng)說：
曲沃縣細(xì)實(shí)： ______[答案] 主析取范式是由極小項(xiàng)之和構(gòu)成的,命題公式化簡(jiǎn)出來的主析取范式中包含的極小項(xiàng),其下標(biāo)對(duì)應(yīng)的指派得到的命題公式的真值應(yīng)該為1.主合取范式由極大項(xiàng)之積構(gòu)成,命題公式等價(jià)的主合取范式中包含的極大項(xiàng),其對(duì)應(yīng)下標(biāo)應(yīng)該是...
曲沃縣細(xì)實(shí)： ______ 方法一: 原式=>┐(┐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...
曲沃縣細(xì)實(shí)： ______ 用P'表示非P, 原式=PR+SR+P' =PR+SR+P'(R+R') =PR+P'R+SR+P'R' =(P+P')R+SR+P'R' =R+SR+P'R' =R+P'R'. 可以嗎?
曲沃縣細(xì)實(shí)： ______ P→(┐Q∨R) <==> ┐P∨(┐Q∨R) <==> ┐P∨┐Q∨R <==> M6 <==> Π(6) (主合取范式) <==> Σ(0,1,2,3,4,5,7) (主析取范式) 注:符號(hào)取自屈婉玲等編寫的《離散數(shù)學(xué)》.
曲沃縣細(xì)實(shí)： ______[答案] 真值表法:p q ┐p q→┐p ┐(q→┐p) ┐(q→┐p) ∧┐p ┐p→q ┐q∨p (┐p→q )→(┐q∨p)0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 1 1 1 公式┐(q→┐p) ∧┐p 從真值表中看出 其真值...
曲沃縣細(xì)實(shí)： ______ (P?Q)∨(P∧R) ?((P→Q)∧(Q→P))∨(P∧R) 變成 合取析取 ?((?P∨Q)∧(?Q∨P))∨(P∧R) 變成 合取析取 ?((?P∨Q)∧(P∨?Q))∨(P∧R) 交換律 排序 ?((?P∧(P∨?Q))∨(Q∧(P∨?Q)))∨(P∧R) 分配律 ?(?P∧(P∨?Q))∨(Q∧(P∨?Q)...
曲沃縣細(xì)實(shí)： ______ 是求主析取范式和主合取范式吧?第一種方法:原式=(┐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∧...
曲沃縣細(xì)實(shí)： ______ 去掉蘊(yùn)含符號(hào) 原式=P V( ┐P V (Q V(┐Q V R))) 因?yàn)檎麄€(gè)式子里面沒有合取符號(hào),所以 主合取=0 主析取=(P V ((┐PVQ)) V( ┐P V (┐Q V R))) =(PV(┐PVQ)) V ( P V ┐P) V (P V (┐Q V R)) =PV(Q V(┐Q V R)) =P V R
曲沃縣細(xì)實(shí)： ______[答案] 主析取:m1vm3vm4vm5vm7 主合取:M0^M2^M6 可以用真值表法或是等值演算法.
曲沃縣細(xì)實(shí)： ______ P→((P→Q)∧┐(┐Q∨┐P )) <==> ┐P∨((┐P∨Q)∧(┐┐Q∧┐┐P )) <==> (┐P∨(┐P∨Q))∧(┐P∨(Q∧P )) <==> (┐P∨Q)∧(┐P∨Q)∧1 <==> (┐P∨Q) <==> M2 (主合取范式) <==> m0∨m1∨m3 (主析取范式)
