数电学习笔记Ⅱ——逻辑代数/布尔代数

本文介绍了逻辑代数的基本概念,包括逻辑变量的定义、二值逻辑、三种基本运算(与、或、非),以及与非、或非、异或、同或等运算。文章还提及了真值表、逻辑函数的表达方式和逻辑代数的基本定律与公式示例,强调了逻辑代数与初等代数的区别和使用注意事项。

前言

这一节的知识点比较杂,个人觉得对于初学者的大家以一个扫盲的态度来快速过一遍,把知识点大致的掌握就行了,我个人的经验是在掌握基本概念之后马上开始做题,做到不会的再回来翻以此加深印象。

二值逻辑代数

逻辑变量的概念(为什么要叫二值逻辑变量?)

我们用0和1来表示逻辑状态中的开与关、高与低。普通代数中变量的取值是不固定的,但是在逻辑代数中,逻辑变量的取值只能有0或1两个取值。所以我们叫它二值逻辑变量

三个基本的逻辑运算(与、或、非)

比较简单,我们一笔带过。

与运算
L=A⋅B=ABL = A · B = ABL=AB=AB
A、B与L的逻辑关系是“只有当一件事的几个条件全部具备之后,这件事才发生”
或运算
L=A+BL = A + BL=A+B
即“当一件事情的几个条件中只要有一个条件得到满足,这件事情就会发生”
非运算
L=A‾L = \overline AL=A
即“一件事情的发生是以其相反的条件为依据”

一些常用的逻辑运算(与非、或非、异或、同或)

与非
L=A⋅B‾=AB‾L = \overline {A·B} = \overline {AB}L=AB=AB
或非
L=A+B‾L = \overline {A+B}L=A+B
异或
L=A‾B+AB‾L = \overline AB + A\overline BL=AB+AB
同或
L=AB+A‾B‾L = AB+\overline A \overline BL=AB+AB

真值表

ABL(与非)L(或非)L(异或)L(同或)
001101
011010
101010
110001

逻辑函数的表达

四种表达方式:
真值表–Truth Table逻辑函数表达式–Logic Expression逻辑图–Logic Diagram波形图–Timing Diagram
本质上都一样,为了便于直观理解而已,这里给出示例,就不多解释了。

真值表–Truth Table
请添加图片描述
逻辑函数表达式–Logic Expression
L=AB‾+BL = A\overline B + BL=AB+B
逻辑图–Logic Diagram
请添加图片描述
波形图–Timing Diagram请添加图片描述

逻辑代数

这些代数的基本法则在推导逻辑的时候感觉还蛮重要的,之后应该会专门出一篇文章来推导基本法则。

逻辑代数的基本公式

请添加图片描述

逻辑代数的基本定律

请添加图片描述
公式运用示例:

试化简下列逻辑函数表达式:
L=(A+B)⋅(A‾+B)L=(A+B)·(\overline A+B)L=(A+B)(A+B)
L=AA‾+AB+BA‾+BBL=A\overline A+AB+B\overline A+BBL=AA+AB+BA+BB
=0+AB+BA‾+B(运用定理AA‾=0和AA=A)=0 +AB+B\overline A+B \quad(运用定理A\overline A=0和AA=A)=0+AB+BA+B(运用定理AA=0AA=A)
=AB+BA‾+B(运用定理A+0=A)=AB+B\overline A+B \quad(运用定理A + 0 = A)=AB+BA+B(运用定理A+0=A)
=B(A+A‾+1)(运用定理A⋅(B+C)=A⋅B+A⋅C)=B(A+\overline A+1) \quad(运用定理A·(B+C)=A·B+A·C)=B(A+A+1)(运用定理A(B+C)=AB+AC)
=B⋅1=1=B·1=1=B1=1

需要注意的是,逻辑代数和我们一直以来接触使用的初等代数非常不一样,上面我所列举的基本公式和定律,它所反映的是逻辑关系而不是数量之间的关系,在我们进行运算的时候不能想当然的简单套用初等代数的运算规则。初等代数的移项规则在逻辑代数中就不能用,因为逻辑代数中不存在减法!

逻辑代数的基本规则

基本运算定律对于理解逻辑运算的本质和进行简单的表达式简化确实足够了。但是还不能够帮助我们去很好的处理化简复杂的逻辑表达。
了解基本规则,我个人认为,作用在于帮助我们从看待初等代数问题的角度离开,建立一个处理逻辑代数的思维模式和方法。
1.代入规则
变量A=任意一个函数:

e.g:
B(A+C)=BA+BCB(A+C)=BA+BCB(A+C)=BA+BC 若使得A=E+F->
B((E+F)+C)=B(E+F)+BCB((E+F)+C)=B(E+F)+BCB((E+F)+C)=B(E+F)+BC

2.反演规则(import!)
根据摩根定理,由原函数LLL的表达式,求它的非函数L‾\overline LL时,
可以将

  1. LLL中的与或互换(+)<−>(⋅)(+) <-> (·)(+)<>()
  2. LLL中原变量与非变量互换:A<−>A‾A<->\overline AA<>A
  3. LLL中的1<−>01<->01<>0

e.g:
if L=A‾⋅B‾+CD+0L=\overline A·\overline B+CD+0L=AB+CD+0
L‾=(A+B)(C‾⋅D‾)⋅1\overline L=(A+B)(\overline C ·\overline D)·1L=(A+B)(CD)1

3.对偶规则
LLL是一个逻辑表达式,将LLL中的“与、或互换,0、1互换”就得到了他的对偶式,也就是L′L\primeL
对偶规则指出,当某个逻辑表达式相等,则它们的对偶式也相等,
那么比如说我们的吸收律A+A‾B=A+BA+\overline AB=A+BA+AB=A+B成立,那通过对欧律我们就能知道A(A‾+B)=ABA(\overline A+B)=ABA(A+B)=AB这也是成立的。

评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值