離散數(shù)學實驗指導書及其答案-展示頁
2025-07-07 20:49本頁面
【正文】 *實驗結果是：A=0，B=1，即B偷了手表*/實驗三 集合運算【實驗目的】掌握用計算機求集合的交、并、差和補運算的方法。amp。amp。amp。amp。E=1。D=1。C=1。B=1。A=1。C語言算法： int A,B,C,D,E。amp。amp。amp。amp。如果函數(shù)表達式的值為1，則結論有效， A偷了手表，否則是B偷了手表。將復合命題寫成一個函數(shù)表達式。 【實驗原理和方法】（1）符號化上面的命題，將它們作為條件，營業(yè)員A偷了手表作為結論，得一個復合命題。實驗用例：根據(jù)下面的命題，試用邏輯推理方法確定誰是作案者，寫出推理過程。}//注：聯(lián)結詞不定義成函數(shù)，否則太繁實驗二 命題邏輯推理【實驗目的】加深對命題邏輯推理方法的理解。 if(vote(a,b,c,d,e)) printf(很好，表決通過！\n)。d,amp。b,amp。 scanf(%d%d%d%d%d,amp。} void main(){ int a,b,c,d,e。e) return 1。damp。e || camp。damp。e || bamp。camp。d || bamp。camp。e || bamp。damp。e || aamp。camp。d || aamp。camp。e || aamp。bamp。d || aamp。bamp。c || aamp。bamp。 if( aamp。（4）輸出函數(shù)表達式的結果，如果是1，則表明表決通過，否則表決不通過。（2）上面公式中的每一個聯(lián)結詞是一個開關元件，將它們定義成C語言中的函數(shù)。實驗用例：用化簡命題邏輯公式的方法設計一個5人表決開關電路，要求3人以上（含3人）同意則表決通過（表決開關亮）。實驗一 命題邏輯公式化簡【實驗目的】加深對五個基本聯(lián)結詞（否定、合取、析取、條件、雙條件）的理解、掌握利用基本等價公式化簡公式的方法。【實驗內(nèi)容】用化簡命題邏輯公式的方法設計一個表決開關電路。【實驗原理和方法】（1）寫出5人表決開關電路真值表，從真值表得出5人表決開關電路的主合取公式（或主析取公式），將公式化簡成盡可能含五個基本聯(lián)結詞最少的等價公式。（3）輸入5人表決值（0或1），調(diào)用上面定義的函數(shù)，將5人表決開關電路真值表的等價公式寫成一個函數(shù)表達式。參考代碼：includeint vote(int a,int b,int c,int d,int e){ //五人中任取三人的不同的取法有10種。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。amp。 else return 0。 printf(請輸入第五個人的表決值（0或1，空格分開）：)。a,amp。c,amp。e)。 else printf(遺憾，表決沒有通過！\n)?！緦嶒瀮?nèi)容】用命題邏輯推理的方法解決邏輯推理問題。（1）營業(yè)員A或B偷了手表； （2）若A作案，則作案不在營業(yè)時間； （3）若B提供的證據(jù)正確，則貨柜末上鎖； （4）若B提供的證據(jù)不正確，則作案發(fā)生在營業(yè)時間； （5）貨柜上了鎖。（2）將復合命題中要用到的聯(lián)結詞定義成C語言中的函數(shù)，用變量表示相應的命題變元。（3）函數(shù)表達式中的變量賦初值1。用命題題變元表示：A:營業(yè)員A偷了手表B:營業(yè)員B偷了手表C:作案不在營業(yè)時間D:B提供的證據(jù)正確E:貨柜末上鎖則上面的命題符號化為 (A||B) amp。 (!A||C) amp。 (!D||E) amp。 (D||!C) amp。 !E要求找到滿足上面式子的變元A，B的指派便是結果。 for(A=0。A++) for(B=0。B++) for(C=0。C++) for(D=0。D++) for(E=
法律信息相關推薦
鄂ICP備17016276號-1