2022年离散数学上机实验报告 .pdf
《2022年离散数学上机实验报告 .pdf》由会员分享,可在线阅读,更多相关《2022年离散数学上机实验报告 .pdf(14页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学实验报告:学号:班级:精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 1 页,共 14 页2 实验一连结词逻辑运算一. 实验目的实现二元合取、 析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则,利用程序语言实现逻辑这几种逻辑运算。从键盘输入两个命题变元P和 Q的真值,求它们的合取、 析取、蕴涵和等价四种运算的真值。要求对输入内容进行分析,如果不符合0、1 条件需要重新输入,程序有良好的输入输出界面。使用 Microsoft 为编程软件,采用称C/C+语言为编程语言实现。四. 实验过程1. 算法分析 : 合取: p,q 都为 1 的时候为
2、1,其他为0 析取: p,q 都为 0 的时候为0,其他为1 蕴含: p 为 1,q 为 0 时为 0,其他为1 等价: p,q 同真同假2. 程序代码 : #include 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)/*判断
3、非 P的值 */ 精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 2 页,共 14 页3 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);
4、 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+) 精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 3 页,共 14 页4 for(Q=0;Q2;Q+) if(P=1&Q=0)/*判断 P蕴含 Q的值 */ c=0; else c=1; printf(t%d,c); printf(nP等价 Q的值 ); for(P=0;P2
5、;P+) for(Q=0;Q2;Q+) if(P=Q)/*判断 P等价 Q的值 */ d=1; else d=0; printf(t%d,d); printf(n); return 0; : 精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 4 页,共 14 页5 实验二关系的复合运算及逆运算一. 实验目的熟悉关系的复合运算和逆运算,编程实现关系复合运算和逆运算算法。利用矩阵求解有限集上的复合关系和逆关系。1. 算法分析 : 复合运算就将两个用矩阵表示的关系进行复合,即在第一个矩阵中寻找值为1 的元素坐标(i ,j ),在第二个矩阵第j 行寻找值为1
6、 的元素,假设有,且坐标为(j ,k ) ,则产生的新的关系的矩阵中坐标为(i ,k )的元素值为1。逆运算就是将用矩阵中值为1 的元素坐标 (i ,j)对调,产生新的关系的矩阵中坐标为(j ,i )的元素值为1。2. 程序代码 : / 关系的复合运算#include using namespace std; int main() int a100100,b100100,c100100,i,j,k,n; coutn; cout 请输入关系矩阵Mr 的格式 :endl; for(i=0;in;i+) for(j=0;jaij; cout 请输入关系矩阵Ms的格式 :endl; for(i=0;i
7、n;i+) for(j=0;jbij; for(i=0;in;i+) /进行复合运算 for(j=0;jn;j+) if(aij=1) for(k=0;kn;k+) if(bjk=1) cik=1; 精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 5 页,共 14 页6 for(i=0;in;i+) for(j=0;jn;j+) if(cij!=1) cij=0; coutendl; cout 关系矩阵 Mr 与 Ms的复合运算结果是:endl; for(i=0;in;i+) for(j=0;jn;j+) coutcij ; coutendl; r
8、eturn 0; / 关系的逆运算#include int main() int a100100,b100100,n,i,j,index; printf(请输入集合X中元素的个数 :); scanf(%d,&n); printf(请输入关系矩阵Mr 的格式 :n); for(i=0;in;i+) for(j=0;jn;j+) scanf(%d,&aij); for(i=0;in;i+)/进行逆运算 for(j=0;jn;j+) if(aij=1) index=i; i=j; j=index; bij=1; for(i=0;in;i+) 精选学习资料 - - - - - - - - - 名师归纳
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 2022年离散数学上机实验报告 2022 离散数学 上机 实验 报告
限制150内