離散實驗-真值表法求主合取(析取范式)范式 最終版課件

實驗名稱：利用真值表法求取主析取范式以及主和取范式的實現(xiàn)——第五組組長：組員：ppt制作：11/19/2022一、程序開發(fā)過程一、組長宣布實驗內(nèi)容、組員任務(wù)分配。二、負責(zé)程序的組員上網(wǎng)尋找相關(guān)源代碼。召開第一次實驗小組會議，主要會議內(nèi)容：小組成員合力分析代碼，弄懂代碼的流程順序，主要函數(shù)功能，代碼的不足，需要改進的地方。三、負責(zé)ppt的組員負責(zé)會議記錄，并且將ppt的底稿做好，交與其他組員完善自己負責(zé)部分內(nèi)容。四、負責(zé)程序的組員將程序需要改進的地方改好，并且將設(shè)計思想和負責(zé)問答的同學(xué)交流探討。五、程序運行成功后，召開第二次實驗小組會議，主要會議內(nèi)容：每個組員交流總結(jié)自己參與實驗的心得，聽取組員意見，組長點評各組員工作情況。六、通過ppt的形式展示小組實驗成果，在與老師的問答過程中發(fā)現(xiàn)彌補此次實驗的不足之處，加以總結(jié)反思。11/19/2022

真值表是命題邏輯中的一個十分重要的概念，利用它幾乎可以解決命題邏輯中的所有問題。例如，利用命題公式的真值表，可以判斷命題公式的類型、求命題公式的主范式、判斷兩命題公式是否等價，還可以進行推理等。本實驗是通過編寫一個程序，讓計算機給出命題公式的真值表，并在此基礎(chǔ)上進行命題公式類型的判定、求命題公式的主范式等。目的是讓我們更加深刻地理解真值表的概念，并掌握真值表的求解方法及其在解決命題邏輯中其他問題中的應(yīng)用。二、實驗?zāi)康?1/19/2022

paramCount用于存儲表達式中的變量個數(shù)，assignCount用于存儲具體有多少種賦值方式。

本代碼主要通過對數(shù)據(jù)左移運算來實現(xiàn)。舉個例子，比如表達式中有變量P,Q,R，那么變量個數(shù)就是3，也就是paramCount等于3,十進制1轉(zhuǎn)換為二進制為00000001，通過左移運算符<<向左移動3位，為：00001000,那么將此二進制轉(zhuǎn)化為十進制為:=8，即3個變量有8種賦值方式，再將8賦值給assignCount變量，即可實現(xiàn)真值賦值功能。四、核心代碼分析轉(zhuǎn)后綴表達式算法中，如果是左括號"("，則進棧連續(xù)出棧輸出，直到遇到")"，此時是遇到右括號，當(dāng)沒有出棧到底，如果遇到"(",停止出棧輸出，反之連續(xù)出棧。否則，就是格式錯誤，少了右括號。四、核心代碼分析書上定義的優(yōu)先級由高到低:為等價、蘊含、析取、合取、取反。代碼中用一個枚舉類型給五個關(guān)系賦值，優(yōu)先級越大，賦值越大。在ConvertToPostfixExp函數(shù)中，代碼部分通過判斷條件，考慮到優(yōu)先級的次序問題四、核心代碼分析五、調(diào)試過程中的問題及解決方法當(dāng)輸入公式RT^Q時，得到了錯誤的結(jié)果。當(dāng)輸入公式RT^Q時，得到