離散实验报告.docVIP

实验一 真值计算 一、实验目的 熟悉联结词合取、析取、条件和双条件的概念，编程求其真值。 二、实验内容 从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值。用C语言实现。 三、程序源代码 #include iostream #include iomanip using namespace std; void main() { bool p,q,h,x,d,s; cout请输入p的真值; cin p ; cout请输入q的真值; cinq; h=p q; x=p || q; if (p=0) d=1; else d=p q; s=h; cout p合取q的值为h ; p析取q的值为x\n; cout p到q的条件值为d ; p到q的双条件值为s\n; } 四、程序运行结果 实验二 关系闭包计算 一、实验目的 熟悉Warshall算法，掌握求关系的自反闭包、对称闭包和传递闭包的方法。 二、实验内容 从键盘输入一个关系的关系矩阵，计算其自反闭包、对称闭包和传递闭包，传递闭包要求使用两种算法，即R+和Warshall算法。用C语言实现。 三、程序源代码 #include iostream #include iomanip #include cmath using namespace std; bool M[10][10],N[10][10],be[10][10],M2[10][10]; int x,y,i,j,z,u; bool zhi; void xianshi(); void qingling(); void zifan(); void duichen(); void cdr_1(); void cd(); void ss(); void ssfan(); void ss2(); void cdw(); void main() { cout请输入元素个数(元素个数不得大于10）; cinx; cout请输入关系矩阵中的0项或是1项，按0输入0项，按1输入1项：; ciny; for (i=1;i=x;i++) { for (j=1;j=x;j++) M[i-1][j-1]=!(bool)y; } cout请输入关系矩阵中的(bool)y项第一个数为行数，第二个数为列数,输入00结束; while (i!=0 j!=0) { cinij; if (i==0 j==0) break; M[i-1][j-1]=(bool)y; coutM[i][j]=M[i-1][j-1]\n; } ssfan(); xianshi(); zifan(); duichen(); cdr_1(); cdw(); } void ss() { for (i=1;i=x;i++) { for (j=1;j=x;j++) M[i-1][j-1]=N[i-1][j-1]; } } void ssfan() { for (i=1;i=x;i++) { for (j=1;j=x;j++) N[i-1][j-1]=M[i-1][j-1]; } } void xianshi() { for (i=1;i=x;i++) { for (j=1;j=x;j++) coutM[i-1][j-1] ; cout\n; } cout\n; } void qingling() { for (i=1;i=x;i++) { for (j=1;j=x;j++) M[i-1][j-1]=0; } } void zifan() { ss(); cout自反闭包的矩阵为：\n; for (i=1;i=x;i++) { M[i-1][i-1]=1; } cout\n; xianshi(); } void duichen() { ss(); cout对称闭包的矩阵为：\n; for (i=1;i=x;i++) { for (j=1;j=x;j++) if (M[i-1][j-1]==true) M[j-1][i-1]=true; } cout\n; xianshi(); } void cd() { zhi=false; for (i=1;i=x;i++) { for (z=1;z=x;z++) { for (j=1;