1、離散數學實驗報告專業班級：12級計算機本部一班 姓名：鮑佳珍 學號： 201212201401016 實驗成績：1【實驗題目】命題邏輯實驗二2【實驗目的】熟悉掌握命題邏輯中真值表，進一步能用它們來解決實際問題。3【實驗內容】求任意一個命題公式的真值表4、【實驗要求】c或c語言編程實現5. 【算法描述】1.實驗原理真值表:表征邏輯事件輸入和輸出之間全部可能狀態的表格。列出命題公式真假值的表。通常以1表示真，0 表示假。命題公式的取值由組成命題公式的命題變元的取值和命題聯結詞決定，命題聯結詞的真值表給出了真假值的算法。 真值表是在邏輯中使用的一類數學表，用來確定一個表達式是否為真或有效。2.實驗過

2、程首先是輸入一個合理的式子，生成相應真值表，然后用函數運算，輸出結果：要求可生成邏輯非、合取、析取、蘊含、雙條件表達式的真值表，例如：輸入 !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();/聲明五個函數int main()int ch;char s10;printf("歡迎使用命題公式真值表查找軟件nn");printf("1.合取 2.析取 3.蘊含 4.雙條件 5.非 0.結束查找n");/軟件使用界面的輸出scanf("%d",&ch);while

4、(ch)printf("nn您能查找真值表的命題公式有以下幾種：nn");printf("1.合取請輸入a&&b 2.析取請輸入a|b 3.蘊含請輸入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")/將輸入的公式與程序內存在的公式進行比較shuang();elseprintf("對不起，您所要查找的公式不存在!nn");printf("n 1.繼續查找 0.結束 nn");scanf("%d",&ch); /使程序循環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