当前位置: 首页 > news >正文

数字逻辑设计(2)

文章目录

  • 数字逻辑设计(2)
    • 1. 多变量卡诺图
      • 1.1 多变量卡诺图的概念
        • 1. 两变量卡诺图
        • 2. 三变量卡诺图
        • 3. 四变量卡诺图
        • 4. 五变量卡诺图
      • 1.2 如何填写多变量卡诺图
        • 1.2.1 真值表 -》卡诺图
        • 1.2.2 标准与或式 -》卡诺图
        • 1.2.3 例题
        • 1.2.4 基于卡诺图得逻辑运算
    • 2. 卡诺图化简法

数字逻辑设计(2)

1. 多变量卡诺图

1.1 多变量卡诺图的概念

1. 两变量卡诺图

利用格雷码,使用坐标的读取方式,将格雷码组成后以二进制转为十进制读取在这里插入图片描述

2. 三变量卡诺图

在这里插入图片描述

3. 四变量卡诺图

在这里插入图片描述

4. 五变量卡诺图

在这里插入图片描述

1.2 如何填写多变量卡诺图

1.2.1 真值表 -》卡诺图

根据真值表中的结果,对应到卡诺图表格中填写对应的0,1值
在这里插入图片描述

1.2.2 标准与或式 -》卡诺图

标准与或式
F = ∑ m ( 3 , 5 , 6 , 7 ) F=\sum{m(3, 5, 6, 7)} F=m(3,5,6,7)
即编号3,5,6,7对应的真值为1,填写真值表中,再对应填写到卡诺图中

标准或与式
F = ∏ m ( 0 , 1 , 2 , 4 ) F=\prod{m(0, 1, 2, 4)} F=m(0,1,2,4)
即编号0,1,2,4对应的真值为0,填写在真值表中,再对应到卡诺图中

在这里插入图片描述
将与或式逻辑表达式展开成完整形式,将对应的编号在卡诺图中填写为1
在这里插入图片描述

1.2.3 例题

在这里插入图片描述
F = ( A ⨁ B ) ( C + D ) ‾ F=\overline{(A \bigoplus B)(C + D)} F=(AB)(C+D)
F = ( A B ‾ + A B ) ‾ ( C + D ) ‾ F=\overline{\overline{(\overline{AB} + AB)}(C + D)} F=(AB+AB)(C+D)
F = A ‾ F=\overline{A} F=A B ‾ + A B + C ‾ \overline{B} + AB + \overline{C} B+AB+C D ‾ \overline{D} D

补出最小项
A ‾ \overline{A} A B ‾ \overline{B} B = 0000 + 0001 + 0010 + 0011
        0      1      2     3
A A A B B B = 1100 + 1101 + 1110 + 1111
        12    13     14    15
C ‾ \overline{C} C D ‾ \overline{D} D = 0000 + 0100 + 1000 + 1100
        0      4      8     12

填写卡诺图得
在这里插入图片描述
在这里插入图片描述
首先求出逻辑表达式
在这里插入图片描述
再补全最小项
在这里插入图片描述
最后根据编码号补全卡诺图
在这里插入图片描述

1.2.4 基于卡诺图得逻辑运算

卡诺图之间的逻辑运算是对应小方格之间进行逻辑运算:
或、与、异或、同或等

在这里插入图片描述

2. 卡诺图化简法

在这里插入图片描述
B C BC BC全为1,在卡诺图中表现为 B C BC BC 即11纵行全是1
在这里插入图片描述

2.1 从卡诺图中读取最简与或式(AND-OR)

step1 画圈

1. 紧挨着的
2. 行列首尾相接的
3. 对称的

在这里插入图片描述
在这里插入图片描述
满足格雷码的特点,相邻两项只有一位不同
三个圈
011 & 111
101 & 111
110 & 111
在这里插入图片描述
一个圈
0000 & 0010 & 1010 & 1000

在这里插入图片描述
一个圈
0001 & 0011 & 1011 & 1001

step2. 求出每个圈代表的项(每个圈代表一个与项)

在这里插入图片描述
观察每个圈左边和上边(类似于坐标读取方法),0和1同时出现的项和为1,在项的表达式中消除,只出现0或1的项取原变量或者反变量在项中保留
在这里插入图片描述
蓝色的圈
左边有
A A A:0,1 同时出现消去 A A A
上边有
B C BC BC:11 没有在逻辑上消去,得到 B C BC BC
综上,得到了项表达式 B C BC BC

红色的圈
左边有
A A A: 1 得到项中的一部分,即 A A A
上边有
B C BC BC: 01和11将B消去,的到项的另一部分,即 C C C
综上,得到了表达式 A C AC AC

紫色的圈
同上,消去 C C C, 得到项 A B AB AB
在这里插入图片描述
从圈的位置
读取左侧值
00 & 10 消去B
读取上侧值
00 & 10 消去C
综上,得到表达式 B ‾ \overline{B} B D ‾ \overline{D} D

step3. 将所有的与项相加

得到最简逻辑表达式
在这里插入图片描述
1. 画圈
相邻对称2个圈
行列首尾1个圈

2. 求出每个圈代表的项
红色: A ‾ \overline{A} A C ‾ \overline{C} C
紫色: A A A C C C
蓝色: B ‾ \overline{B} B D ‾ \overline{D} D

3. 将所有与项相加

F = F= F= A ‾ \overline{A} A C ‾ \overline{C} C + A A A C C C + B ‾ \overline{B} B D ‾ \overline{D} D

