1樓:匿名使用者
設p:派趙出國,q:派錢出國,r:派孫出國,s:派李出國,t:派周出國。則各條件分別符號化為:
(1) p→q, (2) (svt), (3) (qa 7r)v(-q ^r),(4) (r as)v(→ra -s), (5) 1- +(p ^q) 要求滿足各條件,
因而要求(1)~(5)的合取式為真.設:a≈(p→q) a(sv1)八((q八→r)v(→qλr))a((ras)v(r八-s))∩(t→(p^q))
為了求出各派遣方案,應求出a的析取正規化,最好是主析取正規化,主析取正規化中含的極小項個數為派遣方案數,由各極小項的成真賦值給出如何派法. 所以要求出a的主析取正規化。
下面給出求a的主析取正規化的主要步驟:
易知,成真賦值為00110與11001。
方案1:孫、李出國,而趙.錢、周不去。
方案2:趙、錢、周出國,而孫、李不去。
隨著資訊時代的到來,工業革命時代以微積分為代表的連續數學佔主流的地位已經發生了變化,離散數學的重要性逐漸被人們認識。離散數學課程所傳授的思想和方法,廣泛地體現在電腦科學技術及相關專業的諸領域,從科學計算到資訊處理,從理論電腦科學到計算機應用技術,從計算機軟體到計算機硬體,從人工智慧到認知系統,無不與離散數學密切相關。
由於數位電子計算機是一個離散結構,它只能處理離散的或離散化了的數量關係, 因此,無論電腦科學本身,還是與電腦科學及其應用密切相關的現代科學研究領域,都面臨著如何對離散結構建立相應的數學模型;又如何將已用連續數量關係建立起來的數學模型離散化,從而可由計算機加以處理。
離散數學是傳統的邏輯學,集合論(包括函式),數論基礎,演算法設計,組合分析,離散概率,關係理論,圖論與樹,抽象代數(包括代數系統,群、環、域等),布林代數,計算模型(語言與自動機)等彙集起來的一門綜合學科。離散數學的應用遍及現代科學技術的諸多領域。
離散數學也可以說是電腦科學的基礎核心學科,在離散數學中的有一個著名的典型例子-四色定理又稱四色猜想,這是世界近代三大數學難題之一,它是在2023年,由英國的一名繪圖員弗南西斯·格思裡提出的,他在進行地圖著色時,發現了一個現象,「每幅地圖都可以僅用四種顏色著色,並且共同邊界的國家都可以被著上不同的顏色」。
2樓:將心比心
運用等值演演算法可以這樣計算:
a:趙去,b錢去,c孫去,d李去,e周去
1、若趙去,錢也去, a→b=┐a∨b
2、李,周兩人中必有一人去 d∨e
3、錢,孫兩人中去切僅去一人 (b∧┐c)∨(┐b∧c)4、孫,李兩人同去或不同去 (┐c∧┐d)∨(c∧d)5、若周去,則趙,錢也同去 e→a∧b=┐e∨(a∧b)五個取交集得—趙錢周,或孫李。
拓展資料:等值演演算法適合於命題變項較多、工作量大的情況。可以先用真值表驗證一組基本的又是重要的重言式,以它們為基礎進行公式之間的演算,來判斷公式之間是否等值。
通俗的瞭解所謂的「等值演算法」,就是選取兩個數進行比較,將較大的數減去較小的數,得到的差值和較小的數再形成一對新的數進行比較.然後還是用大數減去小數,用同樣的方法一直做下去,直到得到兩個相等的數,這個數就是最大公約數。又稱「更相減損術」。
3樓:是月流光
孫和李去。
解此類問題的步驟應為:
① 將簡單命題符號化
② 寫出各複合命題
③ 寫出由各複合命題組成的合取式
④ 將寫出的公式化成析取正規化,給出其成真賦值,即可得到答案。
具體解法如下: ① 令 p:派趙去 q:派錢去 r:派孫去 s:派李去 u:派周去
② (1) p→q (2) s∨u (3) ((q∧┐r)∨(┐q∧r)) (4) ((r∧s)∨(┐r∧┐s)) (5) u→(p∧q)
③ 設a=(p→q)∧(s∨u)∧((q∧┐r)∨(┐q∧ r))∧((r∧s)∨(┐r∧┐s)) ∧(u→(p∧q))
④ 求a的析取正規化(用等值演演算法),簡要過程如下:
a(┐p∨q)∧(s∨u)∧((q∧┐r)∨( ┐q∧r))∧ ((r∧s)∨(┐r∧┐s))∧(┐u∨(p∧q)) (┐p∨q)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))∧ (s∨u)∧(┐u∨(p∧q)) ((┐p∧q∧┐r)∨(q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧ (s∨u)∧(┐u∨(p∧q)) ((q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧ (┐u∨(p∧q)) (用了吸收律) ((┐p∧┐q∧r∧s)∨(q∧┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q)) ((┐p∧┐q∧r∧s)∨(┐p∧┐q∧r∧s∧u)∨(q∧┐r∧┐s∧u))∧(┐u∨(p∧q)) (┐p∧┐q∧r∧s∧┐u)∨(p∧q∧┐r∧┐s∧u) 最後一步得到一個主析取正規化,含有兩個極小項。
當p,q,r,s,u取值分別為 0,0,1,1,0 或 1,1,0,0,1 時,a為真,故公司應派孫、李去,而趙、錢、周不去, 或趙、錢、周去,而孫、李不去。 注意,在演算中,多次用了矛盾律和同一律。
離散數學(discrete mathematics)是研究離散量的結構及其相互關係的數學學科,是現代數學的一個重要分支。離散的含義是指不同的連線在一起的元素,主要是研究基於離散量的結構和相互間的關係,其物件一般是有限個或可數個元素。離散數學在各學科領域,特別在電腦科學與技術領域有著廣泛的應用,同時離散數學也是計算機專業的許多專業課程,如程式設計語言、資料結構、作業系統、編譯技術、人工智慧、資料庫、演算法設計與分析、理論電腦科學基礎等必不可少的先行課程。
通過離散數學的學習,不但可以掌握處理離散結構的描述工具和方法,為後續課程的學習創造條件,而且可以提高抽象思維和嚴格的邏輯推理能力,為將來參與創新性的研究和開發工作打下堅實的基礎。
4樓:
解此類問題的步驟應為:
① 將簡單命題符號化
② 寫出各複合命題
③ 寫出由各複合命題組成的合取式
④ 將寫出的公式化成析取正規化,給出其成真賦值,即可得到答案。
具體解法如下:
① 令 p:派趙去
q:派錢去
r:派孫去
s:派李去
u:派周去
② (1) p→q
(2) s∨u
(3) ((q∧┐r)∨(┐q∧r))
(4) ((r∧s)∨(┐r∧┐s))
(5) u→(p∧q)
③ 設a=(p→q)∧(s∨u)∧((q∧┐r)∨(┐q∧ r))∧((r∧s)∨(┐r∧┐s))
∧(u→(p∧q))
④ 求a的析取正規化(用等值演演算法),簡要過程如下:
a(┐p∨q)∧(s∨u)∧((q∧┐r)∨( ┐q∧r))∧
((r∧s)∨(┐r∧┐s))∧(┐u∨(p∧q))
(┐p∨q)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))∧
(s∨u)∧(┐u∨(p∧q))
((┐p∧q∧┐r)∨(q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧
(s∨u)∧(┐u∨(p∧q))
((q∧┐r)∨(┐p∧┐q∧r))∧((r∧s)∨(┐r∧┐s))∧(s∨u)∧
(┐u∨(p∧q)) (用了吸收律)
((┐p∧┐q∧r∧s)∨(q∧┐r∧┐s))∧(s∨u)∧(┐u∨(p∧q))
((┐p∧┐q∧r∧s)∨(┐p∧┐q∧r∧s∧u)∨(q∧┐r∧┐s∧u))∧(┐u∨(p∧q))
(┐p∧┐q∧r∧s∧┐u)∨(p∧q∧┐r∧┐s∧u)
最後一步得到一個主析取正規化,含有兩個極小項。當p,q,r,s,u取值分別為
0,0,1,1,0 或 1,1,0,0,1 時,a為真,故公司應派孫、李去,而趙、錢、周不去,
或趙、錢、周去,而孫、李不去。
注意,在演算中,多次用了矛盾律和同一律。
簡單的離散數學判斷是否是命題,離散數學判斷是否為命題
這不就是那個著名的邏輯悖論嗎。他還有很多等價的說法 如 我在說謊 這是個假命題 等等。正如你所說,這些句子不論判定為真還是判斷為假,都會產生矛盾,所以它們不是命題。你的第二個問題 如果在這類句子 記作p 前面加上否定詞 即 非p 能否構成命題呢?你可以這樣想 如果 非p 是命題,那麼這個命題的否定是...
簡單的離散數學問題,離散數學幾條簡單問題
1.s上的有序對有 1,1 1,2 2,1 2,2 4個 偏序關係需要滿足自反,反對稱,傳遞 即 1,1 2,2 都屬於偏序集,1,2 2,1 不能同時屬於偏序集 所以一共有2 2 1 3個偏序關係 因為s上有序對有4個,所以二元關係有2 4 16個2 4個元素集合的滿射,即是4個元素集合的雙射個數...
KMP演算法跟離散數學的關係大嗎,高等數學和離散數學有很大關係嗎?
實況八 有毛線的關係,就是提前計算出next陣列,無他 核心思想 利用已經得到的部分匹配資訊進行後面的匹配過程 高等數學和離散數學有很大關係嗎? 等待晴天 高等bai 數學是數學du學科的基礎,高等數學zhi和離散數學最大關係就dao是高等數學是離散數版學的學科基權 礎。高等數學以培養高素質應用型人...