求給定命題公式的真值表并根據(jù)真值表求公式的主范式(已修改)
2025-04-06 05:12 本頁(yè)面
【正文】 “離散數(shù)學(xué)”實(shí)驗(yàn)報(bào)告（求給定命題公式的真值表并根據(jù)真值表求公式的主范式）專(zhuān) 業(yè) 網(wǎng)絡(luò)工程 班 級(jí) 1202班 學(xué) 號(hào) 12407442 姓 名 張敏慧 目錄 3……………………………………………………………………….3 求任意一個(gè)命題公式的真值表 3 3四. 實(shí)驗(yàn)原理和實(shí)現(xiàn)過(guò)程（算法描述） 3 3 5 6 六. 實(shí)驗(yàn)結(jié)果 14 七. 實(shí)驗(yàn)總結(jié) 19本實(shí)驗(yàn)課程是網(wǎng)絡(luò)工程專(zhuān)業(yè)學(xué)生的一門(mén)專(zhuān)業(yè)基礎(chǔ)課程，通過(guò)實(shí)驗(yàn)，幫助學(xué)生更好地掌握計(jì)算機(jī)科學(xué)技術(shù)常用的離散數(shù)學(xué)中的概念、性質(zhì)和運(yùn)算；通過(guò)實(shí)驗(yàn)提高學(xué)生編寫(xiě)實(shí)驗(yàn)報(bào)告、總結(jié)實(shí)驗(yàn)結(jié)果的能力；使學(xué)生具備程序設(shè)計(jì)的思想，能夠獨(dú)立完成簡(jiǎn)單的算法設(shè)計(jì)和分析。熟悉掌握命題邏輯中的真值表、主范式等，進(jìn)一步能用它們來(lái)解決實(shí)際問(wèn)題。求任意一個(gè)命題公式的真值表，并根據(jù)真值表求主范式詳細(xì)說(shuō)明： 求任意一個(gè)命題公式的真值表本實(shí)驗(yàn)要求大家利用C/C＋＋語(yǔ)言，實(shí)現(xiàn)任意輸入公式的真值表計(jì)算。一般我們將公式中的命題變?cè)旁谡嬷当淼淖筮?，將公式的結(jié)果放在真值表的右邊。命題變?cè)捎脭?shù)值變量表示，合適公式的表示及求真值表轉(zhuǎn)化為邏輯運(yùn)算結(jié)果；可用一維數(shù)表示合式公式中所出現(xiàn)的n個(gè)命題變?cè)?，同時(shí)它也是一個(gè)二進(jìn)制加法器的模擬器，每當(dāng)在這個(gè)模擬器中產(chǎn)生一個(gè)二進(jìn)制數(shù)時(shí)，就相當(dāng)于給各個(gè)命題變?cè)a(chǎn)生了一組真值指派。算法邏輯如下：（1）將二進(jìn)制加法模擬器賦初值0（2）計(jì)算模擬器中所對(duì)應(yīng)的一組真值指派下合式公式的真值。（3）輸出真值表中對(duì)應(yīng)于模擬器所給出的一組真值指派及這組真值指派所對(duì)應(yīng)的一行真值。（4）產(chǎn)生下一個(gè)二進(jìn)制數(shù)值，若該數(shù)值等于2n1，則結(jié)束，否則轉(zhuǎn)（2）。；使用visual C++，采用C語(yǔ)言為編程語(yǔ)言實(shí)現(xiàn)。四. 實(shí)驗(yàn)原理和實(shí)現(xiàn)過(guò)程（算法描述）；（1）真值表:表征邏輯事件輸入和輸出之間全部可能狀態(tài)的表格。列出命題公式真假值的表。通常以1表示真，0 表示假。命題公式的取值由組成命題公式的命題變?cè)娜≈岛兔}聯(lián)結(jié)詞決定，命題聯(lián)結(jié)詞的真值表給出了真假值的算法。 真值表是在邏輯中使用的一類(lèi)數(shù)學(xué)表，用來(lái)確定一個(gè)表達(dá)式是否為真或有效。（2）主范式：主析取范式：在含有n個(gè)命題變?cè)暮?jiǎn)單合取式中,若每個(gè)命題變?cè)c其否定不同時(shí)存在,而兩者之一出現(xiàn)一次且僅出現(xiàn)一次,稱(chēng)該簡(jiǎn)單合取式為小項(xiàng)。由若干個(gè)不同的小項(xiàng)組成的析取式稱(chēng)為主析取范式。與A等價(jià)的主析取范式稱(chēng)為A的主析取范式。任意含n個(gè)命題變?cè)姆怯兰倜}公式A都存在與其等價(jià)的主析取范式,并且是惟一的。主合取范式：在含有n個(gè)命題變?cè)暮?jiǎn)單析取式中,若每個(gè)命題變?cè)c其否定不同時(shí)存在,而兩者之一出現(xiàn)一次且僅出現(xiàn)一次,稱(chēng)該簡(jiǎn)單析取式為大項(xiàng)。由若干個(gè)不同的大項(xiàng)組成的合取式稱(chēng)為主合取范式。與A等價(jià)的主合取范式稱(chēng)為A的主合取范式。任意含n個(gè)命題變?cè)姆怯勒婷}公式A都存在與其等價(jià)的主合取范式,并且是惟一的。（2）首先是輸入一個(gè)合理的式子，然后從式子中查找出變量的個(gè)數(shù)，開(kāi)辟一個(gè)二進(jìn)制函數(shù)，用來(lái)生成真值表，然后用函數(shù)運(yùn)算，輸出結(jié)果，并根據(jù)結(jié)果歸類(lèi)給范式，最后輸出范式。函數(shù)部分，主要是3個(gè)函數(shù)，一個(gè)為真值表遞加函數(shù)，通過(guò)二進(jìn)制的加法原理遞進(jìn)產(chǎn)生，一個(gè)為分級(jí)運(yùn)算函數(shù)，這個(gè)函數(shù)是通過(guò)判斷括號(hào)，選出最內(nèi)級(jí)括號(hào)的內(nèi)容執(zhí)行運(yùn)算函數(shù)，這樣一級(jí)一級(jí)向外運(yùn)算，最后得出最終結(jié)果，剩下一個(gè)為主運(yùn)算函數(shù)，按照運(yùn)算符號(hào)的優(yōu)先級(jí)按順序進(jìn)行運(yùn)算，如先將所有非運(yùn)算運(yùn)算完，再執(zhí)行與運(yùn)算。如此運(yùn)算。：開(kāi)始輸入式子計(jì)算變量個(gè)數(shù)生成真值表輸出真值表變量賦值運(yùn)算式子輸出結(jié)果歸類(lèi)主范式輸出主范式結(jié)束循環(huán)是否結(jié)束YN主函數(shù)開(kāi)始檢查括號(hào)是否是最內(nèi)級(jí)括號(hào)運(yùn)算內(nèi)容是否是最后結(jié)果返回結(jié)果結(jié)束開(kāi)始結(jié)束YYNN非運(yùn)算與運(yùn)算或運(yùn)算蘊(yùn)含運(yùn)算等值運(yùn)算返回結(jié)果主運(yùn)算函數(shù)分級(jí)運(yùn)算函數(shù)include include include include include define N 50 void panduan(int b[N],int f)。//賦值函數(shù)int tkh (char sz[N], char ccu[N], int icu[N], int h0)。//分級(jí)運(yùn)算函數(shù)int fkh (char sz[N], char ccu[N], int icu[N], int h0)。//主運(yùn)算函數(shù)main(){ int i1,i2,d=1,icu[N],kh=0,jg,j=0,h0。//icu[N]用
畢業(yè)設(shè)計(jì)相關(guān)推薦
鄂ICP備17016276號(hào)-1