最新程序猿必备的数电知识之（逻辑代数基础后半篇）(1)，如何在面试中逆袭

rr8f2haQf

于 2024-05-14 05:03:04 发布

阅读量1k

点赞数 10

分类专栏：程序员文章标签： python 学习面试

本文链接：https://blog.csdn.net/rr8f2haQf/article/details/138832001

版权

程序员专栏收录该内容

259 篇文章 0 订阅

订阅专栏

在这里插入图片描述

感谢每一个认真阅读我文章的人，看着粉丝一路的上涨和关注，礼尚往来总是要有的：

①　2000多本Python电子书（主流和经典的书籍应该都有了）

②　Python标准库资料（最全中文版）

③　项目源码（四五十个有趣且经典的练手项目及源码）

④　Python基础入门、爬虫、web开发、大数据分析方面的视频（适合小白学习）

⑤ Python学习路线图（告别不入流的学习）

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化学习资料的朋友，可以戳这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

③将这些乘积项相加，即得Y的逻辑函数式。

逻辑函数式转换为真值表：

在这里插入图片描述

（2）逻辑函数式与逻辑图的相互转换

从给定的逻辑函数式转换为相应的逻辑图时，只要用逻辑图形符号代替逻辑函数式中的逻辑运算符号并按运算优先顺序将它们连接起来，就可以得到所求的逻辑图了。

而在从给定的逻辑图转换为对应的逻辑函数式时，只要从逻辑图的输入端到输出端逐级写出每个图形符号的输出逻辑式，就可以在输出端得到所求的逻辑函数式了。

在这里插入图片描述

（3）波形图与真值表的相互转换

在从已知的逻辑函数波形图求对应的真值表时，首先需要从波形图上找出每个时间段里输入变量与函数输出的取值，然后将这些输入，输出取值对应列表，就得到了所求的真值表。

在将真值表转换为波形图时，只需将真值表中所有的输入变量与对应的输出变量取值依此排列画成以时间为横轴的波形，就得到了所求的波形图。

在这里插入图片描述

在这里插入图片描述 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

（1）逻辑函数的两种标准形式

在讲述逻辑函数的标准形式之前，先介绍一下最小项和最大项的概念，然后再介绍逻辑函数的“最小项之和”及“最大项之积”这两种标准形式。

1.最小项

在n变量逻辑函数中，若m为包含n个因子的乘积项，而且这n个变量均以原变量或反变量的形式在m中出现一次，则称m为该组变量的最小项。

例如：A，B,C三个变量的最小项有A’B’C’,A’B’C,A’BC’,A’BC,AB’C’,AB’C,ABC’,ABC共八个（即23个）。n变量的最小项应有2n个。

在这里插入图片描述从最小项的定义出发可以证明它具有如下的重要性质：

①在输入变量的任何取值下必有一个最小项，而且仅有一个最小项的值为1。

②全体最小项之和为1。

③任意两个最小项的乘积为0。

④具有相邻性的两个最小项之和可以合并成一项并消去一对因子。

若两个最小项只有一个因子不同，则称这两个最小项具有相邻性。

例如：A’BC’和ABC’两个最小项仅第一个因子不同，所以他们具有相邻性。这两个最小项相加时定能合并成一项并将一对不同的因子消去：

A’BC’ + ABC’ = （A’ + A）BC’ = BC’

2.最大项

在n变量逻辑函数中，若M为n个变量之和，而且这n个变量均以原变量或反变量的形式在M中出现一次，则称M为该组变量的最大项。

例如：三变量A,B,C的最大项有（A’+B’+C’），（A’+B’+C），（A’+B+C’），（A’+B+C），（A+B’+C’），（A+B’+C），（A+B+C’），（A+B+C）共八个（即23个）。对于n个变量则有2n个最大项。可知：n变量的最大项数目和最小项数目是相等的。

在这里插入图片描述

根据最大项的定义同样也可以得到它的主要性质：

①在输入变量的任何取值下必有一个最大项，而且只有一个最大项的值为0。

②全体最大项的乘积为0。

③任意两个最大项之和为1。

④只有一个比那里不同的两个最大项的乘积等于各相同变量之和。

如果将最大项和最小项的两张表对比，可以发现最小项和最大项存在如下关系：

例如：m0 = A’B’C’,则m0’=(A’B’C’)’ = A+B+C =M0

3.逻辑函数的最小项之和形式

