求主析取范式的步驟
關(guān)于離散數(shù)學(xué) 求如下公式的主析取范式和主合取 范式 (p∧q)∨(p∧r...
得到主析取范式 (p∧q)∨(p∧r)?p∧(q∨r) 分配律 ?(p∨(?q∧q)∨(?r∧r))∧((?p∧p)∨q∨r) 補項 ?((p∨?q∨(?r∧r))∧(p∨q∨(?r∧r)))∧((?p∧p)∨q∨r) 分配律2 ?(p∨?q∨...
離散數(shù)學(xué)求主析取范式
主析取范式是大學(xué)數(shù)學(xué)里一門名叫離散數(shù)學(xué)（Discrete mathematics）的課程中的內(nèi)容，在離散數(shù)學(xué)的數(shù)理邏輯一節(jié)中，利用真值表和等值演算法可以化簡或推證一些命題，但是當(dāng)命題的變元的數(shù)目較多時，上述方法都顯得不方便，所以需要給出把命題公式規(guī)范的方法，即把命題公式化成主合取范式和主析取范式的方法。析...
如何判斷一個邏輯公式的主析取范式和主合取范式呢?
主析取范式和主合取范式的概念應(yīng)該知道吧？等值演算：(?p→q)→(?q∨p)=(p∨q)→(?q∨p)=?(p∨q)∨(?q∨p)；（條件式轉(zhuǎn)化為析取式）=(?p∧?q)∨(?q∨p)；（否定轉(zhuǎn)移到到單個邏輯變量）求主范式和將公式簡化的過程正好相反，它要求...
離散數(shù)學(xué)_數(shù)理邏輯題: 求該"和取范式"的"析取范式"?
求解給定邏輯表達(dá)式的主析取范式和主合取范式是離散數(shù)學(xué)中的一個重要課題。首先采用代數(shù)方法進(jìn)行推導(dǎo)。原表達(dá)式為：(┐P∨(Q∧R)) ∧(P∨(┐Q∧┐R))。通過分配律展開，我們得到：(┐P∧(P∨(┐Q∧┐R))) ∨((Q∧R) ∧(P∨(┐Q∧┐R))) = (┐P∧P) ∨ (┐P∧┐Q∧┐R) ∨ ...
離散數(shù)學(xué),求主析取主合取范式～ ((A∨B)→C)→A
求主合取范式的步驟如下：?((A∨B)→C)→A ?((A∨B)→C)∨A 變成 合取析取 ?(?(A∨B)∨C)∨A 變成 合取析取 ?((?A∧?B)∨C)∨A 德摩根定律 ?(?A∧?B)∨C∨A 結(jié)合律 ??B∨C∨A 合取析取 ...
怎么用真值表法來確定主合取范式、主析取范式?
1.首先，我們需要了解一下數(shù)學(xué)概念。主合取范式，就是若干個極大項的合取（交集）。2.主析取范式，就是若干個極小項的析取（并集）。3.而所謂的極大項，就是包含全部數(shù)目的命題變元的析取表達(dá)式，例如：p∨?q∨r 4.所謂的極小項，就是包含全部數(shù)目的命題變元的合取表達(dá)式，例如：?p...
求( p→q)→( q∨p)的主析取范式步驟解釋
極小項、極大項中變元的順序按照字母順序從前到后，若有下標(biāo)，按下標(biāo)從小到大。你的答案是錯誤的，主析取范式是m1∨m2∨m3，主合取范式是M1。方法一是用真值表求主析取范式，找到成真賦值01，10，11，轉(zhuǎn)化為十進(jìn)制是1,2,3，所以主析取范式是m1∨m2∨m3。主合取范式是M0。方法二就是一般做法，...
[命題邏輯]功能完備集和主(析\/合)取范式
當(dāng)我們嘗試將一個命題公式轉(zhuǎn)換成主析取范式時，通常遵循這樣的步驟：先用德摩根律移動符號，再調(diào)整為A ∨ B形式，對于缺失的變元，通過添加補全。例如，通過二進(jìn)制對應(yīng)，A ∧ B可能對應(yīng)于二進(jìn)制010，轉(zhuǎn)換后即為A ∨ B。盡管主析取范式在證明中的作用顯著，但轉(zhuǎn)換過程的繁瑣有時令人頭疼，關(guān)鍵在于理解...
求P→(Q→R)的主析取范式和主合取范式,過程清晰明了。
有點懶，不想列出來了。你用真值表做很簡單，第一步：列出真值表。第二步：找出所有值為真的行構(gòu)成主析取范式。第三步：找出值為假的行構(gòu)成主合取范式。
離散數(shù)學(xué)中怎樣用主析取范式求主合取范式
在離散數(shù)學(xué)中，主析取范式和主合取范式是邏輯表達(dá)式的重要形式。主析取范式由極小項之和構(gòu)成，每個極小項對應(yīng)的指派能使命題公式為真。而主合取范式由極大項之積構(gòu)成，每個極大項對應(yīng)的指派能使命題公式為假。例如，如果有三個命題變元，那么極小項和極大項的下標(biāo)分別是0至7。如果一個命題變元的主...
植炎18516578217咨詢： ┐(┐R→P)∧P∧Q如何求主合取范式與主析取范式, -
伊春市止嚙合回復(fù)：
______[答案] 答:┐(┐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)
植炎18516578217咨詢： 離散數(shù)學(xué)問題,1、求命題公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有誰知道怎么求的?望賜教 -
伊春市止嚙合回復(fù)：
______[答案] 可以用真值表求.根據(jù)蘊含式A→B的真值的情形,只有A真B假時才為假,所以(P∨Q)→(R∨Q) 成假只有當(dāng)P∨Q真,R∨Q假時,此時P真Q假R假,即成假賦值只有100,對應(yīng)的極大項是M4,所以主合取范式是M4,那么主析取范式就是m0∨m...
植炎18516578217咨詢： p∨的主析取范式怎么求 -
伊春市止嚙合回復(fù)：
______ P Q R PVQ RVQ (P∨Q)→(R∨Q) 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 沒弄對其,應(yīng)該能看懂吧~ 然后主析取范式為(-P∧-Q∧-R)V(-P∧-Q∧R)V(-P∧Q∧-R)V(-P∧Q∧R)V(P∧-Q∧R)V(P∧Q∧-...
植炎18516578217咨詢： 離散數(shù)學(xué) 求主析取范式 -
伊春市止嚙合回復(fù)：
______ P→(┐Q∨R) <==> ┐P∨(┐Q∨R) <==> ┐P∨┐Q∨R <==> M6 <==> Π(6) (主合取范式) <==> Σ(0,1,2,3,4,5,7) (主析取范式) 注:符號取自屈婉玲等編寫的《離散數(shù)學(xué)》.
植炎18516578217咨詢： 離散數(shù)學(xué) - 數(shù)理邏輯題: 求該＂和取范式＂的＂析取范式＂? -
伊春市止嚙合回復(fù)：
______ 是求主析取范式和主合取范式吧?第一種方法:原式=(┐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∧...
植炎18516578217咨詢： 離散數(shù)學(xué):求析取范式和合取范式 -
伊春市止嚙合回復(fù)：
______ 跟據(jù)題意作等價變換即可: P∧(P→Q) ?P∧(?P∨Q) 變成 合取析取 ?P∧Q 合取析取 吸收率 得到主析取范式 然后檢查遺漏的極小項,取反,合取后得到,主合取范式: (?P∨?Q)∧(?P∨Q)∧(P∨?Q)
植炎18516578217咨詢： 求(p→(p∨q))∨r的主合取范式 -
伊春市止嚙合回復(fù)：
______[答案] 主合取范式:若干個極大項的合取. 主析取范式:若干個極小項的析取. 例, 求公式(p∧q)∨r的主析取范式及主合取范式. 主析取范式: (p∧q)∨r (p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r) (p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)∨(┐p...
植炎18516578217咨詢： 離散數(shù)學(xué):P - >((P - >Q)^┐(┐Qv┐P )) 求主析取范式. -
伊春市止嚙合回復(fù)：
______ 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 (主析取范式)
植炎18516578217咨詢： 誰能幫我做一下是怎么得到的這個范式啊 可以直接做也可以求主合取范式給我也行 -
伊春市止嚙合回復(fù)：
______ 可以先求主合取范式,然后得到主析取范式 具體步驟: (p→r)∧(q→?r)∧(?r→(p∨q)) ?(?p∨r)∧(?q∨?r)∧(r∨(p∨q)) 變成 合取析取 ?(?p∨r)∧(?q∨?r)∧(r∨p∨q) 結(jié)合律 ?(?p∨r)∧(?q∨?r)∧(p∨q∨r) 交換律 排序 ?(?p∨(?q∧...
植炎18516578217咨詢： 求(P↓Q)→(P∧?(Q∨?R))的主析取范式,,,大神你會嗎!嗚嗚嗚,江湖救急 -
伊春市止嚙合回復(fù)：
______ 解法一:用真值. (P↓Q)→(P∧?(Q∨?R))為假只有一種情況:(P↓Q)真,(P∧?(Q∨?R))假.P↓Q只在P,Q都假的時候為真,此時P∧?(Q∨?R)恒為假,所以(P↓Q)→(P∧?(Q∨?R))的成假賦值是000,001. 所以(P↓Q)→(P∧?(Q∨?R))的主析取范式是m2∨m3∨m4∨m5∨m6∨m7. 解法二:等值演算. (P↓Q)→(P∧?(Q∨?R))<=>??(P∨Q)∨(P∧?Q∧R)<=>(P∨Q)∨(P∧?Q∧R)<=>P∨Q<=>(P∧Q∧R)∨(P∧Q∧?R)∨(P∧?Q∧R)∨(P∧?Q∧?R)∨(?P∧Q∧R)∨(?P∧Q∧?R)<=>m2∨m3∨m4∨m5∨m6∨m7.
