安徽工业大学离散数学实验报告.doc

《离散数学》实验报告专业软件工程班级163班姓名周掌珍学号169074261授课教师杨思春二O一七年六月目录实验一联结词得运算实验二集合得运算实验三二元关系得性质判定实验四图得矩阵运算实验一联结词得运算一。实验目得通过上机实验操作,将命题连接词运算融入到C语言得程序编写中,一方面加强对命题连接词运算得理解,另一方面通过编程实现命题连接词运算,帮助学生复****与锻炼C语言知识,将理论知识与实际操作结合,让学生更加容易理解与记忆命题连接词运算。(1) 非运算,符号:ù ,当P=T时,ùP为F,当P=F时,ùP为T。(2)合取,符号: ∧,当且仅当P与Q得真值同为真,命题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得真值为真。、合取运算、析取运算、异或运算、蕴涵运算、等价运算。:新罗马,小五号,行间距固定值18磅#include<stdio、h>intmain(){ﻩcharm;ﻩintP,Q;ﻩprintf("请输入P,Q得真值与逻辑连接词:(P逻辑联结Q)\na:与\tb:或\tc(请先输入0):非\td:蕴含\te:等价\tf:异或\n"); scanf("%d%c%d",&P,&m,&Q);ﻩswitch(m) {ﻩcase'a’:ﻩﻩif(P==1&&Q==1)printf(”P与Q=1\n”);ﻩﻩ elseprintf("p合取Q=0\n");break;ﻩcase'b':ﻩ if(P==0&&Q==0)printf("P或Q=0\n"); ﻩ elseprintf("P或Q=1\n");break;ﻩcase'c':ﻩ if(P==1) printf("非P=0\n"); ﻩ ﻩelseprintf(”非P=1\n”);break;ﻩcase'd': if(P==1&&Q==0)printf("P蕴含Q=0\n"); ﻩﻩelse printf("P蕴含Q=1\n”);break;ﻩcase’e’:ﻩ if(P==Q)printf("P等价Q=1\n");ﻩ ﻩﻩelseprintf("P等价Q=0\n");break;ﻩcase 'f’:ﻩ if(P==Q)printf(”P异或Q=0\n”);ﻩﻩelseprintf("P异或Q=1\n”);break;ﻩﻩ}五。实验结果实验结果截图大小为:宽(10cm)×高(8cm)六。心得体会内容格式:宋体,五号,行间距固定值18磅实验二集合得运算一。实验目得集合运算主要包括并运算,交运算,相对差,对称差运算,集合论得语言适合于描述与研究离散对象及其关系,所以也就是计算机科学与工程得理论基础,在程序设计、关系数据库、排队论、开关理论,形式语言与自动机理论等学科领域中都有重要得应用。集合运算就是学****集合论得基础,通过编程实现集合得相关运算,帮助同学们学好集合论相关知识打下基础。:任何二个集合A与B得交集A∩B就是由A与B所共有得全部元素构成得集合,即:A∩B={x |xÎ A∧ xÎB}并运算:A、B就是任意二个集合,A与B得并集A∪:A∪B={x│ xÎA∨xÎB}相对差:设A与B就是二个任意集合,B对A得相对差(A-B)就是由属于A且不属于B得所有元素组成得集合。即:A—B={x│xÎA∧xÏB}={x│xÎA∧ØxÎB}对称差:设A、B就是任意二集合,A与B得环与记作A⊕B。即:A⊕B=(A—B)∪(B-A)=(A∩~B)∪(B∩~A)或者xÎ(A⊕B)ÛxÎ{x|xÎAÑxÎB} 三。实验内容深入理解集合得四种基本运算,根据每个运算定义,编程实现各个运算。:新罗马,小五号,行间距固定值18磅交集运算:#include<stdio、h>intmain(){ﻩint a[10],b[10],c[20],i,m,n,j,k=0;ﻩprintf("请输入集合A,集合B中得元素个数:\n”);ﻩscanf("%d%d”,&m,&n);ﻩprintf("请输入集合A得元素:\n"); for(i=0;i<m;i++) scanf(”%d",&a[i]); printf(”请输入集合B得元素:\n"); for(i=0;i〈n;i++)ﻩ scanf(”%d",&b[