1、离散数学实验报告专 业 网络工程班 级姓 名学 号授课教师二 O 一 六 年 十二 月 目 录实验一 联结词的运算实验二 根据矩阵的乘法求复合关系实验三 利用 warshall 算法求关系的传递闭包实验四 图的可达矩阵实现离散数学实验报告1实验一 联结词的运算一实验目的通过上机实验操作，将命题连接词运算融入到 C 语言的程序编写中，一方面加强对命题连接词运算的理解，另一方面通过编程实现命题连接词运算，帮助学生复习和锻炼 C 语言知识，将理论知识与实际操作结合，让学生更加容易理解和记忆命题连接词运算。二实验原理(1) 非运算, 符号: ,当 P=T 时 ，P 为 F, 当 P=F 时 ，P 为
2、T 。(2) 合取, 符号: , 当且仅当 P 和 Q 的真值同为真，命题 PQ 的真值才为真；否则，PQ 的真值为假。(3) 析取, 符号: , 当且仅当 P 和 Q 的真值同为假，命题 PQ 的真值才为假；否则，PQ 的真值为真。(4) 异或, 符号: , 当且仅当 P 和 Q 的真值不同时，命题 PQ 的真值才为真；否则，PQ 的真值为真。(5) 蕴涵, 符号: , 当且仅当 P 为 T,Q 为 F 时，命题 PQ 的真值才为假；否则，PQ 的真值为真。(6) 等价, 符号: , 当且仅当 P,Q 的真值不同时，命题 PQ 的真值才为假；否则，PQ 的真值为真。三实验内容编写一个程序实现
3、非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。4算法程序#includevoid main()printf(“请输入 P、Q 的真值n“);int a,b;scanf(“%d%d“,int c,d;if(a=1) c=0;else c=1;if(b=1)d=0;离散数学实验报告2else d=1;printf(“非 P、Q 的结果为 %d，%dn“,c,d);int e;if(a=1else e=0;printf(“合取的结果为%dn“,e);int f;if(a=0else f=1;printf(“析取的结果为%dn“,f);int g;if(a=1else g=1;printf
4、(“单条件的结果为%dn“,g);int h;if(a=b)h=1;else h=0;printf(“双条件的结果为%dn“,h);内容格式：新罗马，五号，行间距固定值 18 磅五实验结果离散数学实验报告3六心得体会通过编程，学会了析取、合取、单条件连接词、双条件连接词的用法。离散数学实验报告4实验二 根据矩阵的乘法求复合关系一实验目的复合运算是一种重要的二元关系运算，可用于二元关系的合成，二元关系的性质判断，二元关系传递闭包的运算等方面，通过编程实现二元关系的复合运算，帮助同学们理解复合运算的过程，复合形成新的二元关系中的序偶是如何产生的。二实验原理复合运算能由两个二元关系生成一个新的二元关
5、系。设 XY(R 关系)，YZ(S 关系)，则称 XZ(RS 关系)为 R 和 S 的复合关系，并规定为：RS=|xXzZy(yYRS)关系可用矩阵表示，故复合运算也可用矩阵表示。设有三个集合：X=x 1,x2xm,Y=y1,y2yn,Z=z1,z2zp, ，|X|=m, |Y|=n, |Z|=p,M R=aikmn ZYXSR ， MS=akjnp则复合关系 RS 的关系矩阵为：MRS= MRMS=cij mp )(1kjinkijbac代表逻辑加，满足 00=0，01=1,10=1，11=1代表逻辑乘，满足 00=0，01=0,10=0，11=1三实验内容将二元关系用关系矩阵表示，通过两个
6、关系矩阵对应行列元素先进行逻辑乘，后进行逻辑加生成新的关系矩阵中的每一个元素。新的关系矩阵所对应的二元关系就是两个二元关系复合形成的，编程实现这一复合过程。四算法程序#include int main()int a100100,b100100,c100100,i,j,k,n;printf(“请输入集合 X 中元素个数：“);scanf(“%d“,printf(“请输入关系矩阵 Mr 的格式：n“);离散数学实验报告5for(i=0;i#include void main()int A1010;int n,i,j,k;离散数学实验报告8printf(“输入关系矩阵的维数 n(n #define
7、N 4 void TransitiveClosure(int distNN,int tNN)/寻找可达矩阵 for(int i=0;iN;i+)/进行遍历 for(int j=0;jN;j+) 离散数学实验报告11if(i=j)|(distij)=1) tij=1; else tij=0; for(int k=0;kN;k+) for(int i=0;iN;i+) for(int j=0;jN;j+) tij=tij|(tikvoid main() int i,j;int distNN=1,0,0,0,0,1,1,1, 0,1,1,0, 1,0,1,1; printf(“邻接矩阵举例如下：n“);for( i=0;iN;i+)for( j=0;jN;j+)printf(“%d “,distij);printf(“n“);int tNN=0; TransitiveClosure( dist, t);printf(“其对应可达矩阵如下：n“);for( i=0;iN;i+) for( j=0;jN;j+) printf(“%d “,tij); printf(“n“); 五实验结果离散数学实验报告12六心得体会有了邻接矩阵，通过遍历，判断是否可达，通过 for 语句找出可达矩阵。
