实验名称命题逻辑公式化简

实验目的和要求加深对五个基本联结词(否定、合取、析

取、条件、双条件)的理解、掌握利用基本等价公式化简公式的方法。

实验内容:

【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。

实验用例:用化简命题逻辑公式的方法设计一个5人表决开关电路,要求3人以上(含3人)同意则表决通过(表决开关亮)。

【实验原理和方法】

(1)写出5人表决开关电路真值表,从真值表得出5人表决开关电路的主合取公式(或主析取公式),将公式化简成尽可能含五个基本联结词最少的等价公式。

(2)上面公式中的每一个联结词是一个开关元件,将它们定义成C语言中的函数。

(3)输入5人表决值(0或1),调用上面定义的函数,将5人表决开关电路真值表的等价公式写成一个函数表达式。

(4)输出函数表达式的结果,如果是1,则表明表决通过,否则表决不通过。

实验心得:

  1. 利用真值表(详见附录):得到5人表决开关电路的主析取范式m00111∨m01011∨m01101∨m01110∨m01111∨m10011∨m10101∨m10110∨m10111∨m11001∨m11010∨m11011∨m11100∨m11101∨m11110∨m11111
  2. 利用python语言:
a = [eval(x) for x in input('请输入5个人的表决意愿,同意为1,不同意为0:').split()]
if(sum(a)>2):print('表决通过!')
else:print('表决不通过!')

①表决通过示例:

②表决不通过示例:

附录:真值表

A

B

C

D

E

小项

0

0

0

0

0

0

0

0

0

0

1

0

0

0

0

1

0

0

0

0

0

1

1

0

0

0

1

0

0

0

0

0

1

0

1

0

0

0

1

1

0

0

0

0

1

1

1

1

m00111

0

1

0

0

0

0

0

1

0

0

1

0

0

1

0

1

0

0

0

1

0

1

1

1

m01011

0

1

1

0

0

0

0

1

1

0

1

1

m01101

0

1

1

1

0

1

m01110

0

1

1

1

1

1

m01111

1

0

0

0

0

0

1

0

0

0

1

0

1

0

0

1

0

0

1

0

0

1

1

1

m10011

1

0

1

0

0

0

1

0

1

0

1

1

m10101

1

0

1

1

0

1

m10110

1

0

1

1

1

1

m10111

1

1

0

0

0

0

1

1

0

0

1

1

m11001

1

1

0

1

0

1

m11010

1

1

0

1

1

1

m11011

1

1

1

0

0

1

m11100

1

1

1

0

1

1

m11101

1

1

1

1

0

1

m11110

1

1

1

1

1

1

m11111

代码可能存在借鉴,侵删!

