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

《离散数学》。(1)非运算,符号:ù,当P=T时.ùP为F,当P=F时.ùP为T。(2)合取,符号:∧,∧Q的真值才为真;∧Q的真值为假。(3)析取,符号:∨,∨Q的真值才为假;∨Q的真值为真。(4)异或,符号:▽,▽Q的真值才为真;▽Q的真值为真。(5)蕴涵,符号:→,当且仅当P为T,→Q的真值才为假;→Q的真值为真。(6)等价,符号:↔,当且仅当P,↔Q的真值才为假;→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={<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×=[akj]n×p则复合关系R◦S的关系矩阵为:MR◦S=MR◦MS=[cij]m×p∨∨0=∨1=1,1∨0=∨1=1∧∧0=∧1=0,1∧0=∧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; } printf("\