首先，将给定的逻辑函数式化为若干乘积项之和的形式，亦称“积之和”形式。然后，再利用基本公式A+A’=1将每个乘积项中缺少的因子补全，这样就可以将与或的形式化为最小项之和的标准形式。

在这里插入图片描述

（4）逻辑函数的最大项之积形式

利用逻辑代数的基本公式和定理，首先我们一定能把任何一个逻辑函数式化成若干多项式相乘的或与形式（也称“和之积”形式）。然后再利用基本公式AA’=0将每个多项式中缺少的变量补齐，就可以将函数式的或与形式化成最大项之积的形式了。

在这里插入图片描述

2.6逻辑函数的化简方法

==========================================================================

**函数式中相加的乘积项不能再减少，而且每项中相乘的因子不能再减少时，则函数式为最简形式。

化简逻辑函数的目的就是要消去多余的乘积项和每个乘积项中多余的因子，以得到逻辑函数式的最简形式。常用的化简方法有公式化简法，卡诺图化简法以及适用于编制计算机辅助分析程序的Q-M法等。**

1.公式化简法

公式化简法的原理就是反复使用逻辑代数的基本公式和常用公式消去函数式中多余的乘积项和多余的因子，以求得函数式的最简形式。

（1）并项法

利用公式AB+AB’=A可以将两项合并为一项，并消去B和B’这一对因子，而且，根据代入定理可知，A和B均可以是任何复杂的逻辑式。

在这里插入图片描述

（2）吸收法

利用公式A+AB=A可将AB项消去。A和B同样也可以是任何一个复杂的逻辑式。

在这里插入图片描述

（3）消项法

利用公式AB+A’C+BC=AB+A’C及AB+A’C+BCD=AB+A’C将BC或BCD项消去。其中A,B,C,D均可以是任何复杂的逻辑式。

在这里插入图片描述

（4）消因子法

利用公式A+A’B=A+B可将A’B中的A’消去。A,B均可以是任何复杂的逻辑式。

在这里插入图片描述

（5）配项法

①根据基本公式中的A+A=A可以在逻辑函数式中重复写入某一项，有时能获得更加简单的化简方法。

在这里插入图片描述 ②根据基本公式中的A+A’=1可以在函数式中的某一项上乘以（A+A’）,然后拆分为两项分别与其他项合并，有时能得到更加简单的化简结果。

在这里插入图片描述两者合起来综合使用：

在这里插入图片描述

2.卡诺图化简法

思路：既然对任何逻辑函数都可以展开为最小项之和的形式，那么采用合并最小项的方法化简逻辑函数，就是一种对任何逻辑函数都适用的，而且具有固定操作步骤和方法的化简方法。

卡诺图化简法就是一种基于合并最小项的化简方法！！！

（1）卡诺图介绍：

定义：将n变量的全部最小项各用一个小方块表示，并使具有逻辑相邻性的最小项在几何位置上也相邻地排列起来，所得到的图形称为n变量最小项的卡诺图。

如下图：为二到五变量最小项的卡诺图。图形两侧标注的0和1表示使对应小方格内的最小项为1的变量取值。同时，这些0和1组成的二进制数所对应的十进制数大小也就是对应的最小项的编号。

在这里插入图片描述

为了保证图中几何位置相邻的最小项在逻辑上也具有相邻性，这些数码不能按自然二进制数从小到大地顺序排列，而必须按照图中的方式排列，以确保相邻的两个最小项仅有一个变量是不同的。

从图中还可以看出，处在任何一行或一列两端的最小项也仅有一个变量不同，所以它们也具有逻辑相邻性。因此，从几何位置上应当将卡诺图看成是上下，左右闭合的图形。

在变量>=5以后，仅用几何图形在两维空间的相邻性来表示逻辑相邻性已经不够了。比如：图中d所示的五变量最小项的卡诺图中，除了几何位置相邻的最小线具有逻辑相邻性以外，以图中双竖线为轴左右对称位置上的两个最小项也具有逻辑相邻性。

既然任何一个逻辑函数都能表示为若干最小项之和的形式，那么自然也就可以设法用卡诺图来表示任意一个逻辑函数。具体的方法是：首先将逻辑函数化为最小项之和的形式，然后在卡诺图上与这些最小项对应的位置上填入1，在其余的位置上填入0，就得到了表示该逻辑函数的卡诺图。也就是说，任何一个逻辑函数都等于它的卡诺图中填入1的那些最小项之和。

在这里插入图片描述