离散数学实验报告

《离散数学实验报告》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、《离散数学》实验报告题目专业学号姓名指导教师提交日期-28-实验一五种连结词的逻辑运算一.实验目的用C语言实现两个命题变元的合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。二.实验内容从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、蕴涵和等价四种运算的的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输入，程序有良好的输入输出界面。三.实验过程1.算法分析：编程语言为c语言合取/：p，q都为1的时候为1，其他为0析取/：p，q都为0的时候为0，其他为1蕴含->：p为1，q为0时为0，其他为1等价<->：p，q同真同假流

2、程图-28-开始P为1或0P为1或0运算是否继续结束YYYNNN输入P值输入Q值输出结果2.程序代码：#includeintmain(){intp,q,i,t;printf("************************************************");printf("******");printf("欢迎进入逻辑运算软件");printf("******");printf("************************************************");do{printf("请输入p的值(0或1)");

3、scanf("%d",&p);if(p!=0&&p!=1)printf("输入有误");}while(p!=0&&p!=1);-28-do{printf("请输入q的值(0或1)");scanf("%d",&q);if(q!=0&&q!=1)printf("输入有误");}while(q!=0&&q!=1);do{printf("请选择要进行的操作");printf("1:合取2:析取3:蕴含4:等价");scanf("%d",&i);switch(i){case1:{if(p&&q)printf("合取运算：p/q=1");elseprintf("合取运算：p

4、/q=0");break;}case2:{if(p

5、

6、q)printf("析取运算：p/q=1");elseprintf("析取运算：p/q=0");break;}case3:{if(p&&!q)printf("蕴含：p->q=0");elseprintf("蕴含：p->q=1");break;}case4:{if((p&&q)

7、

8、(!p&&!q))printf("等价运算：p<->q=1");elseprintf("等价运算：p<->q=0");break;}}printf("是否继续运算1\0");scanf("%d",&t);}while(t

9、);return0;}-28-3.实验数据及结果分析；图1.初始界面图2.输入及选择进行的操作-28-图3.循环操作图4.退出程序实验二给任意命题公式输出其真值表一、实验目的熟悉各命题公式，并会利用C语言编程求其真值。-28-二、实验内容在菜单上输入任给一命题公式，输出其真值表三.实验过程1.算法分析：算法逻辑如下：（1）任意设计一个真值判断表达式，并使其赋值计算（2）计算模拟器中所对应的一组真值指派下合式公式的真值。（3）输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。（4）如果所输出的为真值，则页面提示“真命题”主范式：主析取范式：在含有n个命题变元的简单

10、合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。主合取范式：在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。流程图-28-开始输入式子计算变量

11、数生成真值表输出真值表变量赋值运算式子输出结果归类主范式输出主范式结束循环是否结束YN2.程序代码：#include"stdio.h"#include"stdlib.h"#include"string.h"#include"conio.h"#include"math.h"#defineN50voidpanduan(intb[N],intf);//赋值函数inttkh(charsz[N],charccu[N],inticu[N],in