1樓：zzllrr小樂
(a∧b)∨(c∧d)
或者a∧b
這種形式的命題叫做析取正規化
(a∨b)∧(c∨d)
或者a∨b
這種叫做合取正規化
求詳細解釋離散數學中的析取正規化、合取正規化，主析取正規化、主合取正規化
2樓：zzllrr小樂
簡而言之，主合取正規化，就是若干個（只有1個也可以）極大項的合取（交集）。
主析取正規化，就是若干個（只有1個也可以）極小項的析取（並集）。
如何按步驟求命題公式的主合取正規化與主析取正規化
離散數學：什麼是正規化 ？不要合取正規化、析取正規化的定義，什麼樣的算是正規化？什麼樣的不算？
3樓：
一般的教材不直接bai介紹du
正規化的概念，以下屬於個人理解zhi。我覺得範dao式可以理解為一回類結構特殊一點的合式
答公式或乾脆稱之為命題公式，說它特殊是因為它的組成部分，除了命題變項p,q,r,...外，其中的聯結片語成一個聯結詞完備集，比如，由此可以構造出析取正規化或合取正規化。這類正規化可以很容易判斷是永真式、永假式還是可滿足式子，討論正規化的目的就是研究命題公式的簡化，從而可以對命題公式進行分類。
4樓：匿名使用者
老實說，我還給老師了。。。
離散數學中的蘊涵等值式是怎麼回事,還有還有那個單橫
本題不是等bai值式,是構造推理證du明 前提 ex p x h x ax f x zhih x dao 結論 ax f x 專p x 證明 1 ex p x h x 前提引入2 ax p x 屬h x 以下每一步的理由留給你 3ax h x p x 4h a p a 5ax f x h x 6f ...
如何判斷是無向簡單圖的度數列,離散數學中如何判斷一個數列是不是無向簡單圖的度數列
首先,根據握手 定理,度數之和必須是偶數 5,4,3,2,1 排除其次,最高度數小於節版點個數。滿足這兩點權的就要結合圖來判斷。比如 1,3,3,3 選取任意一點a為3度點,剩下的bcd點都是1度,可選擇其中一個為最終1度點,比如b,那麼剩下的cd兩點要變成3度的。而a,b的度數不能改變,所以cd由...
什麼叫上確界,下確界，離散數學關於上界和下界，上確界和下確界的區別
參考資料 設x 為實數的有界集合.若 1 每一個 x x 滿足不等式 x m 2 對於任何的 0,存在有x x,使 x m 則數 m inf 稱為集合x的下確界.同樣,若 1 每一個 x x 滿足不等式 x m 2 對於任何的 0,存在有x x,使 x m 則數 m sup 稱為集合x的上確界 另外...