离散数学实验报告

《离散数学》实验报告题目专业学号姓名指导教师提交日期实验一五种连结词的逻辑运算一.实验目的用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. 程序代码：#include<stdio.h>int main(){int p,q,i,t;printf("************************************************\n");printf("*** ***\n");printf(" 欢迎进入逻辑运算软件\n");printf("*** ***\n");printf("************************************************\n");do{printf("请输入p的值(0或1)");scanf("%d",&p);if(p!=0&&p!=1)printf("输入有误");}while(p!=0&&p!=1);do{printf("请输入q的值(0或1)");scanf("%d",&q);if(q!=0&&q!=1)printf("输入有误");}while(q!=0&&q!=1);do{printf("请选择要进行的操作\n");printf("1:合取\n2:析取\n3:蕴含\n4:等价\n");scanf("%d",&i);switch(i){case 1:{if(p&&q) printf("合取运算：p/\q=1\n");else printf("合取运算：p/\q=0\n");break;}case 2:{if(p||q) printf("析取运算：p\/q=1\n");else printf("析取运算：p\/q=0\n");break;}case 3:{if(p&&!q) printf("蕴含：p->q=0\n");else printf("蕴含：p->q=1\n");break;}case 4:{if((p&&q)||(!p&&!q)) printf("等价运算：p<->q=1\n");else printf("等价运算：p<->q=0\n");break; }}printf("是否继续运算1\\0\n");scanf("%d",&t);}while(t);return 0;}3.实验数据及结果分析；图1.初始界面图2.输入及选择进行的操作图3.循环操作图4.退出程序实验二给任意命题公式输出其真值表一、实验目的熟悉各命题公式，并会利用C语言编程求其真值。

二、实验内容在菜单上输入任给一命题公式，输出其真值表三. 实验过程1. 算法分析：算法逻辑如下：（1）任意设计一个真值判断表达式，并使其赋值计算（2）计算模拟器中所对应的一组真值指派下合式公式的真值。

（3）输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。

（4）如果所输出的为真值，则页面提示“真命题”主范式：主析取范式：在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。

由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。

任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。

主合取范式：在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。

由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。

任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。

流程图2.程序代码：#include "stdio.h"#include "stdlib.h"#include "string.h"#include "conio.h"#include "math.h"#define N 50void 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],kh=0,jg,j=0,h0;//icu[N]用于存放变量值,kh括号计数,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");printf(" \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;i1<strlen(sz);i1++){if(sz[i1]==')' || sz[i1]=='(')//存储括号数量kh++;if(sz[i1]>='a' && sz[i1]<='z' || sz[i1]>='A' && sz[i1]<='Z'){for(i2=0;i2<j;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;i1<h0;i1++)printf(" %c ",ccu[i1]);printf(" ");puts(sz);printf("\n");for(i1=0;i1<j;i1++) ///////先将所有的变量赋值为零。

icu[i1]=0;for(i2=0;i2<j;i2++)//输出真值表前项printf(" %d ",icu[i2]);jg=tkh(sz,ccu,icu,h0); //用函数求结果if(jg==0)//结果为0，合取加1hq[h++]=bj;else //否则，析取加1xq[x++]=bj;printf(" %d\n",jg);//输出运算结果strcpy(sz,sz0);for(i1=0;i1<(int)pow(2,j)-1;i1++){++bj;panduan(icu,j-1); //赋值变量jg=tkh(sz,ccu,icu,h0);if(jg==0)//结果为0，合取加1hq[h++]=bj;else //否则，析取加1xq[x++]=bj;strcpy(sz,sz0); //恢复被修改的数组。

for(i2=0;i2<j;i2++)printf(" %d ",icu[i2]);//输出真值表前项printf(" %d\n",jg);//输出运算结果}if(hq[0]==-1)//不存在合取范式时printf("\n该命题公式不存在主合取范式。

\n"); else{printf("\n该命题公式的主合取范式：\n\t");for(i1=0;i1<h;i1++){if (i1>0)//判断并添加符号printf("\\/");printf("M(%d)",hq[i1]); //输出主合取范式}}if(xq[0]==-1)//不存在析取范式时printf("\n该命题公式不存在主析取范式。