求主析取范式的方法
求下列公式的主析取范式,再用主析取范式求主合取范式。(p∨q)→q_百...
主析取范式：（非p∧非q）∨（p∧q）∨（p∧非q）主合取范式：p∨非q 先利用a→b非a∨b求得主析取范式，再利用布爾析取（大項）和布爾合取（小項）求主合取范式
主析取范式是什么?
主析取范式是大學數(shù)學里一門名叫離散數(shù)學的課程中的內容。在離散數(shù)學的數(shù)理邏輯一節(jié)中，利用真值表和等值演算法可以化簡或推證一些命題，但是當命題的變元的數(shù)目較多時，上述方法都顯得不方便，所以需要把命題公式化成主合取范式和主析取范式的方法。析取范式是邏輯公式的標準化（或規(guī)范化），它是合取子句...
離散數(shù)學 求析取范式
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 、 PVQ 、 RVQ 、 (P∨Q)→(R∨Q)；然后主析取范式為（-P∧-Q∧-R）V(-P∧-Q∧R)V(-P∧Q∧-R)V(-P∧Q∧R)V(P∧-Q∧R)V(P∧Q∧-R)V(P∧Q∧R) 主合取范式為PV-QV-R。其中“-”是非。P∧Q就是這個公式的主析取范式,因為這個就是最小項m3,...
((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式 謝謝~_百度知...
F F F T F T F 利用最后一列為T對應的小項的析取得主析取范式p∧q 利用最后一列為F對應的大項的合取得主合取范式(非p∨q)∧(p∨非q)∧(p∨q)方法2．((p∨q) ∧(p→q)) ?(q→p)=((p∨q) ∧(非p∨q)) ?(非q∨p)=((p∧非p)∨q)) ...
關于離散數(shù)學 求如下公式的主析取范式和主合取 范式 (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ù)學,求主析取主合取范式～ ((A∨B)→C)→A
(A∨B)→C)∨A 變成 合取析取 ?(?(A∨B)∨C)∨A 變成 合取析取 ?((?A∧?B)∨C)∨A 德摩根定律 ?(?A∧?B)∨C∨A 結合律 ??B∨C∨A 合取析取 吸收率 ?A∨?B∨C 交換律 排序 得到主合取范式 ...
求p∧q的析取范式
p∧q是個簡單的合取式，這個沒有辦法求主析取范式吧。簡單合取式: p,┐r,┐p∧r,┐p∧q∧r,p∧q∧┐r.比如我舉例一個:求公式(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)∨(...
離散數(shù)學:求主析取范式和主合取范式,用等價公式求
離散數(shù)學，求主析取范式和主合取范式主要就是利用等級公式，記住等價公式多聯(lián)系，多寫多推敲就可以掌握其中的精髓，看看書，祝你能學會 看不懂可練習我哦 上面如圖是我做的，由于紙張問題和時間問題最后一問沒去寫下去，但是也給你片尾曲《時間的漩渦》寫了做題過程和驗證方法。望能看懂！嘻嘻 ...
數(shù)理邏輯(2)——命題邏輯的等值、范式和推理演算
主合取范式：類似地，通過真值表中真值為0的行轉化為完全析取式，合取得到的公式與原公式等值。簡記為 [公式] 。主合取范式同樣唯一。主合取范式和主析取范式的轉換容易實現(xiàn)，因為它們涉及的完全析取式和完全合取式互補。求范式的方法：消去 [公式] 和 [公式] 、否定詞深入、合取詞\/析取詞深入、化簡...
東郭策13081614501咨詢： 離散數(shù)學問題,1、求命題公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有誰知道怎么求的?望賜教 -
西華縣面回復：
______ 可以用真值表求.根據(jù)蘊含式A→B的真值的情形,只有A真B假時才為假,所以(P∨Q)→(R∨Q) 成假只有當P∨Q真,R∨Q假時,此時P真Q假R假,即成假賦值只有100,對應的極大項是M4,所以主合取范式是M4,那么主析取范式就是m0∨m1∨m2∨m3∨m5∨m6∨m7
東郭策13081614501咨詢： 求(p→(p∨q))∨r的主合取范式 -
西華縣面回復：
______[答案] 主合取范式:若干個極大項的合取. 主析取范式:若干個極小項的析取. 例, 求公式(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...
東郭策13081614501咨詢： ┐(┐R→P)∧P∧Q如何求主合取范式與主析取范式, -
西華縣面回復：
______[答案] 答:┐(┐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)
東郭策13081614501咨詢： 用公式求P→(P∧(Q→R))求主析取范式 -
西華縣面回復：
______[答案] 用P'表示非P, P→(P∧(Q→R)) =P'∨(P∧(Q'∨R)) =(P'∨P)∧(P'∨(Q'∨R)) =P'∨Q'∨R.
東郭策13081614501咨詢： p∨的主析取范式怎么求 -
西華縣面回復：
______ 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 沒弄對其,應該能看懂吧~ 然后主析取范式為(-P∧-Q∧-R)V(-P∧-Q∧R)V(-P∧Q∧-R)V(-P∧Q∧R)V(P∧-Q∧R)V(P∧Q∧-...
東郭策13081614501咨詢： 離散數(shù)學數(shù)理邏輯(p - >r)∧(q - >┐r)∧(┐r - >(p∨q)) 怎么演算變成主析取范式? 答案是 m1∨m2∨m5 -
西華縣面回復：
______[答案] 常規(guī)做法是進行等值演算,過程有點麻煩.也可以用真值表,主析取范式中的每一個極小項mj的下標對應的二進制數(shù)(對于本題來說,就是三位二進制了)就是命題公式的成真賦值.所以我們只要找出所有的成真賦值,轉換為十進制數(shù),就得到了所有...
東郭策13081614501咨詢： 離散數(shù)學 求主析取范式 -
西華縣面回復：
______ P→(┐Q∨R) <==> ┐P∨(┐Q∨R) <==> ┐P∨┐Q∨R <==> M6 <==> Π(6) (主合取范式) <==> Σ(0,1,2,3,4,5,7) (主析取范式) 注:符號取自屈婉玲等編寫的《離散數(shù)學》.
東郭策13081614501咨詢： 誰能幫我做一下是怎么得到的這個范式啊 可以直接做也可以求主合取范式給我也行 -
西華縣面回復：
______ 可以先求主合取范式,然后得到主析取范式 具體步驟: (p→r)∧(q→?r)∧(?r→(p∨q)) ?(?p∨r)∧(?q∨?r)∧(r∨(p∨q)) 變成 合取析取 ?(?p∨r)∧(?q∨?r)∧(r∨p∨q) 結合律 ?(?p∨r)∧(?q∨?r)∧(p∨q∨r) 交換律 排序 ?(?p∨(?q∧...
東郭策13081614501咨詢： 離散數(shù)學:P - >((P - >Q)^┐(┐Qv┐P )) 求主析取范式. -
西華縣面回復：
______ 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 (主析取范式)
東郭策13081614501咨詢： 離散數(shù)學 - 數(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∧...
