《数字逻辑设计与计算机组成》一2.3 规范表达式

2.3 规范表达式

当一个逻辑表达式中每一个逻辑项都包含了所有的输入变量或者其反相,那么这个表达式就称为规范表达式(简称范式)。例如,二变量函数是一个SOP范式。两个乘积项中都包含变量x和y或者它们的反相形式。同理,二变量函数是一个POS范式。非规范表达式中可以包含一个或者多个不包含所有变量的逻辑项。例如,三变量SOP表达式

就不是一个范式,因为逻辑x项少了z和,逻辑项z少了y和。一个给定的非规范SOP表达式或者非规范POS表达式可以是或者不是极小的;然而,它可以先转换成等价的范式,然后用以下的化简方法变成极小的范式。

2.3.1 极小项

乘积项的对应输入值称为极小项。例如,考虑SOP范式有两个乘积项和xy。f的两个乘积项对应的输入值为x = 0且y = 0,x和y连接起来表示即(00)2 = 0(原书有误——译者注),或者当x = 1且y = 1,即(11)2 = 3,则0和3称为f的极小项,可以用希腊符号Σ (sigma)表达如下:

使用极小项能最直接地表达SOP范式的输出。如果极小项给出的形式是十进制数,则需要先将它们转换为二进制数,然后得出二进制数对应的乘积项,如以下函数g:

对于一个输出变量来说,其真值表、极小项列表和SOP范式是三种等价的表达方式。

2.3.2 极大项

同理,和项的对应输入值称为极大项。极大项也可以写为整数形式,用希腊符号Π (pi)进行相乘得出POS表达式。每一个极大项都与POS范式中的一个和项相对应。例如,表达式

描述了f的极大项,当f的两个输入x和y为(00)2 = 0或者(01)2 = 1时,f为0。
函数f的极大项就是其互补函数干的极小项,反之亦然。对于任意函数h,以下1)~3)步说明了如何从其极大项列表获得其POS范式。步骤i)和ii)作为补充,用于说明如何从的极小项列表中获得其SOP表达式。

步骤2)和3)也可以用对偶原理(即方法Ⅱ)代替,如下所示:
将对偶原理应用到的SOP表达式中,可得到其对偶表达式;然后将表达式中每一个变量取反,则可得到h的POS表达式。
再次强调,对于一个输出变量,其真值表、极大项列表和POS范式是三种等价的表达。

时间: 2024-11-08 23:07:50

《数字逻辑设计与计算机组成》一2.3 规范表达式的相关文章

《数字逻辑设计与计算机组成》一 导读

前 言 Digital Logic Design and Computer Organization with Computer Architecture for Security 编写本书的目的是让读者通过一本教科书全面理解数字逻辑设计和计算机组成.此外,本书还有独立的一章介绍安全的计算机体系结构. 本书涵盖数字逻辑设计的基本原理和Verilog硬件描述语言设计.各个章节分别讨论简单和复杂的组合电路和时序电路的设计方法.本书概述了电路设计的现代工具和方法,而Verilog实例仅用于展示该语言的

《数字逻辑设计与计算机组成》一 第1章 1.1 简介

第1章 Digital Logic Design and Computer Organization with Computer Architecture for Security 导 论 1.1 简介 计算机.iPad.手机等设备已经引起了一场改变我们生活方方面面的数字革命.所有的数据形式,从数字和文本到音频.图像和视频,都能被表示为由一系列0和1组成的序列.数字系统已经改变了我们的沟通.工作.娱乐乃至购物的方式,并被大量应用于我们所见和所用的一事一物之上.它们也存在于汽车.杂货店结账设备.电

《数字逻辑设计与计算机组成》一 1.2 逻辑设计

1.2 逻辑设计 数字电路即逻辑电路,可以实现一个或多个布尔表达式,而每个布尔表达式均定义了一个或多个输入与单一输出之间的逻辑关系.输入和输出都由布尔变量命名,称为信号,每个信号的值或者为真(T)或者为假(F).公式(1-2)定义了有a.b.c三个输入信号和一个输出信号f的逻辑电路布尔(逻辑)表达式.图1-3a显示了该电路的方框图. 表达式中的AND.OR和NOT为布尔逻辑运算符.晶体管构成的逻辑门用于实现每一种布尔运算符.现代集成电路使用数百万个逻辑门实现处理器这类复杂的逻辑电路.当两个输入都

