




已阅读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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 沈阳二中分班考试题及答案
- 全国学前教育科学研究与论文写作自考试题及答案
- 国家开放大学电大《学前教育原理》过关练习试卷附答案
- 新型高频屏蔽陶瓷材料设计-洞察与解读
- 2025年事业单位招聘考试综合类结构化面试真题模拟试卷冲刺模拟
- 2025年四川事业单位招聘考试人力资源类综合测试试卷真题模拟训练
- 2025春季中国南水北调集团水网智慧科技有限公司实习生招募6人考前自测高频考点模拟试题及1套完整答案详解
- 新闻类事业单位招聘考试综合专业能力测试试卷真题模拟训练2025
- 呼市地生会考试题及答案
- 可降解橡胶材料开发-洞察与解读
- 共享电动车运营实施方案
- LED显示屏改造项目合同7篇
- 纤支镜儿童术后护理
- 16.2.1 分式的乘除 华师大版八年级数学下册课件
- 《小儿烧伤补液》课件
- 2025年西安交投投资有限公司招聘笔试参考题库含答案解析
- 铁艺制作合同范例
- (高级)数据安全管理员实操题考试题库(含答案)
- 消防技术服务质量管理手册
- 介绍云南风俗的课件
- 2021年版《医疗废物分类目录》
评论
0/150
提交评论