㈠ 離散數學怎樣判斷合取範式和析取範式
1、只要看式子中連接每一項的連接詞是∧還是∨,連接詞是∧則式子為合取範式,為∨是析取範式。
例如:(A∨B∨C)∧(┐A∨┐B∨┐C)∧(A∨┐B∨C)是合取範式;
(A∧B∧C)∨(┐A∧┐B∧┐C)∨(┐A∧B∧C)是析取範式。
2、把一個式子寫為合取範式或者析取範式,可以通過等價關系運算得出。
拓展材料:離散數學的學科內容
1.集合論部分:集合及其運算、二元關系與函數、自然數及自然數集、集合的基數
2.圖論部分:圖的基本概念、歐拉圖與哈密頓圖、樹、圖的矩陣表示、平面圖、圖著色、支配集、覆蓋集、獨立集與匹配、帶權圖及其應用
3.代數結構部分:代數系統的基本概念、半群與獨異點、群、環與域、格與布爾代數
4.組合數學部分:組合存在性定理、基本的計數公式、組合計數方法、組合計數定理
5.數理邏輯部分:命題邏輯、一階謂詞演算、消解原理
資料來源:網路詞條離散數學
㈡ 關於離散數學判斷合式公式
首先,編寫基於矩陣M之間的關系的二元關系的集合,然後作出判斷的基礎上定理的關系:「在M2(M的平方)的位置,M是相應的位置」,以確定哪些是最保險的方法。
㈢ 用C語言編程實現離散數學中合式公式的判斷
i不能被3if(i%3!=0)
這個條件錯了!=0&&i%5,7中的任何一個整除
而不是不能被3
5
7同時整除
應該改為!=0&&i%7,這個條件的意思是,5:
if(
㈣ 合式公式如何判定(離散數學)
(1)單個命題常項或變項是合式公式;
(2)如果A是合式公式,則﹁A也是合式公式;
(3)如果A,B是合式公式,則P∧Q、P∨Q、P®Q、 P«Q也是合式公式;
(4)只有有限次地應用(1)~(3)所包含的命題變元,聯結詞和括弧的符號串才是合式公式。
今後我們將合式公式稱為命題公式,或簡稱為公式。