1樓：
只要看式子中連線每一項的連線詞是∧還是∨，連線詞是∧則式子為合取正規化，為∨是析取正規化。
例如：(a∨b∨c)∧(a∨┐b∨┐c)∧(a∨┐b∨c)是合取正規化；
a∧b∧c)∨(a∧┐b∧┐c)∨(a∧b∧c)是析取正規化。
把乙個式子寫為合取正規化或者析取正規化，可以通過等價關係運算得出。
離散數學(discrete mathematics)是研究離散量的結構及其相互關係的數學學科，是現代數學的乙個重要分支。離散的含義是指不同的連線在一起的元素，主要是研究基於離散量的結構和相互間的關係，其物件一般是有限個或可數個元素。離散數學在各學科領域，特別在電腦科學與技術領域有著廣泛的應用，同時離散數學也是計算機專業的許多專業課程，如程式設計語言、資料結構、作業系統、編譯技術、人工智慧、資料庫、演算法設計與分析、理論電腦科學基礎等必不可少的先行課程。
通過離散數學的學習，不但可以掌握處理離散結構的描述工具和方法，為後續課程的學習創造條件，而且可以提高抽象思維和嚴格的邏輯推理能力，為將來參與創新性的研究和開發工作打下堅實的基礎。
求詳細解釋離散數學中的析取正規化、合取正規化，主析取正規化、主合取正規化
2樓：zzllrr小樂
簡而言之，主合取正規化，就是若干個（只有1個也可以）極大項的合取（交集）。
主析取正規化，就是若干個（只有1個也可以）極小項的析取（並集）。
如何按步驟求命題公式的主合取正規化與主析取正規化。
離散數學 求主析取正規化
3樓：zzllrr小樂
(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∧(¬q∨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∨r) 吸收律、等冪律⇔ (p∨q∨r))∨p∨q∨r) 德摩根定律⇔1永真式，等價於下列主析取正規化：
p∧q∧r)∨(p∧q∧¬r)∨(p∧¬q∧r)∨(p∧¬q∧¬r)∨(p∧q∧¬r)∨(p∧¬q∧r)∨(p∧¬q∧¬r)∨(p∧q∧r)
求問一下 離散數學裡的那個 主析取正規化 和 主合取正規化 的那個 最小項 最大項是怎麼得的啊
4樓：網友
含n個命題變項的簡單合取式(簡單析取式)，若每個命題變項及其否定式不同時出現，而二者之一必出現且僅一次，且第i個命題變項或其否定式出現在左起第i位上(按字典序。
排列)，稱該簡單合取式(簡單析取式)為極小項(極大項)
離散數學中怎樣用主析取正規化求主合取正規化
5樓：網友
n 個命題變元的命題公式 a 有 2^n 個極大項和 2^n 個極小項，如果 a 的主析取正規化含有 k 個極大項，則它的主合取正規化將含有下標與那 k 個極大項互補的所有極小項。
6樓：zzllrr小樂
得到主析取正規化後，可以檢查遺漏的極小項，得到與之相應的極大項，然後這些極大項合取，即可得到主合取正規化。
含有n命題變項的矛盾式主析取正規化是什麼？
7樓：網友
:今天是星期一；q:進行英語考試；r：
進行離散數學考試；t：英語老師開會 前提：p---qvr)；t---q；p/\t 結論：
r 證明： 前提引入 1化簡規則 1化簡規則 前提引入 24假言推理 前提引入 7.『q 36假言推理 57析取三段論 有問題吧，前提已經給出p了，怎麼結論又是『p 前提引入 2.
t 前提引入 3.『s 12拒取式 4.『s-->r 前提引入 34假言推理 前提引入 7.
p 56拒取式 前提引入 78析取三段論。
8樓：網友
為0。矛盾式的真值全為0，全為成假賦值，其主合取式為m(0)∧m(1)∧…m(n-1),其主析取式為0，因為沒有成真賦值。(注：小括號內的為下標)
離散數學：證明乙個析取正規化是矛盾式若且唯若它的每個簡單合取式都是
9樓：zzllrr小樂
必要性：
用反證法，假設存在乙個簡單合取式不是矛盾式，即為真此時，得到析取正規化為真，不是矛盾式！因此假設不成立。
充分性：每個簡單合取式都是矛盾式，則都為假，所有假值表示式析取後，仍為假，也即該析取正規化是矛盾式。
關於離散數學求如下公式的主析取正規化和主合取正規化 p qp r
求主正規化的過程如下 p 62616964757a686964616fe78988e69d8331333337626230q p r p q r r p q q r 補項 p q r p q r p q q r 分配律2 p q r p q r p q q r 結合律 p q r p q r p q...
m2指增長什麼意思,金融學中的M2是什麼意思
m1 m2是貨幣 量的範疇。我國現階 段也是將貨幣 量劃分為三個層次回,其含義是 m1 狹答義貨幣 量,即m。企事業單位活期存款 m2 廣義貨幣 量,即m1 企事業單位定期存款 居民儲蓄存款。金融學中的 m2 是什麼意思?m2即廣義貨幣,是一個經濟學概念。m0 m1 m2 m3都是用來反映貨幣 量的...
離散數學無向圖中權是什麼,離散數學中的權到底是什麼實在搞不清楚,求教
這就是要考慮無向圖代表的實際問題了,比如說頂點代表城市,兩個城市之間有路,則兩點之間有邊,那麼權可以表示兩個城市之間的距離 類似的問題很多 離散數學中的權到底是什麼?實在搞不清楚,求教 你說的是圖中的權吧,表示邊的數字特徵,可以表示長度,也可以表示費用等。表示邊的數字特徵,可以表示長度,也可以表示費...