離散數學問題求助，關於析取正規化的
1樓：認真答卻總被刪baidu我憑什麼同情你
析取正規化是指邏輯公式用一系列合取（and）子句通過析取（or）連線而成。換句話說，它是一系列由原薯者子命題及其否定構成的合取子句的析取。
在給出的四個公式中，沒有乙個是標準的析答改取正規化。然而，我們可以通過將它們化簡為析取正規化來判斷它們最接近哪乙個析取正規化：
a.(¬p˅q)˄ r
p˄數舉薯¬r) ˅q˄¬r)
b.(p˅q)˄(p˅¬q)
p˄¬p) ˅p˄¬q) ˅q˄¬p) ˅q˄¬q)⊥ p˄¬q) ˅q˄¬p) ˅
p˄¬q) ˅q˄¬p)
本身就是合取正規化，不能化簡為析取正規化。
p˄¬q) ˅p˄¬r)
根據這些化簡後的公式，可以看出（d）公式是最接近析取正規化的乙個。雖然它不是標準的析取正規化，但在這四個選項中，它是最符合析取正規化定義的。
2樓：功莎
b 因為析取正規化是指乙個命題公式可以寫成若干個合取式的棗野族析取，而脊悄選項b中的公式是由兩個合取式取凳弊或得到的，因此是乙個析取正規化。
離散數學求主析取正規化
3樓：風清揚說教育
綜述：一般可能會用到分配律：a∨（b∧c)<=>(a∨b)∧（a∨c)，a∧（b∨c)<=>(a∧b)∨（a∧c)。
其次若化簡式裡有蘊涵符號，則可以用蘊涵等值式a→b<=>a∨b進行化簡；若求主析取正規化，化簡式中有p∧q,需給其配上r,可配（p∧q)∧（r∨r),這裡用了零律及同一律，這裡就不詳說了；若求主合取正規化，化簡式中有p∨q,需給其配上r，可配（p∨q)∨（r∧r),所用同上。當然，也可利用成真賦值，成假賦值互相求出。
主析取正規化是大學數學裡一門名叫離散數學（discrete mathematics）的課程中的內容，在離散數學的數理邏輯一節中，利用真值表和等值演演算法可以化簡或推證一些命題，但是當命題的變元的數目較多時，上述方法都顯得不方便，所以需要給出把命題公式規範的方法，即把命題公式化成主合取正規化和主析取正規化的方法。
析取正規化內容簡介
析取正規化(dnf)是邏輯公式的標準化（或規範化），它是合取子句的析取。作為規範形式，它在自動定理證明中有用。乙個邏輯公式被認為是 dnf 的，若且唯若它是乙個或多個文字的乙個或多個合取的析取。
同合取正規化（cnf）一樣，在 dnf 中的命題運算元是與、或和非。非運算元只能用做文字的一部分，這意味著它只能領先於命題變數。
4樓：方鴻暉
（非p蘊含q）合取（q合取r）
等值於（p析取q）合取（q合取r）
等值於（p合取q合取r）析取（q合取q合取r）等值於（p合取q合取r）析取（q合取r）
等值於（p合取q合取r）析取（（q合取r）合取（p析取非p）等值於（p合取q合取r）析取（（q合取r合取p）析取（q合取r合取非p）
等值於（非p合取q合取r）析取（p合取q合取r）等值於m3析取m7
等值於 西格瑪（3,7）
求這個的主析取正規化，離散數學
5樓：
q-〉p，用析取正規化表示，就是q∨¬p，主析取正規化：所有簡單合取式都是極小項的析取正規化，稱為主析取正規化。
所有簡單析取式都是極大項的合取正規化稱為主合取正規化。
p-〉(p∧(q-〉p))
p-〉(p∧(q∨¬p))
p-〉(p∧q)∨(p∧¬p))
p-〉(p∧q)
p∨¬(p∧q)
p∨(¬p∨¬q)
離散數學，求 ┐（ p∨q) ↔（ p∧q)的主析取正規化，要詳細步驟。
6樓：
摘要。離散數學，求 ┐（p∨q) ↔p∧q)的主析取正規化，要詳細步驟。
親~<>
很高興為您解答：離散數學求主析取正規化步驟：首先一般可能會用到 分配律：
a∨(b∧c)(a∨b)∧(a∨c)，a∧(b∨c)(a∧b)∨(a∧c)；其次若化簡式裡有蘊涵符號，則可以用 蘊涵等值式 a→ba∨b 進行化簡。
(p∧q)∨r的主析取正規化。離散數學
7樓：分享社會民生
先補項，然後使用分配率：
p∧q)∨r
p∧q∧(¬r∨r))∨p∨p)∧(q∨q)∧r) 補項。
(p∧q∧¬r)∨(p∧q∧r))∨p∨p)∧(q∨q)∧r) 分配律。
p∧q∧¬r)∨(p∧q∧r)∨(p∨p)∧(q∨q)∧r) 結合律。
p∧q∧¬r)∨(p∧q∧r)∨(p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r)) 分配律。
p∧q∧¬r)∨(p∧q∧r)∨(p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r) 結合律。
p∧q∧¬r)∨(p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r))∨p∧(¬q∨q)∧r) 分配律。
p∧q∧¬r)∨(p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧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)∨(p∧¬q∧r)∨(p∧q∧r) 結合律。
p∧q∧¬r)∨(p∧¬q∧r)∨(p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) 等冪律。
得到主析取正規化。
8樓：網友
(p∧q)∨r⇔(p∧q∧(¬r∨r))∨p∨p)∧(q∨q)∧r) 補項。
(p∧q∧¬r)∨(p∧q∧r))∨p∨p)∧(q∨q)∧r) 分配律。
p∧q∧¬r)∨(p∧q∧r)∨(p∨p)∧(q∨q)∧r) 結合律。
p∧q∧¬r)∨(p∧q∧r)∨(p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r)) 分配律。
p∧q∧¬r)∨(p∧q∧r)∨(p∧(¬q∨q)∧r)∨(p∧(¬q∨q)∧r) 結合律。
p∧q∧¬r)∨(p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r))∨p∧(¬q∨q)∧r) 分配律。
p∧q∧¬r)∨(p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧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)∨(p∧¬q∧r)∨(p∧q∧r) 結合律。
p∧q∧¬r)∨(p∧¬q∧r)∨(p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) 等冪律。
主析取正規化是大學數學裡一門名叫離散數學的課程中的內容，在離散數學的數理邏輯一節中，利用真值表和等值演演算法可以化簡或推證一些命題，但是當命題的變元的數目較多時，上述方法都顯得不方便，所以需要給出把命題公式規範的方法，即把命題公式化成主合取正規化和主析取正規化的方法。
離散數學 求主析取正規化
9樓：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)
關於離散數學 求如下公式的主析取正規化和主合取 正規化 (p∧q)∨(p∧r)
10樓：小樂笑了
求主正規化的過程如下：
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∧r)∨(p∧q∧r)) 分配律2
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∧q)∨(r∧r))∧p∧p)∨q∨r) 補項。
(p∨¬q∨(¬r∧r))∧p∨q∨(¬r∧r)))p∧p)∨q∨r) 分配律2
p∨¬q∨(¬r∧r))∧p∨q∨(¬r∧r))∧p∧p)∨q∨r) 結合律。
(p∨¬q∨¬r)∧(p∨¬q∨r))∧p∨q∨(¬r∧r))∧p∧p)∨q∨r) 分配律2
p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨(¬r∧r))∧p∧p)∨q∨r) 結合律。
p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r))∧p∧p)∨q∨r) 分配律2
p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r)∧(p∧p)∨q∨r) 結合律。
p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r)∧(p∨q∨r)∧(p∨q∨r)) 分配律2
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)∧(p∨q∨r) 等冪律。
得到主合取正規化。
11樓：網友
bai (p∧
q)∨(p∧r)
=> (p∧duq∧(r∨zhi┐daor))∨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)<==> m7∨m6∨m5 （主析取正規化）
=> m4∧m3∧m2∧m1∧m0 （主合取正規化）
離散數學哈斯圖,離散數學問題,哈斯圖求解問題,求解,謝謝
1 r 2 跟題目中的bai哈斯圖差不多du,節點處畫閉zhi環 帶箭頭 圖中線段dao上端點新增箭頭即可內。3 b的最大元不容存在,極小元為a,上界為d 向上的路徑的終bai點是du極大值,向下的路徑的zhi 終點是極dao小值,若所有的路徑匯版合到一點,此為權最大值,若向下所有的路徑匯於一點,此...
離散數學,有關平面圖的問題,離散數學中關於平面圖的問題
1 22 3n 6 3 2n 4 源 如果平面圖的每個面的bai 次數du至少是l l 2 則有m l l 2 n 2 這zhi是尤拉公式的dao一個推論。第二個的每個面的次數至少是3,第三個的每個面的次數至少是4 離散數學中關於平面圖的問題 10 這問題有人回答過了.我就不多敲字了哈 1 bai2...
關於數學問題，關於數學的小問題
第一位數有9種可能即1 9，第二位有10種可能即0 9,第三位和第一位必須一樣所以只有一種可能，綜上，三位數的迴文數有9 10 1 90個。不考慮負整數 關於數學問題？數學難題可以是指那些歷經長時間而仍未有解答 完全解答的數學問題。古今以來，一些特意提出的數學難題有 平面幾何三大難題 希爾伯特的23...