离散数学上机实验报告.docxVIP

《离散数学》 实验报告 姓名： 学号： 班级：  实验一?连结词逻辑运算 一.实验目的 实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。 二.实验内容 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、蕴涵和等价四种运算的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输入，程序有良好的输入输出界面。 三.实验环境 使用Microsoft Visual?C++6.0为编程软件，采用称C/C++语言为编程语言实现。 四.实验过程 1.算法分析: 合取：p，q都为1的时候为1，其他为0? 析取：p，q都为0的时候为0，其他为1? 蕴含：p为1，q为0时为0，其他为1? 等价：p，q同真同假 2.程序代码: #includestdio.h int main() { int P,Q,a,b,c,d,p,q; printf( P的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) printf(\t%d,P); } printf(\n Q的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) printf(\t%d,Q); } printf(\n 非P的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(P==0)/*判断非P的值*/ p=1; else p=0; printf(\t%d,p); } } printf(\n 非Q的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(Q==1)/*判断非Q的值*/ q=0; else q=1; printf(\t%d,q); } } printf(\n P与Q的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(Q==0||P==0)/*判断P与Q的值*/ a=0; else a=1; printf(\t%d,a); } } printf(\n P或Q的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(Q==1||P==1)/*判断P或Q的值*/ b=1; else b=0; printf(\t%d,b); } } printf(\nP蕴含Q的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(P==1Q==0)/*判断P蕴含Q的值*/ c=0; else c=1; printf(\t%d,c); } } printf(\nP等价Q的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(P==Q)/*判断P等价Q的值*/ d=1; else d=0; printf(\t%d,d); } } printf(\n); return 0; } 3.实验数据及结果分析:  实验二 关系的复合运算及逆运算 一.实验目的 熟悉关系的复合运算和逆运算，编程实现关系复合运算和逆运算算法。 二.实验内容 利用矩阵求解有限集上的复合关系和逆关系。 三.实验过程 1.算法分析: 复合运算就将两个用矩阵表示的关系进行复合，即在第一个矩阵中寻找值为1的元素坐标(i ,j )，在第二个矩阵第j行寻找值为1的元素，若有，且坐标为(j ,k )，则产生的新的关系的矩阵中坐标为(i ,k )的元素值为1。 逆运算就是将用矩阵中值为1的元素坐标(i ,j)对调，产生新的关系的矩阵中坐标为(j ,i )的元素值为1。 2.程序代码: //关系的复合运算 #includeiostream using namespace std; int main() { int a[100][100],b[100][100],c[100][100],i,j,k,n; cout请输入集合X中元素的个数:; cinn; cout请输入关系矩阵Mr的格式:endl; for(i=0;in;i++) { for(j=0;jn;j++) cina[i][j]; } cout请输入关系矩阵Ms的格式:endl; for(i=0;in;i++) { for(j=0;jn;j++) cinb[i][j]; } for(i=0