离散数学实验报告()

《离散数学实验报告()》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、《离散数学》实验报告专业网络工程班级姓名学号授课教师二O一六年十二月目录实验一联结词的运算实验二根据矩阵的乘法求复合关系实验三利用warshall算法求关系的传递闭包实验四图的可达矩阵实现1.实验一联结词的运算一．实验目的通过上机实验操作，将命题连接词运算融入到C语言的程序编写中，一方面加强对命题连接词运算的理解，另一方面通过编程实现命题连接词运算，帮助学生复习和锻炼C语言知识，将理论知识与实际操作结合，让学生更加容易理解和记忆命题连接词运算。二．实验原理(1)非运算,符号:ù,当P=T时，ùP为F,当P=F时，ùP为T。(2)合取,符号:∧,当且仅当P和Q的真值同为真

2、，命题P∧Q的真值才为真；否则，P∧Q的真值为假。(3)析取,符号:∨,当且仅当P和Q的真值同为假，命题P∨Q的真值才为假；否则，P∨Q的真值为真。(4)异或,符号:▽,当且仅当P和Q的真值不同时，命题P▽Q的真值才为真；否则，P▽Q的真值为真。(5)蕴涵,符号:→,当且仅当P为T,Q为F时，命题P→Q的真值才为假；否则，P→Q的真值为真。(6)等价,符号:↔,当且仅当P,Q的真值不同时，命题P↔Q的真值才为假；否则，P→Q的真值为真。三．实验内容编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。四．算法程序#includevo

3、idmain(){printf("请输入P、Q的真值");inta,b;scanf("%d%d",&a,&b);intc,d;if(a==1)c=0;elsec=1;if(b==1)d=0;elsed=1;printf("非P、Q的结果为%d，%d",c,d);inte;if(a==1&&b==1)e=1;elsee=0;printf("合取的结果为%d",e);intf;if(a==0&&b==0)f=0;elsef=1;printf("析取的结果为%d",f);intg;if(a==1&&b==0)g=0;elseg=1;printf("单条件的结果

4、为%d",g);inth;if(a==b)h=1;elseh=0;printf("双条件的结果为%d",h);}内容格式：新罗马，五号，行间距固定值18磅五．实验结果六．心得体会通过编程，学会了析取、合取、单条件连接词、双条件连接词的用法。实验二根据矩阵的乘法求复合关系一．实验目的复合运算是一种重要的二元关系运算，可用于二元关系的合成，二元关系的性质判断，二元关系传递闭包的运算等方面，通过编程实现二元关系的复合运算，帮助同学们理解复合运算的过程，复合形成新的二元关系中的序偶是如何产生的。二．实验原理复合运算能由两个二元关系生成一个新的二元关系。设X→Y(R关系)

5、，Y→Z(S关系)，则称X→Z(R◦S关系)为R和S的复合关系，并规定为：R◦S={

6、x∈X∧z∈Z∧∃y(y∈Y∧∈R∧∈S)}关系可用矩阵表示，故复合运算也可用矩阵表示。设有三个集合：X={x1,x2…xm},Y={y1,y2…yn},Z={z1,z2…zp},，

7、X

8、=m,

9、Y

10、=n,

11、Z

12、=p,MR=[aik]m×n，MS=[akj]n×p则复合关系R◦S的关系矩阵为：MR◦S=MR◦MS=[cij]m×p∨代表逻辑加，满足0∨0=0，0∨1=1,1∨0=1，1∨1=1∧代表逻辑乘，满足0∧0=0，0∧1=0,1∧0=0，1∧1=1

13、三．实验内容将二元关系用关系矩阵表示，通过两个关系矩阵对应行列元素先进行逻辑乘，后进行逻辑加生成新的关系矩阵中的每一个元素。新的关系矩阵所对应的二元关系就是两个二元关系复合形成的，编程实现这一复合过程。四．算法程序#includeintmain(){inta[100][100],b[100][100],c[100][100],i,j,k,n;printf("请输入集合X中元素个数：");scanf("%d",&n);printf("请输入关系矩阵Mr的格式：");for(i=0;i

14、,&a[i][j]);}printf("请输入关系矩阵Ms的格式：");for(i=0;i