离散数学实验探究.doc

实 验 报 告 （20 / 2016 学年 第 学期） 课程名称 实验名称 实验时间 年 月 日 指导单位 系 指导教师 学生姓名 班级学号 学院(系) 专 业 实 验 报 告 实验名称 指导教师 实验类型 实验学时 实验时间 实验目的和要求 二、实验环境(实验设备) 三、实验原理及内容 实验内容： #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]==()//存储括号数量 kh++; if(sz[i1]=a sz[i1]=z || sz[i1]=A sz[i1]=Z) { for(i2=0;i2j;i2++) //判断并储存变量。 if(ccu[i2]==sz[i1])//去除重复变量 d=0; if(d==1) { ccu[j]=sz[i1]; j++; } d=1; } } printf(\nd该式子中的变量个数为：%d\n,j);//输出变量个数 h0=j; printf(\n输出真值表如下：\n \n); //输出真值表表头 for(i1=0;i1h0;i1++) printf( %c ,ccu[i1]); printf( ); puts(sz); printf(\n); for(i1=0;i1j;i1++) ///////先将所有的变量赋值为零。 icu[i1]=0; for(i2=0;i2j;i2++)//输出真值表前项 printf( %d