《数字逻辑设计与计算机组成》一2.9 实现

2.9 实现 现代数字电路设计师依靠CAD工具来将设计模型翻译成实现数据.数字设计CAD工具将数字电路的描述综合(翻译)成优化过和对技术依赖的门级描述,称为网表.特定用途的集成芯片(ASIC)和FPGA都是非定制IC技术的例子.处理器芯片是典型的定制IC技术的例子.电路可以用框图表示,也可以用HDL语言描述,或者同时使用这两种方法描述.然而,现代CAD工具需要将电路描述成HDL语言. 2.9.1 可编程逻辑器件 可编程逻辑器件(PLD)是预制的,即不包含任何制造缺陷的封闭现成设备.它们可以被编程

《数字逻辑设计与计算机组成》一 1.3 计算机组成

1.3 计算机组成 逻辑设计要解决的是关于电路描述.综合.最小化和仿真的相关问题,而计算机组成则研究电路部件及其物理关系,这些部件构成处理核心(CPU).处理器.存储器.I/O设备控制器和接口,这些模块相互连接就构成计算机.例如,图1-1中的寄存器文件.加法器.乘法器和选择器组成一个数据通路.控制单元和数据通路(通过一系列控制信号)组合成所需的运算单元,可以产生两数之和或其乘积.两个内部组织不相同的CPU可以执行同一指令系统的指令.例 如,32位Intel和AMD处理器可以执行同一指令系统的指令

《数字逻辑设计与计算机组成》一 2.5 逻辑化简算法

2.5 逻辑化简算法 K图化简是一种图形的方式,只能适用于很小数目的变量,例如4个变量的表达式中.当变量数大于4时,在20世纪50年代中期发明的叫作奎因-麦克拉斯基算法的数学方式更合适于表达式化简.这个算法使用比K图更少的步骤来寻找最小逻辑表达式.最小项被划分成不同的集合,每一个集合都只包含一个在二进制表达中有特殊个1的个数的最小项.考虑例2-5中的表达式f (w, x, y, z) = Σ (0, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13).在二进制中,最小项为0000,

《数字逻辑设计与计算机组成》一 第3章 3.1 简介

第3章 Digital Logic Design and Computer Organization with Computer Architecture for Security组合电路:大型设计 3.1 简介 在前一章中介绍的设计技术只适用于很少输入数目的组合电路.有很多输入的组合电路必须以不同的方式设计.例如,考虑有n = 32个输入的组合电路.其真值表可能会有超过40亿行--对于第2章介绍的设计电路方法来说,这个数目特别巨大.再有,大型电路肯定会遇到设计扇入和扇出的需求.这就要求一种自顶

《数字逻辑设计与计算机组成》一2.4 逻辑化简

2.4 逻辑化简 在第1章中已经讨论过,以最少的逻辑门以及每个逻辑门以最少的输入来生成输出信号是非常重要的.最小的SOP或者POS表达式包含了最少数目的逻辑项,每一项都是由最少数目的变量组成.图2-12展示了逻辑化简的优点.在这两个例子中,规范表达式的电路实现需要更多的逻辑门,即需要更多的晶体管和电线来实现. 在图2-12中,SOP规范表达式的电路需要4个三输入的与门.3个非门和1个四输入的或门或者总共需要8个与非门实现,包括非门在内,每一个逻辑门至多有4个输入.另一方面,与其等价的最小SOP表

《数字逻辑设计与计算机组成》一2.6 电路时序图

2.6 电路时序图 在讨论电路时序图之前,我们首先从非门电路时序图开始.每一个逻辑门都有一定的延时.这个延时是由于逻辑门输出从0到1或者反过来一个或多个输入变化需要时间.图2-18展示了非门0.1ns延迟的时序.如图2-18a所示,当输入x从0变为1时,输出z在0.1ns中从1变为0.类似地,当x从1变为0时,在0.1ns中从0变为1.在图2-18a中,信号的转换显示成立即发生.然而,在实际中,信号转换并非立即发生. 信号上升时间是输出电压从逻辑0的对应值上升到逻辑1的对应值所需的时间.类似的,