《数字逻辑设计与计算机组成》一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范式是三种等价的表达。

相关文章
|
计算机视觉
Mac-Mini 外接三个显示器教程
Mac-mini 官方只支持连接2个显示器,ctrl cv 复制粘贴代码和写博客的时候十分不方便,这时候需要外接第三个显示器,下面看看如何操作。
1867 0
Mac-Mini 外接三个显示器教程
|
12月前
|
人工智能 程序员 API
写作即思考:工程师如何用技术文档完成逻辑的『认知复利』
技术写作:在程序员的世界里,人们常说“Talk is cheap, show me the code”,但随着生成式AI的普及,“Code is cheap, show me the prompt”正悄然改写规则。
|
弹性计算 关系型数据库 Serverless
云端架构下的高效多媒体文件处理方案测评体验
传统的服务器部署模式在处理高并发、大数据量的文件转换任务时,常面临资源瓶颈和成本上升的问题。使用函数计算,利用事件驱动和异步任务的方式,将文件处理任务与核心应用解耦,同时依靠函数计算自动弹性扩展和按使用付费的优势可以快速对多媒体文件进行处理。
|
Kubernetes Shell Docker
在K8S中,如果容器没有bash命令,如何进⼊容器排查问题?
在K8S中,如果容器没有bash命令,如何进⼊容器排查问题?
|
数据采集 数据可视化 关系型数据库
【优秀python web设计】基于Python flask的猫眼电影可视化系统,可视化用echart,前端Layui,数据库用MySQL,包括爬虫
本文介绍了一个基于Python Flask框架、MySQL数据库和Layui前端框架的猫眼电影数据采集分析与可视化系统,该系统通过爬虫技术采集电影数据,利用数据分析库进行处理,并使用Echart进行数据的可视化展示,以提供全面、准确的电影市场分析结果。
792 4
|
物联网 人机交互 语音技术
计算机中输入输出设备
【7月更文挑战第28天】
846 1
|
存储 JavaScript 算法
若依修改-Starting development server...10% building 0/1 modules 1 active ...-node
若依修改-Starting development server...10% building 0/1 modules 1 active ...-node
|
前端开发 PHP 数据格式
【附带效果视频】php接口给前端返回流式数据,php使用event-stream进行数据推送,循环一次输出一次
【附带效果视频】php接口给前端返回流式数据,php使用event-stream进行数据推送,循环一次输出一次
687 0
|
机器学习/深度学习 传感器 算法
【图像加密解密】基于混沌序列实现图像加密和解密(图像相关性分析)附Matlab实现
【图像加密解密】基于混沌序列实现图像加密和解密(图像相关性分析)附Matlab实现
|
存储 安全 关系型数据库
无影云桌面,搭建一个属于自己的云上主机
在未来,云主机会成为越来越重要的计算资源之一。目前,云计算已经成为了IT行业的一个热点,越来越多的企业和个人开始使用云计算来提高工作效率和降低IT成本。在这种趋势下,云主机将会成为越来越重要的计算资源之一!
1433 1