离散实验报告实例.docx

1、离散实验报告实例离散数学实验报告专 业 计算机 班 级 5班 学 号 E 01114299 姓 名 杨 建 日 期 2012-12-21 所属团队:组长 杨建 成员 杨建 黄有伟 王晓峰 成员 陈明师 刘云飞 工作描述组长：杨建，负责编写源程序及第一期编译工作；组员：黄有伟、王晓峰，负责第二期编译及后期软件调试；组员：刘云飞、陈明师，负责本实验后期总结及实验报告汇总美化工作。组员评分-平均分 （满分10分）组长：杨建 9.1分组员：黄有伟 8.8分 王晓峰 8.7分 陈明师 8.7分 刘云飞 8.6分 一、 实验目的1.本实验课程是计算机专业学生的专业核心课程，通过实验，帮助学生更好地掌握计算

2、机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。2.熟悉掌握命题逻辑中的联接词、真值表、主范式，笛卡尔乘积等概念，进一步能用它们来解决实际问题。二、 实验内容1.命题公式真值表自动生成系统（1）内容：设计一个自动生成命题公式真值表的系统；简述命题逻辑的应用背景，介绍命题公式真值表的有关概念，写出生成命题公式真值表的算法及代码。（2）要求：简述命题逻辑的基本概念及应用背景； 设计生成命题公式真值表的算法；写出算法的代码，在计算机上实现生成命题公式真值表的功能；任给一个命题公式，系统可自动生

3、成该公式的真值表。2命题公式主析（合）取范式自动生成系统（1）内容：设计一个自动生成命题公式主析（合）取范式的系统；简述命题逻辑的应用背景，介绍命题公式主析（合）取范式的有关概念，写出生成命题公式主析（合）取范式的算法及代码。（2）要求：简述命题逻辑的基本概念及应用背景； 设计求命题公式主析取范式的算法；写出算法的代码，在计算机上实现生成命题公式主析（合）取范式的功能；任给一个命题公式，系统可自动生成该公式的主析取范式。3. 笛卡尔乘积(1)给出两个或n个集合，输出它们的笛卡尔乘积。(2) 算法尽量作为软件来开发，即最后提交的是可视化的软件，软件实现的功能最少包括：图形显示（应能让用户自主输入

4、集合元素），图形显示笛卡尔乘积的结果三、 实验环境使用visual C+6.0为编程软件，采用C语言为编程语言实现。四、 实验原理及过程（1）合取二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题PQ, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可PQ =T, 而P、Q只要有一为F则PQ = F。这样看来，PQ可用来表示日常用语P与Q, 或P并且Q。（2）析取二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题PQ, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q

5、的真值间的关系为只有当两个命题变项P = F, Q = F时方可PQ =F, 而P、Q只要有一为T则PQ = T。这样看来，PQ可用来表示日常用语P或者Q。（3）条件二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题PQ, 读作P条件Q, 也可读作如果P，那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = F时方可PQ =F, 其余均为T。（4）双条件二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题PQ, 读作P双条件于Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为当两个命题变项P = T, Q =T时方可PQ =T,

6、 其余均为F。（5）真值表表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。 真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。（6）主范式主析取范式在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的

7、。主合取范式在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。（7）序偶定义由两个元素x和y（x=y）按一定顺序排列成的二元组叫做一个有序对或序偶，记作，其中x是它的第一元素，y是它的第二元素。有序对；具有以下性质：1.当xy时，1.2.=；的充分必要条件是x=u且y=v.（8）笛卡尔积定义设A,B为集合，用A中元素为第一元素，B中元素为第二元素构成的有序对，所

8、有这样的有序对组成的集合叫做A与B的笛卡尔积，记作AxB.笛卡尔积的符号化为：AxB=|xAyB（9）笛卡尔积的运算性质对任意集合A，根据定义有Ax = ， xA=一般地说，笛卡尔积运算不满足交换律，即AxBBxA（当A BAB时）笛卡尔积运算不满足结合律，即（AxB)xCAx(BxC）（当A BC时)笛卡尔积运算对并和交运算满足分配律，即Ax(BC)=(AxB）（AxC)(BC)xA=(BxA）（CxA)Ax(BC)=(AxB）（AxC)(BC)xA=(BxA）（CxA)五、 实验数据及结果分析1.命题公式真值表及主合/析取范式生成系统进入界面非运算或运算与运算蕴含运算等价运算与或非蕴含等价

9、综合运算2.笛卡尔乘积生成系统进入界面输入3个集合运行结果结果分析：第1题关于命题真值表及主析/合取范式由于本身关系比较密切，故我直接将两个做在了一起，这个程序从功能上来说，达到了题目要求的各个功能，可以运算与，或，非，蕴含，等值条件组成的表达式，并且支持括号运算，所以，总体上来说，虽然还有一些不完善的部分，但是整体是比较可以的。 第2题笛卡尔乘积生成系统比较简单，仅用指针和数组就可以完成，效果还不错。六、 程序清单第1题，命题公式真值表及主析/合取范式系统源代码#include stdio.h#include stdlib.h#include string.h#include conio.h

