




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、離散數(shù)學(xué)實(shí)驗(yàn)報告專業(yè)班級:12級計算機(jī)本部一班 姓名:鮑佳珍 學(xué)號: 201212201401016 實(shí)驗(yàn)成績:1【實(shí)驗(yàn)題目】命題邏輯實(shí)驗(yàn)二2【實(shí)驗(yàn)?zāi)康摹渴煜ふ莆彰}邏輯中真值表,進(jìn)一步能用它們來解決實(shí)際問題。3【實(shí)驗(yàn)內(nèi)容】求任意一個命題公式的真值表4、【實(shí)驗(yàn)要求】c或c語言編程實(shí)現(xiàn)5. 【算法描述】1.實(shí)驗(yàn)原理真值表:表征邏輯事件輸入和輸出之間全部可能狀態(tài)的表格。列出命題公式真假值的表。通常以1表示真,0 表示假。命題公式的取值由組成命題公式的命題變元的取值和命題聯(lián)結(jié)詞決定,命題聯(lián)結(jié)詞的真值表給出了真假值的算法。 真值表是在邏輯中使用的一類數(shù)學(xué)表,用來確定一個表達(dá)式是否為真或有效。2.實(shí)驗(yàn)過
2、程首先是輸入一個合理的式子,生成相應(yīng)真值表,然后用函數(shù)運(yùn)算,輸出結(jié)果:要求可生成邏輯非、合取、析取、蘊(yùn)含、雙條件表達(dá)式的真值表,例如:輸入 !a輸出真值表如下:a !a0 11 0輸入a&&b輸出真值表如下:a b a&&b0 0 00 1 01 0 01 1 1輸入a|b輸出真值表如下:a b a|b0 0 00 1 11 0 11 1 1輸入a->b輸出真值表如下:a b a->b0 0 10 1 11 0 01 1 1輸入a<>b (其中<>表示雙條件)輸出真值表如下:a b a<>b0 0 10 1 01
3、0 01 1 16. 【源程序(帶注釋)】#include<stdio.h>#include<string.h>void hequ();void yunhan();void xiqu();void shuang();void fei();/聲明五個函數(shù)int main()int ch;char s10;printf("歡迎使用命題公式真值表查找軟件nn");printf("1.合取 2.析取 3.蘊(yùn)含 4.雙條件 5.非 0.結(jié)束查找n");/軟件使用界面的輸出scanf("%d",&ch);while
4、(ch)printf("nn您能查找真值表的命題公式有以下幾種:nn");printf("1.合取請輸入a&&b 2.析取請輸入a|b 3.蘊(yùn)含請輸入a->b 4.雙條件請輸入a<>b 5.非請輸入!an");/選擇輸入的公式類型getchar();printf("請輸入您所需要查詢的公式:");scanf("%s",s);if(!strcmp(s,"a&&b")hequ();else if(!strcmp(s,"!a")fe
5、i();else if(!strcmp(s,"a|b")xiqu();else if(!strcmp(s,"a->b")yunhan();else if(!strcmp(s,"a<>b")/將輸入的公式與程序內(nèi)存在的公式進(jìn)行比較shuang();elseprintf("對不起,您所要查找的公式不存在!nn");printf("n 1.繼續(xù)查找 0.結(jié)束 nn");scanf("%d",&ch); /使程序循環(huán)return 0;void hequ()p
6、rintf("a b a&&bn");printf("0 1 0n");printf("0 0 0n");printf("1 0 0n");printf("1 1 1n");void xiqu()printf("a b a|bn");printf("0 1 1n");printf("0 0 0n");printf("1 0 1n");printf("1 1 1n");void yu
7、nhan()printf("a b a->bn");printf("0 1 1n");printf("0 0 1n");printf("1 0 0n");printf("1 1 1n");void fei()printf("a !an");printf("1 0n");printf("0 1n");void shuang()printf("a b a<>bn");printf("0 1 0n");printf("0 0 1n&q
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 數(shù)字仿真:產(chǎn)品創(chuàng)新加速器技術(shù)探索
- 煤系巷道頂板疊加理論與有效錨固層厚度應(yīng)用研究
- 醫(yī)療集團(tuán)資產(chǎn)管理辦法
- 熱紅外遙感勘探-洞察及研究
- 音樂傳播視角下高職學(xué)生合唱藝術(shù)審美能力培養(yǎng)策略研究
- 全員安全生產(chǎn)責(zé)任制清單模板
- 關(guān)于安全生產(chǎn)會議的法律規(guī)定
- 安全生產(chǎn)管理制度匯編格式
- 不同基屬混合加氫重油的催化裂化與裂解性能研究
- 2025現(xiàn)行生態(tài)環(huán)境保護(hù)相關(guān)法律法規(guī)
- 健康體檢醫(yī)療服務(wù) 投標(biāo)方案(技術(shù)方案)
- 外科護(hù)理學(xué)課程說課課件
- 同學(xué)聚會輕音樂
- 事業(yè)單位檔案個人自傳范文三篇
- 煙草制品購銷員(四級)職業(yè)技能鑒定-理-論-知-識-試-卷
- 生產(chǎn)現(xiàn)場變化點(diǎn)管理行動指南
- 模擬電子技術(shù)基礎(chǔ)知到章節(jié)答案智慧樹2023年蘭州石化職業(yè)技術(shù)大學(xué)
- JJF 1915-2021傾角儀校準(zhǔn)規(guī)范
- GA/T 1310-2016法庭科學(xué)筆跡鑒定意見規(guī)范
- 2023年本科招生考試
- 新入職護(hù)士培訓(xùn)考試試題及答案
評論
0/150
提交評論