离散数学命题公式真值表C或C语言实验报告.doc

离散数学实验报告专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 201212201401016 实验成绩：1【实验题目】命题逻辑实验二2【实验目的】熟悉掌握命题逻辑中真值表，进一步能用它们来解决实际问题。3【实验内容】求任意一个命题公式的真值表4、【实验要求】C或C语言编程实现5. 【算法描述】1.实验原理真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。 真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。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输入ab (其中表示双条件)输出真值表如下：a b ab0 0 10 1 01 0 01 1 16. 【源程序（带注释）】#include#includevoid 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(ch)printf(nn您能查找真值表的命题公式有以下几种：nn);printf(1.合取请输入a&b 2.析取请输入a|b 3.蕴含请输入a-b 4.双条件请输入ab 5.非请输入!an);/选择输入的公式类型getchar();printf(请输入您所需要查询的公式：);scanf(%s,s);if(!strcmp(s,a&b)hequ();else if(!strcmp(s,!a)fei();else if(!strcmp(s,a|b)xiqu();else if(!strcmp(s,a-b)yunhan();else if(!strcmp(s,ab)/将输入的公式与程序内存在的公式进行比较shuang();elseprintf(对不起，您所要查找的公式不存在!nn);printf(n 1.继续查找 0.结束 nn);scanf(%d,&ch); /使程序循环return 0;void hequ()printf(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 yunhan()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 abn);printf(0 1 0n);printf(0 0 1n);p