10、#include math.h#define N 50 void panduan(int bN,int f);/赋值函数int tkh (char szN, char ccuN, int icuN, int h0);/分级运算函数int fkh (char szN, char ccuN, int icuN, int h0);/主运算函数main() int i1,i2,d=1,icuN,kh=0,jg,j=0,h0;/icuN用于存放变量值,kh括号计数,jg存放结果 int bj=0,hqN,h=0,x=0,xqN;/hqN存放合取结果xqN存放析取结果 char szN,ccuN,sz0N

11、,s;/szN存放式子,ccuN存放变量,sz0N也是用于存放式子 hq0=-1; xq0=-1; printf(*n);/标语 printf(* 欢迎 *n); printf(* 命题公式真值表自动生成系统 *n); printf(* (支持真值表，主析范式，支持括号) *n); printf(* *n); printf(* 用!表示非 *n); printf(* 用&表示与 *n); printf(* 用|表示或 *n); printf(* 用表示蕴含 *n); printf(* 用表示等值 *n); printf(* *n); printf(*nn); printf(请输入一个合法的命题

12、公式:n);/输入式子 gets(sz);/读取式子 strcpy(sz0,sz);/复制式子 for(i1=0;i1=a & szi1=A & szi1=Z) for(i2=0;i2j;i2+) /判断并储存变量。 if(ccui2=szi1)/去除重复变量 d=0; if(d=1) ccuj=szi1; j+; d=1; printf(nd该式子中的变量个数为：%dn,j);/输出变量个数 h0=j; printf(n输出真值表如下：n n); /输出真值表表头 for(i1=0;i1h0;i1+) printf( %c ,ccui1); printf( ); puts(sz); prin

13、tf(n); for(i1=0;i1j;i1+) /先将所有的变量赋值为零。 icui1=0; for(i2=0;i2j;i2+)/输出真值表前项 printf( %d ,icui2); jg=tkh(sz,ccu,icu,h0); /用函数求结果 if(jg=0)/结果为0，合取加1 hqh+=bj; else /否则，析取加1 xqx+=bj; printf( %dn,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);

14、if(jg=0)/结果为0，合取加1 hqh+=bj; else /否则，析取加1 xqx+=bj; strcpy(sz,sz0); /恢复被修改的数组。 for(i2=0;i2j;i2+) printf( %d ,icui2);/输出真值表前项 printf( %dn,jg);/输出运算结果 if(hq0=-1)/不存在合取范式时 printf(n该命题公式不存在主合取范式。n); else printf(n该命题公式的主合取范式：nt); for(i1=0;i10)/判断并添加符号 printf(/); printf(M(%d),hqi1); /输出主合取范式 if(xq0=-1)/不存在

