资源描述:
《离散数学实验报告格式》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、《离散数学》实验报告专业班级姓名学号授课教师二0—六年丁二月实验一联结词的运算实验二根据矩阵的乘法求复合关系实验三利用warshall算法求关系的传递闭包实验四图的可达矩阵实现实验一联结词的运算一.实验目的通过上机实验操作,将命题连接词运算融入到C语言的程序编写中,一方面加强对命题连接词运算的理解,另一方血通过编程实现命题连接词运算,帮助学生复习和锻炼C语言知识,将理论知识与实际操作结合,让学生更加容易理解和记忆命题连接词运算。二.实验原理(1)非运算,符号:1,当P二T时,]P为F,当P二F时,]p为T。(2)合取,符号:A,当且仅当P和Q的真值同为真,命题P/Q的真值才为
2、真;否则,P/Q的真值为假。(3)析取,符号:V,当且仅当P和Q的真值同为假,命题PVQ的真值才为假;否则,PVQ的真值为真。(4)界或符号:▽,当口仅当P和Q的真值不同时,命题PVQ的真值才为真;否则,PVQ的真值为真。(5)蕴涵,符号:一,当且仅当P为T,Q为F时,命题P-Q的真值才为假;否则,P-Q的真值为真。(6)等价,符号:当且仅当P,Q的真值不同时,命题P-Q的真值才为假;否则,P-Q的真值为真。一.实验内容编写一个程序实现非运算、合収运算、析収运算、界或运算、蕴涵运算、等价运算。二.算法程序#includeintmain(){boolP=tru
3、e,Q=false;printf(”请选择运算方式");printfCl.析取“);printf(M2.合取”);printf("3.非5”);printf("4.蕴含”);printf("5.等价”);intm;scanf("%d",&m);vhilc(m>=l&&m<=4){printf("请输入PQ的值”);scanf("%d%d",&P,&Q);intcount=1;switch(m){case1:whilc((count>=!)&&(count<4)){if(Q==0&&P==0)printf(HP析取Q=0H);elseprintf(”
4、P析取Q=lH);count++;if(count=4)break;printf("请输入PQ的值”);scanf("%d%d",&P,&Q);1break;ease2:whilc((count>=0)&&(count<4)){if(Q==1&&P==1)printf(”P合取Q=l,r);elseprintf(”P合取Q=0,r);count++;if(count=4)break;printf(”请输入PQ的值“);scanf(“%d%d",&P,&Q);)break;ease3:whilc((count>=0)&&(count<4)){if(Q==0)p
5、rintf(”非Q=lu);elseprintf("非Q=0");if(P==O)printf(H1hP=lH);elseprintf("非P=0");count++;if(count=4)break;printf("请输入PQ的值”);scanf("%d%d",&P,&Q);Ibreak;ease4:whilc((count>=0)&&(count<4)){if(Q==l
6、
7、(Q==0&&P==0))printf(”P蕴含Q=lH);elseif(P==l&&Q==0)printf(HP蕴含Q=0H);count++;if(count=4)brea
8、k;printf("请输入PQ的值”);scanf("%d%d",&P,&Q);Ibreak;ease5:whilc((count>=0)&&(count<4)){if(P==Q)printfC'P等价Q=lM);elseprintfC'P等价Q=0“);count++;if(count==4)break;printf(”请输入PQ的值“);scanf(H%d%dH,&P,&Q);Ibreak;}printf("请重新选择运算方式");scanf("%d",&m);}return0;I一.实验结果式方运选析合垂畧请」2.3.4.5.请输入PQ的值峡=1清紀P
9、Q的值一0P折取Q-1请編人PQ甬值20析取Q=0请蚤新选择运算方式△0^ilfi0{=QQQQpP1食栩0厶a柳;主冃•,主H*C:ProgramFilesMiao$oftVisualStudioMyPrqjectslDebugl.exef二.心得体会通过将命题连接词运算融入到程序编写中,既加强我对命题连接词运算的理解,乂通过编程实现命题连接词运算帮助我复习C语言知识,通过设计算法可以使得数学小逻辑算法用程序来实现,这样只要借助计算机的程序就可以很方便的将一些复杂的逻辑运算轻松