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是用分配律zhi。這沒有什麼難dao處,就是寫起來專挺繁瑣的。6個小括號屬 內看作一個整體,分別記作abcdef。先用分配律,得到8個合取式組成的析取式,再判斷每一個式子的真值 a c e的真值是0,因為p1與p2不能同時為真。其餘的類似判斷。只有b c ...
離散數學判斷是否是格,離散數學中格的判斷是什麼啊?
不是格,因為1和2都有兩個上界,因此這兩個點沒有最小上界 最小上界有且只能有一個 格的定義 在偏序集中,任意兩個元素都有最小上界和最大下界稱為格。兩元素的最小上界和最大下界可以相同也可以不同,但是要存在 離散數學中的格定義是 設 l,是偏序集,若l中任意兩個元素都存在上確界以及下確界,則稱 l,是格...
離散數學和高等數學哪個難,離散數學比高等數學難學嗎
我認為離散數學難的,你是不是要學計算機啊,好象計算機專業的要學離散數學的,高等數學上大學的一般都得學的,我認為高數也就那樣,只要你上課聽,拿出高中一半的力量 哈 好好學吧 離散數學比高等數學難學嗎?我感覺難很多,高數我能考90分以上,離散數學我會擔心掛科 前提是我學離散數學比學高數認真而且花的時間多...