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

简介: 本节书摘来自华章出版社《数字逻辑设计与计算机组成》一 书中的第2章,第2.4节,作者:[美]尼克罗斯·法拉菲,更多章节内容可以访问云栖社区“华章计算机”公众号查看。

2.3 规范表达式

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

就不是一个范式,因为逻辑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)表达如下:
image

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

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

2.3.2 极大项

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

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

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

相关文章
《数字逻辑设计与计算机组成》一 2.2 逻辑表达式
本节书摘来自华章出版社《数字逻辑设计与计算机组成》一 书中的第2章,第2.2节,作者:[美]尼克罗斯·法拉菲,更多章节内容可以访问云栖社区“华章计算机”公众号查看。
3310 0
《逻辑与计算机设计基础(原书第5版)》——2.3 标准形式
本节书摘来自华章计算机《逻辑与计算机设计基础(原书第5版)》一书中的第2章,第2.3节,作者:(美)M.莫里斯·马诺(M. Morris Mano)著, 更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1502 0
《数字逻辑设计与计算机组成》一2.4 逻辑化简
本节书摘来自华章出版社《数字逻辑设计与计算机组成》一 书中的第2章,第2.4节,作者:[美]尼克罗斯·法拉菲,更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1676 0
《逻辑与计算机设计基础(原书第5版)》——第3章 3.0组合逻辑电路的设计
本节书摘来自华章计算机《逻辑与计算机设计基础(原书第5版)》一书中的第3章,第3.0节,作者:(美)M.莫里斯·马诺(M. Morris Mano)著, 更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1332 0
|
算法
《数字逻辑设计与计算机组成》一3.7 设计实例
本节书摘来自华章出版社《数字逻辑设计与计算机组成》一 书中的第3章,第3.7节,作者:[美]尼克罗斯·法拉菲,更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1666 0
《数字逻辑设计与计算机组成》一 2.8 设计实例
本节书摘来自华章出版社《数字逻辑设计与计算机组成》一 书中的第2章,第2.8节,作者:[美]尼克罗斯·法拉菲,更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1756 0
《数字逻辑设计与计算机组成》一3.6 算术逻辑单元
本节书摘来自华章出版社《数字逻辑设计与计算机组成》一 书中的第3章,第3.6节,作者:[美]尼克罗斯·法拉菲,更多章节内容可以访问云栖社区“华章计算机”公众号查看。
2223 0
|
芯片 异构计算
《数字逻辑设计与计算机组成》一2.9 实现
本节书摘来自华章出版社《数字逻辑设计与计算机组成》一 书中的第2章,第2.10节,作者:[美]尼克罗斯·法拉菲,更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1679 0
|
算法 安全 测试技术
《数字逻辑设计与计算机组成》一练习
本节书摘来自华章出版社《数字逻辑设计与计算机组成》一 书中的第3章,练习章节,作者:[美]尼克罗斯·法拉菲,更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1723 0
|
安全
《数字逻辑设计与计算机组成》一 导读
本书内容包括存储器组织、处理器核心和处理器组织结构,以及硬件支持的计算机安全等。由于技术的进步以及对高速和低功耗设计的需求改变了计算机组织结构的基础,因此本书尝试不仅提供简单的实例用于展示基本的设计概念,而且揭示对现代计算机设计目标的理解。
1531 0