1樓：zzllrr小樂
(a∧b)∨(c∧d)
或者a∧b
這種形式的命題叫做析取正規化
(a∨b)∧(c∨d)
或者a∨b
這種叫做合取正規化
離散數學怎樣判斷合取正規化和析取正規化？詳細些謝謝啦
2樓：酣獳血
你的問題描述不是很明白
是不是想問如何判斷一個式子是析取正規化還是合取正規化。
只要看式子中連線每一項的連線詞是∧還是∨，連線詞是∧ 則式子為合取正規化，為∨是析取正規化。
例如：(a∨b∨c)∧(┐a∨┐b∨┐c)∧(a∨┐b∨c)是合取正規化
(a∧b∧c)∨(┐a∧┐b∧┐c)∨(┐a∧b∧c)是析取正規化如果你是要問 如何把一個式子寫為合取正規化或者析取正規化，那建議你再看看書，可以通過等價關係運算得出。
求詳細解釋離散數學中的析取正規化、合取正規化，主析取正規化、主合取正規化
3樓：zzllrr小樂
簡而言之，主合取正規化，就是若干個（只有1個也可以）極大項的合取（交集）。
主析取正規化，就是若干個（只有1個也可以）極小項的析取（並集）。
如何按步驟求命題公式的主合取正規化與主析取正規化
離散數學：什麼是正規化 ？不要合取正規化、析取正規化的定義，什麼樣的算是正規化？什麼樣的不算？
4樓：
一般的教材不直接bai介紹du
正規化的概念，以下屬於個人理解zhi。我覺得範dao式可以理解為一回類結構特殊一點的合式
答公式或乾脆稱之為命題公式，說它特殊是因為它的組成部分，除了命題變項p,q,r,...外，其中的聯結片語成一個聯結詞完備集，比如，由此可以構造出析取正規化或合取正規化。這類正規化可以很容易判斷是永真式、永假式還是可滿足式子，討論正規化的目的就是研究命題公式的簡化，從而可以對命題公式進行分類。
5樓：匿名使用者
老實說，我還給老師了。。。
離散數學 雙射函式，離散數學 雙射函式？
滿射也好證明 a b c 則a a b c 從而b b,c c 因此 a b c 也就是說，對任意a b c 中的元素，都是可以找到原像的，因此是滿射。答案為c，f，g均為雙射函式，說明f，g既是單射，又是滿射，複合之後求逆從後往前寫 離散數學，假設函式f是集合a到a的雙射函式，則f複合f等於什麼，...
這個離散數學的符號代表什麼,離散數學這個符號什麼意思
這個是 異或 符號,運算規則是 如果兩個運算元不同,則結果為1,否則為0。identity,表示恆等對映,下標表示某個集合上的把自己對映為自己的對映。離散數學這個符號什麼意思 這個是 異或 符號,運算規則是 如果兩個運算元不同,則結果為1,否則為0。離散數學的部分符號 斷定 符 公式在l中可證 滿足...
離散數學證明ABBCAC
等價蘊含式 b c b c前提3 b c則 b c c1前提2乛d a d a前提1a b c d b c 2由1 2,得到d c 離散數學證明 a b b c a c 證明 b 62616964757a686964616fe58685e5aeb931333431373337c a b a b b ...