离散数学数理逻辑C++或C语言实验报告_第1页
离散数学数理逻辑C++或C语言实验报告_第2页
离散数学数理逻辑C++或C语言实验报告_第3页
离散数学数理逻辑C++或C语言实验报告_第4页
离散数学数理逻辑C++或C语言实验报告_第5页
已阅读5页,还剩5页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

离散数学实验报告专业班级:12级计算机本部一班 姓名:鲍佳珍 学号: 1016 实验成绩:1【实验题目】命题逻辑实验一2【实验目的】熟悉掌握命题逻辑中的联接词,实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则,利用程序语言实现逻辑这几种逻辑运算。3【实验内容】从键盘输入两个命题变元P和Q的真值,求它们的合取、析取、条件和双条件的真值。(A)4、【实验要求】C或C语言编程实现5. 【算法描述】1.实验原理(1)合取:二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题PQ, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可PQ =T, 而P、Q只要有一为F则PQ = F。这样看来,PQ可用来表示日常用语P与Q, 或P并且Q。(2)析取:二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题PQ, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可PQ =F, 而P、Q只要有一为T则PQ = T。这样看来,PQ可用来表示日常用语P或者Q。(3)条件:二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题PQ, 读作P条件Q, 也可读作如果P,那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = F时方可PQ =F, 其余均为T。(4)双条件:二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题PQ, 读作P双条件于Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为当两个命题变项P = T, Q =T时方可PQ =T, 其余均为F。2.实验过程(1)A题部分,首先是对各个输入量的处理,要确定输入的为0或1,否则则为出错,接下来就是运算处理,在C语言中本身支持的有与或非这三种,可以用!,&,|来表示,而在这个实验中,不是与或非的可以通过转化而变为与或非的形式,具体流程图如下:开始P为1或0P为1或0运算是否继续结束YYYNNN输入P值输入Q值输出结果求合取、析取、条件和双条件的真值流程图6. 【源程序(带注释)】#includevoid xiqu(int m,int n);void hequ(int m,int n);void yunhan(int m,int n);void shuang(int m,int n); / 声明四个自定义函数int main()int p,q,a;printf(欢迎使用数理逻辑软件n);printf(请输入 P: );scanf(%d,&p);while(p!=0&p!=1)printf(输入错误,请再次输入 P: );/为满足P,Q不是1,0的情况scanf(%d,&p);printf(请输入 Q: );scanf(%d,&q);while(q!=0&q!=1)printf(输入错误,请再次输入 Q: );/为满足P,Q不是1,0的情况scanf(%d,&q); printf(1.析取 2.合取 3.蕴含 4.双条件 0.退出 5.再次输入n);/主界面printf(请输入选项:);scanf(%d,&a);while(a) /用switch语句进行选择switch(a) case 1:xiqu(p,q);break;case 2:hequ(p,q);break;case 3:yunhan(p,q);break;case 4:shuang(p,q);break;case 5: /可重新输入P,Qprintf(请输入 P: );scanf(%d,&p);while(p!=0&p!=1)printf(输入错误,请再次输入 P: );/为满足P,Q不是1,0的情况scanf(%d,&p);printf(请输入 Q: );scanf(%d,&q);while(q!=0&q!=1)printf(输入错误,请再次输入 Q: );/为满足P,Q不是1,0的情况scanf(%d,&q);case 0:break;default:printf(输入错误,请再次输入n);break;scanf(%d,&a);return 0;void xiqu(int m,int n) /定义四个函数int b=1;if(m=0&n=0)b=0;printf(析取值为:);printf(%dn,b);void hequ(int m,int n)int b=0;if(m=1&n=1)b=1;printf(合取值为:);printf(%dn,b);void yunhan(int m,int n)int b=1;if(m=1&n=0)b=0;printf(蕴含值为:);printf(%dn,b);void sh

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论