離散數(shù)學(xué)1命題邏輯

離散數(shù)學(xué)1命題邏輯

ID:27840972

大?。?44.00 KB

頁數(shù):11頁

時間:2018-12-06

離散數(shù)學(xué)1命題邏輯_第1頁
離散數(shù)學(xué)1命題邏輯_第2頁
離散數(shù)學(xué)1命題邏輯_第3頁
離散數(shù)學(xué)1命題邏輯_第4頁
離散數(shù)學(xué)1命題邏輯_第5頁
資源描述:

《離散數(shù)學(xué)1命題邏輯》由會員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、南京工程學(xué)院實驗報告課程名稱離散數(shù)學(xué)實驗項目名稱實驗學(xué)生班級K網(wǎng)絡(luò)工程121實驗學(xué)生姓名學(xué)號240121525實驗時間11月1日實驗地點信息樓實驗成績評定扌旨導(dǎo)教'丿帀簽字年_月_日一、實驗?zāi)康暮鸵笳嬷当硎敲}邏輯中的一個十分重要的概念,利用它幾乎可以解決命題邏輯中的所有問題。例如,利用命題公式的真值表,可以判斷命題公式的類型、求命題公式的主范式、判斷兩命題公式是否等價,還可以進(jìn)行推理等。本實驗通過編寫一個程序,讓計算機(jī)給出命題公式的真值表,并在此基礎(chǔ)上進(jìn)行命題公式類型的判定、求命題公式的主范式等。目的

2、是讓學(xué)生更加深刻地理解真值表的概念,并掌握真值表的求解方法及其在解決命題邏輯中其他問題中的應(yīng)用。二、實驗主要儀器和設(shè)備計算機(jī)三、實驗方法與步驟(需求分析、算法設(shè)計思路、流程圖等)(1)求任意一個命題公式的真值表。(2)利用真值表求任意一個命題公式的主范式。(3)利用利用計算機(jī)求命題公式真值表的關(guān)鍵是:①給出命題變元的每一組賦值;②計算命題公式在每一組賦值下的真值。真值表中命題變元的取值具有如下規(guī)律:每列中0和1是交替出現(xiàn)的,且0和1連續(xù)出現(xiàn)的個數(shù)相同。n個命題變元的每組賦值的生成算法可基于這種思想。含有n

3、個命題變元的命題公式的真值的計算采用的方法為“算符優(yōu)先法”。為了程序?qū)崿F(xiàn)的方便,約定命題變元只用一個字母表示,非、合収、析収、條件和雙條件聯(lián)結(jié)詞分別用!、&、I、一、+來表示。算符之間的優(yōu)先關(guān)系如表1?32所示:表1-32算符優(yōu)先級+=

4、&!()@+><<<<<>>—>><<<<>>1>>><<<>>&>>>><<>>!?>>>>><>>()<<<<<<——E>>>>>E>>@<<<<<

5、般是一對刮號,可以一起消除“E”代表表達(dá)式錯誤,一般不會出現(xiàn)為實現(xiàn)算符優(yōu)先算法,我們采用兩個工作棧。一個稱作OPTR,用以寄存運(yùn)算符;另一個稱作OPND,用以寄存操作數(shù)或運(yùn)算結(jié)果。算法的基本思想是:(1)首先設(shè)置操作數(shù)棧為空棧,符號“@”為運(yùn)算符的棧底元素;(2)調(diào)用函數(shù)Divi(exp,myopnd)得到命題公式包含的命題變元序列myopnd(按字典序排列,同一個命題變元只出現(xiàn)一次);(3)依次讀入命題公式中的每個字符,若是命題變元則其對應(yīng)的賦值進(jìn)OPND棧,若是運(yùn)算符,則和OPTR棧的棧頂運(yùn)算符比較后

6、作相應(yīng)操作,直至整個命題公式求值完畢。真值表進(jìn)行邏輯推理。四、實驗原始紀(jì)錄(源程序、數(shù)據(jù)結(jié)構(gòu)等)#includeHstdio.hH#include#includetypedefstructoptrstack{charoper[30];intloc;JOPStack;voidinitop(OPStack&op)op.loc=0;for(i=0;i<30;i++)op>oper[ij=,