离散实验报告.docx

离散实验报告专业:数学与应用数学班级:091121学号:2009112125姓名:张鼎珩日期::实验一真值计算实验二两个集合运算实验三关系闭包计算实验四关系与函数进行试验:实验一真值计算一、实验目的熟悉联结词合取、析取、条件和双条件的概念,编程求其真值。二、实验内容求任意一个命题公式的真值表:从键盘输入两个命题P和Q的真值,求它们的合取、析取、蕴含和等价的真值利用真值表求任意一个命题公式的主范式利用真值表进行逻辑推理三实验程序:#include<>/*标准输入输出头文件*/#include<>/*该文件包含了的C语言标准库函数的定义*/#include<>/*字符串数组的函数定义的头文件*/#include<>/*通用输入输出库*/#include<>#defineN50voidjisuan();voidzhenzhibiao();voidpanduan(intb[N],intf);inttkh(charsz[N],u[N],inticu[N],inth0);intfkh(charsz[N],u[N],inticu[N],inth0);main(){inta1;start:do{printf("、Q的合取、析取、条件和双条件的真值\,并根据真值表求主范式\\n");printf("\n选择功能选项:");fflush(stdin);/*清空输入缓冲区,通常是为了确保不影响后面的数据读取*/scanf("%d",&a1);switch(a1)/*switch语句实现选择功能*/{case1:system("cls");jisuan();break;/*功能A*/case2:system("cls");fflush(stdin);zhenzhibiao();break;/*功能BC*/case3:system("exit");exit(0);/*结束整个程序的运行*/default:system("cls");gotostart;/*控制流转移到start处*/}}while(1);}voidjisuan()/*功能A*/{charp,q,t,ch;intp1,q1;do{start:fflush(stdin);printf("请输入P和Q的真值(T或F):");scanf("%c,%c",&p,&q);if((p=='F'||p=='f'||p=='T'||p=='t')&&(q=='F'||q=='f'||q=='T'||q=='t')){if(p=='F'||p=='f')/*赋值*/p1=0;elsep1=1;if(q=='F'||q=='f')q1=0;elseq1=1;if(p1|q1)/*计算*/t='T';elset='F';printf("P析取Q为:%c\n",t);if(p1&q1)t='T';elset='F';printf("P和取Q为:%c\n",t);if((!p1)|q1)t='T';elset='F';printf("P条件Q为:%c\n",t);if(p1==q1)t='T';elset='F';printf("P双条件Q为:%c\n",t);}else{printf("请按正确格式输入!\n");gotostart;};printf("是否继续输入?Y/N");fflush(stdin);ch=getch();system("cls");}while(ch!='n'&&ch!='N');}voidzhenzhibiao()/*功能BC*/{inti1,i2,d=1,icu[N],kh=0,jg,j=0,h0;intbj=0,hq[N],h=0,x=0,xq[N];charsz[N],ccu[N],sz0[N];hq[0]=-1;xq[0]=-1;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++)/*判断并储存变量*/u[i2]==sz[i1])d=0;if(d==1){ccu[j]=sz[i1];j++;}d=1;}}printf("\n该式子中的变量个数为:%d\n",j);h0=j;printf("\n输出真值表如下:\n\n");for(i1=0;i1<h0;i1++)printf("%c",ccu[