离散数学实验报告().doc

文档介绍：离散数学实验报告()《离散数学》,将命题连接词运算融入到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的真值为真。、合取运算、析取运算、异或运算、蕴涵运算、等价运算。算法程序#include<>voidmain(){printf("请输入P、Q的真值\n");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\n",c,d);inte;if(a==1&&b==1)e=1;elsee=0;printf("合取的结果为%d\n",e);intf;if(a==0&&b==0)f=0;elsef=1;printf("析取的结果为%d\n",f);intg;if(a==1&&b==0)g=0;elseg=1;printf("单条件的结果为%d\n",g);inth;if(a==b)h=1;elseh=0;printf("双条件的结果为%d\n",h);}内容格式:新罗马,五号,,学会了析取、合取、单条件连接词、双条件连接词的用法。,可用于二元关系的合成,二元关系的性质判断,二元关系传递闭包的运算等方面,通过编程实现二元关系的复合运算,帮助同学们理解复合运算的过程,复合形成新的二元关系中的序偶是如何产生的。。设X→Y(R关系),Y→Z(S关系),则称X→Z(R◦S关系)为R和S的复合关系,并规定为:R◦S={<x,z>|x∈X∧z∈Z∧∃y(y∈Y∧<x,y>∈R∧<y,z>∈S)}关系可用矩阵表示,故复合运算也可用矩阵表示。设有三个集合:X={x1,x2…xm},Y={y1,y2…yn},Z={z1,z2…zp},,|X|=m,|Y|=n,|Z|=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=,通过两个关系矩阵对应行列元素先进行逻辑乘,后进行逻辑加生成新的关系矩阵中的每一个元素。新的关系矩阵所对应的二元关系就是两个二元关系复合形成的,编程实现这一复合过程。#include<>intmain(){ inta[100][100],b[100][100],c[100][100],i,j,k,n; printf("请输入集合X中元素个数:"); scanf("%d",&n); printf("请输入关系矩阵Mr的格式:\n"); for(i=0;i<n;i++) { for(j=0;j<n;j++) scanf("%d",&a[i][j]); } printf("请输入关系矩阵Ms的格式:\n"); for(i=0;i<n;i++) { for(j=0;j<n;j++) scanf("%d",&b[i][j]); } for(i=0;i<n;i++) { for(j=0;j<n;j++)if(a[i][j]==1) for(k=0;k<n;k++)if(b[j][k]==1) c[i][k]=1; } for(i=0;i<n;i++) { for(j=0;j<n;j++) if(c[i][j]!=1) c[i][j]=0; }