在这里插入图片描述
由上图画圈的方式不同可知最简表达式不一定唯一,但是同一个逻辑表达式的最简表达式的实现代价式相同的

2.2 读取最简或与式(OR-AND)

step1. 画圈

与与或式类似,区别是画圈的目标是0
在这里插入图片描述

step2. 每个圈代表一个和项

注意:在和项中0代表原变量
在这里插入图片描述

step3. 将所有和项相乘

得到最简或与式
在这里插入图片描述

2.3 读取最简与或非式(AND-OR-NOT)

方法一

step1. 读 F ‾ \overline{F} F的与或式

在F的卡诺图中圈0
在这里插入图片描述

step2. 对 F ‾ \overline{F} F求反

在这里插入图片描述

方法二

F ‾ \overline{F} F的卡诺图中圈1

在这里插入图片描述

在这里插入图片描述
俺觉得方法二简单些

2.4 带有无关项的卡诺图化简

2.4.1 求解方法

在这里插入图片描述
在此图中,两种画圈方法:
方法一:求与或式
卡诺图中只有一个1,观察知将无关项视为1时更好画圈,得到一个圈,最终化简结果为
F = C F=C F=C

方法二:求或与式
卡诺图中此时圈0,得到一个圈,中间的无关项利用不上, 那就不利用了,即视为1即可,否则强行利用反而麻烦。
得到一个圈,最终化简结果为
F = C F=C F=C

2.4.2 例题

例1

在这里插入图片描述
对于8421BCD码,有效范围是0~9,超出这个范围的是无关项
求其与或式时,先对1画圈,包含相邻1的同时,利用更多的无关项,得到三个圈
最终逻辑表达式为
F = A + B D + B C F=A+BD+BC F=A+BD+BC

例2

二进制码+3为余三码
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

2.5 更多变量的卡诺图化简

在这里插入图片描述

在这里插入图片描述
左边为 x 1 = 0 x1=0 x1=0时,编号从0~15
右边为 x 1 = 1 x1=1 x1=1时,编号从16~31
在这里插入图片描述

相关文章:

  • tars架构
  • 数据结构算法之贪心算法,贪心算法之区间调度问题
  • Spark Rdd之mapToPair,flatMapToPair
  • nodejs项目实例知识信息分享平台
  • Python类和对象怎么使用
  • 【我不熟悉的css 】02. 手动画一个svg图片
  • 一、特征工程
  • 超详细Redis入门教程三
  • 【Go】slice
  • 低码筑梦,扬帆起航|湘潭大学万应低代码实训营圆满结营!
  • 盲盒app系统开发功能介绍
  • Linux中磁盘管理
  • Android Studio无障碍功能
  • 计算机毕业设计 SSM+Vue美容院管理系统 美容护理管理系统 美容店系统管理Java Vue MySQL数据库 远程调试 代码讲解
  • 2022年全球及中国手术感控行业头部企业市场占有率及排名调研报告
  • 《Java8实战》-第四章读书笔记(引入流Stream)
  • 【159天】尚学堂高琪Java300集视频精华笔记(128)
  • ES6, React, Redux, Webpack写的一个爬 GitHub 的网页
  • flask接收请求并推入栈
  • JS专题之继承
  • Mac 鼠须管 Rime 输入法 安装五笔输入法 教程
  • orm2 中文文档 3.1 模型属性
  • React-Native - 收藏集 - 掘金
  • SpiderData 2019年2月13日 DApp数据排行榜
  • uva 10370 Above Average
  • Vue官网教程学习过程中值得记录的一些事情
  • 从零搭建Koa2 Server
  • 关于 Linux 进程的 UID、EUID、GID 和 EGID
  • 前端面试之闭包
  • 一个JAVA程序员成长之路分享
  • 【运维趟坑回忆录 开篇】初入初创, 一脸懵
  • 长三角G60科创走廊智能驾驶产业联盟揭牌成立,近80家企业助力智能驾驶行业发展 ...
  • ​Linux Ubuntu环境下使用docker构建spark运行环境(超级详细)
  • $.each()与$(selector).each()
  • (1)(1.13) SiK无线电高级配置(六)
  • (1)(1.19) TeraRanger One/EVO测距仪
  • (9)目标检测_SSD的原理
  • (ZT)一个美国文科博士的YardLife
  • (第27天)Oracle 数据泵转换分区表
  • (附源码)spring boot建达集团公司平台 毕业设计 141538
  • (附源码)流浪动物保护平台的设计与实现 毕业设计 161154
  • (免费领源码)python#django#mysql校园校园宿舍管理系统84831-计算机毕业设计项目选题推荐
  • (全部习题答案)研究生英语读写教程基础级教师用书PDF|| 研究生英语读写教程提高级教师用书PDF
  • (三维重建学习)已有位姿放入colmap和3D Gaussian Splatting训练
  • (五)MySQL的备份及恢复
  • (已更新)关于Visual Studio 2019安装时VS installer无法下载文件,进度条为0,显示网络有问题的解决办法
  • (原創) 如何優化ThinkPad X61開機速度? (NB) (ThinkPad) (X61) (OS) (Windows)
  • (原創) 是否该学PetShop将Model和BLL分开? (.NET) (N-Tier) (PetShop) (OO)
  • (转)Unity3DUnity3D在android下调试
  • .net core 6 集成和使用 mongodb
  • .net core MVC 通过 Filters 过滤器拦截请求及响应内容
  • .NET Micro Framework 4.2 beta 源码探析
  • .NET MVC 验证码
  • .NET 设计模式—简单工厂(Simple Factory Pattern)
  • .NET6实现破解Modbus poll点表配置文件