15、析取范式时 printf(n该命题公式不存在主析取范式。n); else printf(nn该命题公式的主析取范式：nt); for(i1=0;i10)/判断并添加符号 printf(/); printf(m(%d),xqi1);/输出主析取范式 printf(n); printf(n欢迎下次再次使用！n );/结束 getch();void panduan(int bN,int f) / 二进制赋值。 int i; i=f; if(bf=0)/加1 bf=1; else/进位 bf=0; panduan(b,-i); int tkh (char szN,char ccuN,int icuN,

16、int h0)/分级运算函数 int i,j,h,s,kh=0,wzN,a; char xs1N,ckhN; /xs1用来保存括号内的字符 ckh用来保存括号。 s=strlen(sz); for(i=0;is;i+) if(szi=( | szi=)/判断括号 wzkh=i;/存储括号位置 ckhkh=szi;/存储括号类型 kh+; if(kh=0) return fkh(sz,ccu,icu,h0);/如果无括号，直接运行 else for(i=0;ikh;i+) if(ckhi=)/找到第一个） break; for(j=wzi-1+1,h=0;jwzi;j+,h+) /存储最内级括号

17、中的内容 xs1h=szj; xs1h=0; a=fkh(xs1,ccu,icu,h0);/运行最内级括号的式子，得到结果 if(a=1)/判断并存储结果 szwzi-1=1; else szwzi-1=-2; for(j=wzi-1+1;js+wzi-1-wzi;j+)/将括号后内容前移 szj=szj+wzi-wzi-1; szj=0; return tkh(sz,ccu,icu,h0);/循环执行 int fkh(char szN,char ccuN,int icuN,int h0)/主运算函数 int i,h=0,j=0,j1=0,j2=0,j3=0,j4=0,j5=0,i1,i2,p

18、1=-1,p2=-1,s; char dtN; s=strlen(sz); if(s=1) if(sz0=-2)/判断是否是最后一项 return 0; else return 1; /1 就是sz0的值、 else for(i=0;is-j;i+) /先处理非 if(szi=!) for(i1=0;i1h0;i1+) if(szi+1=ccui1)/将变量赋值并给P1 p1=icui1; if(szi+1=-2)/如果是前运算结果的0，则P1等于0 p1=0; if(p1=-1)/如果是数字，直接给P1 p1=szi+1; dtj+2=!p1;/非运算 szi=j+2; j+; p1=0;

19、for(i1=i+1;i1s-j;i1+) szi1=szi1+1;/将后续式子前移一项 p1=-1; j1=j; for(i=0;is-j1-2*j2;i+) / 处理与 if(szi=&) for(i1=0;i1h0;i1+) if(szi-1=ccui1)/将变量赋值并给P1 p1=icui1; if(szi+1=ccui1)/将变量赋值并给P2 p2=icui1; for(i2=2;i2j+2;i2+) if(szi-1=i2) /如果为前计算结果，将结果赋值并给P1 p1=dti2; if(szi+1=i2) /如果为前计算结果，将结果赋值并给P2 p2=dti2; if(szi-1

20、=-2)/如果是前运算结果的0，则P1等于0 p1=0; if(szi+1=-2)/如果是前运算结果的0，则P2等于0 p2=0; if(p1=-1) /如果是数字，直接给P1 p1=(int)(szi-1); if(p2=-1)/如果是数字，直接给P2 p2=(int)(szi+1); dtj+2=p1 & p2;/与运算 szi-1=j+2; j+; j2+; p1=-1; p2=-1; for(i1=i;i1s-j1-2*j2;i1+)/将后续式子前移两项 szi1=szi1+2; i=i-1; for(i=0;is-j1-2*j2-2*j3;i+) / 处理或。 if(szi=|) f

21、or(i1=0;i1h0;i1+) if(szi-1=ccui1)/将变量赋值并给P1 p1=icui1; if(szi+1=ccui1)/将变量赋值并给P2 p2=icui1; for(i2=2;i2j+2;i2+) if(szi-1=i2) /如果为前计算结果，将结果赋值并给P1 p1=dti2; if(szi+1=i2)/如果为前计算结果，将结果赋值并给P2 p2=dti2; if(szi-1=-2)/如果是前运算结果的0，则P1等于0 p1=0; if(szi+1=-2)/如果是前运算结果的0，则P2等于0 p2=0; if(p1=-1)/如果是数字，直接给P1 p1=szi-1; i

22、f(p2=-1)/如果是数字，直接给P2 p2=szi+1; dtj+2=p1 | p2;/或运算 szi-1=j+2; j+; j3+; p1=-1; p2=-1; for(i1=i;i1s-j1-2*j2-2*j3;i1+)/将后续式子前移两项 szi1=szi1+2; i-; for(i=0;is-j1-2*j2-2*j3-2*j4;i+) / 处理蕴含。 if(szi=) for(i1=0;i1h0;i1+) if(szi-1=ccui1)/将变量赋值并给P1 p1=icui1; if(szi+1=ccui1)/将变量赋值并给P2 p2=icui1; for(i2=2;i2j+2;i2

23、+) if(szi-1=i2) /如果为前计算结果，将结果赋值并给P1 p1=dti2; if(szi+1=i2) /如果为前计算结果，将结果赋值并给P2 p2=dti2; if(szi-1=-2)/如果是前运算结果的0，则P1等于0 p1=0; if(szi+1=-2)/如果是前运算结果的0，则P2等于0 p2=0; if(p1=-1)/如果是数字，直接给P1 p1=szi-1; if(p2=-1)/如果是数字，直接给P2 p2=szi+1; dtj+2=!p1 | p2;/蕴含运算 szi-1=j+2; j+; j4+; p1=-1; p2=-1; for(i1=i;i1s-j1-2*j2

24、-2*j3-2*j4;i1+)/将后续式子前移两项 szi1=szi1+2; i-; for(i=0;is-j1-2*j2-2*j3-2*j4-2*j5;i+) / 处理等值。 if(szi=) for(i1=0;i1h0;i1+) if(szi-1=ccui1)/将变量赋值并给P1 p1=icui1; if(szi+1=ccui1)/将变量赋值并给P2 p2=icui1; for(i2=2;i2j+2;i2+) if(szi-1=i2) /如果为前计算结果，将结果赋值并给P1 p1=dti2; if(szi+1=i2) /如果为前计算结果，将结果赋值并给P2 p2=dti2; if(szi-

25、1=-2)/如果是前运算结果的0，则P1等于0 p1=0; if(szi+1=-2)/如果是前运算结果的0，则P2等于0 p2=0; if(p1=-1)/如果是数字，直接给P1 p1=szi-1; if(p2=-1)/如果是数字，直接给P2 p2=szi+1; dtj+2=(!p1 | p2)&(!p2 | p1);/等值运算 szi-1=j+2; j+; j5+; p1=-1; p2=-1; for(i1=i;i1s-j1-2*j2-2*j3-2*j4-2*j5;i1+)/将后续式子前移两项 szi1=szi1+2; i-; return dtj+1;/返回结果 第2题，笛卡尔乘积生成系统#includestruct student /*定义一个结构体存储数据*/ int st; /*存储每个集合的元素的个数*/ char a106; /*存放集合的元素*/b5; /*定义一个结构体数组来表示集合*/int n; /*标志集合的个数*/void main() void print(); /*笛卡尔乘积函数的说明*/ int i,j; for(j=0;j5;j+) /*ST初始化*/ bj.st=0;n=0; printf(*n);/标语 printf(* 欢迎进入 *n); printf(* 笛卡尔乘积生成系统 *n)