【记得交作业】波波离散实验报告一(python实现)相关推荐

  1. html大作业星空特效实验报告,星空探秘课实验报告单(实验一)

    星空探秘作业,实验报告答案 北京师范大学公共选修课 <星空探秘> 实验报告 课程名称: 星空探秘 实验名称: 望远镜的使用 实验日期: 4月16日 实验地点: 曾宪梓楼顶天文台 作者姓名: ...

  2. 2019级计算机学院数据结构编程作业,数据结构上机实验报告

    时间:2019-05-12 08:38:58 作者:admin 数据结构实验报告 课程 数据结构 _ 院 系 专业班级 实验地点姓 名 学 号 实验时间 指导老师 数据结构上机实验报告1 一﹑实验名称 ...

  3. 江南大学物联网工程学院数据库课程实验三作业3vb.net实验报告

    一.开发环境 语言环境:Microsoft.NET Framework 4.6 SDK IDE:Microsoft Visual Studio Community 2015 二.代码及配置 1.For ...

  4. 合肥工业大学2020-2021学年《数据挖掘》实验报告(Python实现)

      实验2的报告抄袭自报告,存粹是为了完成作业,不带任何商业目的.侵删! 文章目录 1 实验1:基于UCI soybean Dataset的分类任务 1.1 实验目的 1.2 实验任务 1.3 实验环 ...

  5. Python实验报告一 python基础试题练习

    实验内容: 编写程序,生成一个包含20个随机整数的列表,然后对其中偶数下标的元素进行降序排列,奇数下标的元素不变.(提示:使用切片.) 2.编写程序,输入两个集合 setA 和 setB,分别输出它们 ...

  6. Python实验报告四 python基础试题练习

    定义一个学校人员类SchoolPerson, 其中属性:姓名name.性别sex.年龄age: 方法:设置人员的各个属性的set_info方法: 获取各属性值的get_info方法. 定义好类以后,再 ...

  7. Python实验报告五 python基础试题练习

    文件 一.实验目的与要求 1.掌握文件的打开和关闭的方法. 2.掌握文本文件和二进制文件文件的不同操作,如读写.重命名.删除. 3.掌握os与os.path模块文件和文件夹的操作 二.题目 1 编写程 ...

  8. A*算法解决八数码问题 人工智能原理实验报告 启发式搜索 python

    目录 一.实验主要步骤 ①.设计界面输入规则 ②.判断是否有解 ③.求解 二.实验结果展示 三.附录 完整实验程序代码: 一.实验主要步骤 ①.设计界面输入规则 有且仅有9位数字代表数码和空格,从左到 ...

  9. python的实验报告大一心理_python的期末实验报告

    青岛工学院 实验报告 <Python 语言基础>实验报告 实验室: 实验题目 年... python大作业实验报告.pptx_计算机软件及应用_IT/计算机_专业资料.... 温州大学瓯江 ...

  10. 计算机word做课程表实验报告,《用Word制作课程表》“学讲方式”案例分析

    2014年,徐州教育局"大力推进课堂教学改革,改变学与教的方式,使学习变得更主动.有趣.活泼.愉悦,使教学活动更有目的性.针对性.实效性,使老师的教和学生的学变得更有成效.更具教育和生活意义 ...

最新文章

  1. CSS :hover 伪类
  2. 日历控件的android代码,Android日历控件PickTime代码实例
  3. mxnet基础到提高(53)-ndarray与numpy之间转换
  4. Springboo零配置原理
  5. 【并查集】封锁阳光大学(P1330)
  6. 直接从JBoss AS 7组件使用JGroups
  7. Eclipse中的Github Gists
  8. python字典与json转换_python字典与json转换的方法总结
  9. php上传视频无图像,php-PHP实现视频上传与播放,代码出现问题,求解!上传图片后提示没有上传文件或文件大于300M,是什么原因?...
  10. BigDecimal除法,并保留小数后两位
  11. HTML5制作个人简历模板
  12. 计算机win7启动不起来,详解电脑启动不了怎么办
  13. nginx使用limit_req_zone限制ip访问频率
  14. 搬寝室 ----- 动态规划
  15. 深度学习网络基础——感受野
  16. 如何启用计算机上的摄像头,电脑如何打开摄像头
  17. 使用IE浏览器将pfx转为cer证书
  18. Vue-组件自定义事件
  19. FDM打印机使用总结(二)
  20. WiFi信号弱,选穿墙路由器还是放大器,WiFi信号放大器真的有用吗?

热门文章

  1. 如何用好项目管理工具
  2. linux 执行文件命令
  3. 【LKJ】LKJ2000型记录装置显示界面说明
  4. scipy安装_4. Python--Scipy库(下/13-17)
  5. PEER地震库地震波获取方法
  6. 服务器主板电池的电压不稳定怎么办,轻松解决CMOS掉电烦恼这绝招
  7. Unicode 汉字编码表
  8. 凹凸性和Jensen不等式
  9. 数据库宿舍管理系统MySQL表_数据库-宿舍管理系统
  10. 在scrapy爬虫框架xpath中extract()方法的使用