离散数学实验报告解读.docVIP

实 验 报 告 （2015 / 2016 学年 第 二 学期） 课程名称 离散数学 实验名称 利用真值表法求取主析取范式以及主合取范式的实现 实验时间 2016 年 9 月 20 日 指导单位 计算机科学与技术系 指导教师 刘茜萍 学生姓名 吉峰 班级学号 学院(系) 计算机学院、软件学院 专 业 软件工程 实 验 报 告 实验名称 利用真值表法求取主析取范式以及主合取范式的实现 指导教师 刘茜萍 实验类型 验证 实验学时 4 实验时间 2016年9月20日 实验目的和要求 实验目的：通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握。 实验要求： 从屏幕输入含三个以内变量的合式公式（其中联结词按照从高到底的顺序出现）。 规范列出所输合式公式的真值表。 给出相应主析取和主合取范式。 二、实验环境(实验设备) Windows+VC 三、实验原理及内容 实验原理：开始时在屏幕提示上提示非、合取、析取、条件、双条件在计算机上的字符表示，因为有些数学符号在计算机上不能表示出来。然后在屏幕中输入含三个以内变量的合式公式，其中联结词按照从高到底的顺序出现。把输入的合式公式，分别存放在相应的数组中，设计一个真值判断表达式，并使其赋值计算。依次从左向右计算对应的一组真值指派下合式公式的真值。多重循环计算，并将最终的结果存入相应的数组里，而后输出真值表。最后根据真值表求主析取范式和主合取范式的方法输出所求的相应的主析取范式和主合取范式。 实验内容： #include stdio.h #include stdlib.h #include string.h #include conio.h #include math.h #define N 50 void panduan(int b[N],int f);//赋值函数 int tkh (char sz[N], char ccu[N], int icu[N], int h0);//分级运算函数 int fkh (char sz[N], char ccu[N], int icu[N], int h0);//主运算函数 main() { int i1,i2,d=1,icu[N],jg,j=0,h0;//icu[N]用于存放变量值,jg存放结果 int bj=0,hq[N],h=0,x=0,xq[N];//hq[N]存放合取结果xq[N]存放析取结果 char sz[N],ccu[N],sz0[N],s;//sz[N]存放式子,ccu[N]存放变量,sz0[N]也是用于存放式子 hq[0]=-1; xq[0]=-1; printf( ***************************************\n);//标语 printf( \n); printf( 欢迎进入菜单 \n); printf(***************************************\n\n); printf( 用!表示非 \n); printf( 用表示合取 \n); printf( 用|表示析取 \n); printf( 用^表示条件 \n); printf( 用~表示双条件 \n); printf( \n); printf( ***************************************\n\n); printf(请输入一个合法的命题公式:\n);//输入式子 gets(sz);//读取式子 strcpy(sz0,sz);//复制式子 for(i1=0;i1strlen(sz);i1++) { if(sz[i1]==) || sz[i1]==()//