逻辑代数的基本公式和运算规则
逻辑代数
1.逻辑函数的变换 1.逻辑函数的变换
3.1.3 逻辑函数的代数变换与化简
L = AC + C D = AC + C D = AC • C • D = ( A + C ) • (c + D ) = AC + AD + C D = AC + C D = AC + C D = A + C + C + D
在逻辑代数中， 在逻辑代数中，逻辑函数的变量只能取两个 二值变量）， ），即 和 。 值（二值变量），即0和1。
基本运算规则
， 加运算规则: 加运算规则: 0+0=0 ，0+1=1 ，1+0=1，1+1=1 A+0 =A，A+1 =1，A+A =A， ， ， ， A+A =1 乘运算规则: 0•0=0 乘运算规则: A•0 =0 非运算规则: 非运算规则: 0=1
根据逻辑表达式，可以画出相应的逻辑图， 根据逻辑表达式，可以画出相应的逻辑图，表 达式的形式决定门电路的个数和种类， 达式的形式决定门电路的个数和种类，因此实际中 需要对表达式进行变换。 需要对表达式进行变换。 例如L=A⊕B ⊕ 例如 1.用与非门实现：与或表达式→摩根定律 用与非门实现：与或表达式 摩根定律 用与非门实现 有反变量输入、 有反变量输入、无反变量输入 2.用或非门实现：或与表达式→摩根定律 用或非门实现：或与表达式 摩根定律 用或非门实现 有反变量输入、 有反变量输入、无反变量输入 3.用最少门实现 用最少门实现 化简；选用异（ 化简；选用异（同）或门
逻辑代数的运算法则
逻辑代数的运算法则逻辑代数又称布尔代数。
逻辑代数与普通代数有着不同概念，逻辑代数表示的不是数的大小之间的关系，而是逻辑的关系，它仅有0、1两种状态。
逻辑代数有哪些基本公式和常用公式呢？1.变量与常量的关系与运算公式 一、基本公式A·1=AA·0=0或运算公式A+0=A A+1=101律2.与普通代数相似的定律与运算公式A·B=B·A 或运算公式A+B=B+A交换律A·(B·C)=(A·B)·C A+(B+C)=(A+B)+C 结合律A·(B+C)=A·B+A·C A+(B·C)=(A+B)(A+C)分配律3.逻辑代数特有的定律与运算公式或运算公式互补律重叠律（同一律） 反演律（摩根定律）0=⋅A A 1=+A A BA B A +=⋅BA B A ⋅=+ 非非律（还原律）AA =A A A =⋅A A A =+真值表证明摩根定律0001101111111100结论：BA B A +=⋅ 以上定律的证明，最直接的办法就是通过真值表证明。
若等式两边逻辑函数的真值表相同，则等式成立。
【证明】公式1AB A AB =+B A AB +）（B B A += 互补律1⋅=A 01律A= 合并互为反变量的因子【证明】公式2AAB A =+AB A +）（B A +=1 01律A= 吸收多余项【证明】公式3BA B A A +=+B A A +BA AB A ++=B A A A ）（++= 互补律BA += 消去含有另一项的反变量的因子【证明】CA AB BC C A AB +=++BC A A C A AB ）（+++=BC C A AB ++ 分配律BC A ABC C A AB +++= 吸收多余项公式2互补律CA AB += 公式2逻辑代数的运算法则一、基本公式二、常用公式A·1=AA·0=0A+0=A A+1=1 1.变量与常量的关系01律2.与普通代数相似的定律交换律A·B=B·A A+B=B+A结合律 分配律3.逻辑代数特有的定律互补律A·A=A A+A=A 重叠律（同一律）反演律（摩根定律）0=⋅A A 1=+A A BA B A +=⋅BA B A ⋅=+非非律（还原律）AA =AB A AB =+.1AAB A =+.2BA B A A +=+.3CA AB BC C A AB +=++.4A·(B·C )=(A·B )·C A+(B+C )=(A+B )+C A·(B+C )=A·B+A·CA +(B·C )=(A+B )(A+C )谢谢！。
第3章(1) 逻辑代数
3.2 逻辑函数的卡诺图化简法
3.2.1 最小项的定义及其性质
1、最小项 ⑴、定义：
在n个变量逻辑函数中，若m为包含n个因子的乘 积项，而且这n个变量均以原变量或反变量的形式在m 中出现一次，则称m为该组变量的最小项。
例：3变量逻辑函数中
ABC , ABC, ABC , ABC, ABC , ABC, ABC , ABC 是最小项
一、化简的意义和最简的概念 1、化简的意义
• 节省器材。元器件减少，成本降低。
• 提高了工作的可靠性。单个门电路减少，输入、输出头减 少，电路的工作可靠性提高
· 例： A B·
·· &
１
&
C
·１
&
≥１ Y=ABC+ABC+ABC
A
&
Y=ABC+ABC+ABC
B
≥１
C
=A(BC+BC+BC) =A(BC+BC+BC+BC) =A(B+C)
4、配项法：
利用 A=A（B+ B ）作配项用，然后消去更多的项 Z=AB+ A C+BC=AB+ A C+（A+ A ）BC
=AB+ A C+ABC+ A BC=AB+ A C 也可利用 A+1=1 或 A+A=A 来配项
Z=ABC+ A BC+ AB C=ABC+ A BC+ AB C+ABC =（A+ A ）BC+（ AB +AB）C=BC+C=C
3.1.1 逻辑代数的基本定律和恒等式 1 基本关系 加运算规则: 0+0=0 ，0+1=1 ，1+0=1，1+1=1 A+0 =A，A+1 =1，A+A A+A =1 =A， 乘运算规则: 0•0=0 0•1=0 1•0=0 1•1=1
逻辑代数的基本定律和常用公式
逻辑代数的基本定律和常用公式1、基本定律逻辑代数是一门完整的科学。
与普通代数一样，也有一些用于运算的基本定律。
基本定律反映了逻辑运算的基本规律，是化简逻辑函数、分析和设计逻辑电路的基本方法。
（1）交换律（2）结合律（3）分配律（4）反演律（德·摩根定律）2、基本公式（1）常量与常量（2）常量与变量（3）变量与变量3、常用公式除上述基本公式外，还有一些常用公式，这些常用公式可以利用基本公式和基本定律推导出来，直接利用这些导出公式可以方便、有效地化简逻辑函数。
（1）证明：上式说明当两个乘积项相加时，若其中一项（长项：A·B）以另一项（短项：A）为因子，则该项（长项）是多余项，可以删掉。
该公式可用一个口诀帮助记忆：“长中含短，留下短”。
（2）证明：上式说明当两个乘积项相加时，若他们分别包含互为逻辑反的因子（B和），而其他因子相同，则两项定能合并，可将互为逻辑反的两个因子（B和）消掉。
（3）证明：上式说明当两项相加时，若其中一项（长项：·B）包含另一项（短项：A）的逻辑反（）作为乘积因子，则可将该项（长项）中的该乘积因子（）消掉。
该公式可用一个口诀帮助记忆：“长中含反，去掉反”。
例如：（4）证明：上式说明当3项相加时，若其中两项（AB和C）含有互为逻辑反的因子（A和）,则该两项中去掉互为逻辑反的因子后剩余部分的乘积（BC）称为冗余因子。
若第三项中包含前两项的冗余因子，则可将第三项消掉，该项也称为前两项的冗余项。
该公式可用一个口诀帮助记忆：“正负相对，余（余项）全完”。
例：Welcome !!! 欢迎您的下载，资料仅供参考！。
代数法化简逻辑函数
2.1 逻辑代数
例1：证明 AB AB A AB B AB
证明： AB AB AB AA AB BB A A B B A B
A AB B AB A AB B AB
A AB B AB
（2）用与非门实现L。
应将表达式转换成与非—与非表达式：
L AB BC AC
L AB BC AC
AB BC AC
AB BC AC
（3）用非门、或非门实现L。
L AB BC AC
ABBC AC
ABBC AC
2.1 逻辑代数
例7化简： L AB BC BC AB
2.1 逻辑代数
例3化简： L AB AC BC CB BD DB ADE(F G) L ABC BC CB BD DB ADE(F G) （利用摩根律 ）
A BC CB BD DB ADE(F G)（利用 AAB AB ）
A BC CB BD DB （利用A+AB=A）
第二章 逻辑代数
2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法
2.1 逻辑代数
二.基本定律和恒等式
1.பைடு நூலகம்基本公式 （公理）
与运算： 0۰0=0 或运算： 0+0=0
0۰1=0 0+1=1
1۰0=0 1+0=1
非运算： 0 1 1 0
2. 定律
常量与变量 运算律：
互补律：
重叠律： A+A=A
A۰ A=A
双重否定律： A A
1۰1=1 1+1=1
2.1 逻辑代数
结合律 (A+B)+C=A+(B+C) ; (AB)·C=A·(BC)
电工电子技术 第十二章逻辑门和常用组合逻辑电路 第三节逻辑代数的基本运算规则及定理
例：证明A+AB=A+B 解： A+AB=（A+A）（A+B）
=（A+B）
反演定理：A • B = A+B A+B = A • B
例：证明：若 F=AB+AB 则 F=AB+A B
解：F=AB+AB =AB•AB =(A+B)•(A+B)
=AA+AB+A B+BB =AB+A B
2. 利用逻辑代数公式化简
（1）并项法 A+A=1 （2）吸收法 A+AB=A（1+B）=A （3）消去法 A+AB=A+B （4）配项法 A=A（B+B）
例 ：证明AB+AC+BC=AB+AC 配项法
解：AB+AC+BC=AB+AC+(A+A)BC =AB+AC+ABC+ABC =AB+ABC+AC+ABC
吸收法
=AB(1+C)+A(1+B) =AB+AC
例；：0• 0=0 • 1=1 • 0 1 • 1=1
0+1=1+0=1+1
0+0=0
0=1 1=0
（2）基本定律
交换律：A+B=B+A
A • B=B • A
结合律：A+(B+C)=(A+B)+C A • (B • C)=(A • B) • C
分配律：A(B+C)=A • B+A • C A+B • C=(A+B) • (A+C)
逻辑代数的基本公式和运算规则
逻辑代数的基本公式和
运算规则
-CAL-FENGHAI.-(YICAI)-Company One1
逻辑代数的基本公式和运算规则
一、基本公式
表1.3.1中若干常用公式的证明1．证明： 2. A+AB=A 证明：A+AB=A(1+B)=A1=A
3.
2
证明：
4.
证明：
推论：
二、运算规则1．代入定理任何一个含有某变量的等式，如果等式中所有出现此变量的位置均代之以一个逻辑函数式，则此等式依然成立，这称为代入规则。
利用代入规则，反演律能推广到n个变量，即:
2．反演定理对于任意一个逻辑函数式F，若把式中的运算符“.”换成“+”, “+” 换成“.”，常量“0”换成“1”，“1”换成“0”，原变量换成反变量，反变量换成原变量，则得到的结果为。
这个规则叫反演定理运用反演定理时注意两点：① 必须保持原函数的运算次序。
② 不属于单个变量上的非号保留，而非号下面的函数式按反演规则变换。
例如：
其反函
数：
3．对偶定理对于任意一个逻辑函数F，若把式中的运算符“.”换成“+”，“+”换成“.”，常量“0”换成“1”，“1”换成“0”，则得到F的对偶式F′。
例如：
3
其对偶
式：
对偶定理：如果两个函数式相等，则它们对应的对偶式也相等。
4。
逻辑代数基本公式及定律59383
灯亮为逻辑“1”
灯灭为逻辑“0”
（3）
A
E 真值表 A B 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1
B
C Y
逻辑式：Y=A•B•C 逻辑乘法 （逻辑与） 逻辑符号： A B C
C 0 1 0 1 0 1 0 1
Y 0 0 0 0 0 0 0 1
&
Y
与逻辑运算规则： 0 • 0=0 1 • 0=0 0 • 1=0 1 • 1=1
（16）
用真值表证明摩根定理成立
A ·B=A+B A+B= A ·B Y2=A+B 1 相等 1 1 0
A 0 0 1 1
B 0 1 0 1
Y1=A· B 1 1 1 0
（17）
2.3.2 若干常用公式--几种形式的吸收律
吸收：多余（冗余）项，多余（冗余）因子被取消、去 掉 被消化了。
短项
长项
（4）
真值表特点: 有0出0, 全1出1
二、 “或”逻辑
或逻辑：决定事件发生的各条件中，有一个或一个 以上的条件具备，事件就会发生（成立）。 A B C
规定:
开关合为逻辑“1” Y 开关断为逻辑“0”
E
灯亮为逻辑“1”
灯灭为逻辑“0”
（5）
E 真值表 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1
例：用代入规则证明德 摩根定理也适用于多 变量的情况。 二变量的德 摩根定理为：
AB A B A B AB
1 2
（22）
AB A B A B AB
1 2
以（B· C）代入（1）式中B，以（B+C）代入 （2）式中B，则得到：
逻辑代数的基本公式、定律和规则
逻辑代数的基本公式、定律和规则示例文章篇一：《逻辑代数的基本公式、定律和规则》一、逻辑代数的基本公式1. 常量之间的运算公式- 0和1是逻辑代数中的两个常量。
0就像是黑暗，1就像是光明。
在逻辑代数里，0 + 0 = 0，这就好比两个黑暗加在一起还是黑暗呀。
那0 + 1 = 1呢，就好像黑暗里来了一点光明，那结果就是光明啦。
1 + 1 = 1，这可能有点奇怪，可这就像两个光明加在一起还是光明，不会变得更亮啦。
- 0×0 = 0，这很好理解，就像两个没有东西相乘还是没有东西。
0×1 = 0，就像没有东西和有东西相乘，结果就是没有东西。
1×1 = 1，有东西和有东西相乘还是有东西嘛。
2. 变量与常量的运算公式- 对于变量A，A + 0 = A。
这就像你有一个东西A，再加上没有东西（0），那还是你原来的东西A呀。
A + 1 = 1，不管你原来有什么东西A，再加上光明（1），那结果就是光明（1）啦。
- A×0 = 0，不管你是什么东西A，和没有东西（0）相乘，结果就是没有东西（0）。
A×1 = A，就像你有东西A，和有东西（1）相乘，结果还是你原来的东西A。
3. 同一律、互补律等公式- 同一律就是A×A = A，A + A = A。
比如说你有一个苹果A，那一个苹果乘以一个苹果还是一个苹果，一个苹果加上一个苹果还是一个苹果（在逻辑代数的概念里哦）。
- 互补律是A×A' = 0，A+A' = 1。
A'就像是A的反面。
如果A是白天，A'就是黑夜。
白天和黑夜不能同时存在（A×A' = 0），而白天或者黑夜肯定有一个存在（A+A' = 1）。
二、逻辑代数的基本定律1. 交换律- 在逻辑代数里，加法交换律是A + B = B + A，就像你有苹果A和香蕉B，先数苹果再数香蕉，和先数香蕉再数苹果，总数是一样的。
逻辑代数的运算公式和规则
• 若把式其中反的函运数算为符F“.”(A换成B“) •+”A,• C“+”B •换(A成“B.”;C)
•
常量“0”换成“1”，“1”换成“0”；
• 原或变量F换成(反A变量B，) •反(A变量C换)成• B原•变(A量 B C)
那么得到的新函数式称为原函数式F的反函数式。
注：
重叠律 反演律 还原律 合并律 吸收律 消因律 包含律
证明方法
利用真值表
例：用真值表证明反演律
A B AB A+ B A• B A+B
00 1
1
1
1
01 110 Nhomakorabea0
10 1
1
0
0
11 0
0
0
0
A• B= A+B A+ B=AB
利用基本定律
例：证明包含律 AB AC BC AB AC成立
• 函数式中有“”和“⊙”运算符，求反
函数及对偶函数时，要将运算符“”换成 “⊙”， “⊙”换成“”。
公式可推广： AB AC BCDE AB AC
逻辑代数的运算公式和规则
• 三个基本运算规则
• 代入规则： 任何一个含有某变量的等式，如果等
式中所有出现此变量的位置均代之以 一个逻BC辑替函代数B 式，则此等式依然成立
例： A• B= A+B 利用反演律 得 ABC A BC A B C
由此反演律能推广到n个变量：
A1 • A2 • • A n A1 A2 A n A1 A2 A n A1 • A2 • • A n
基本运算规则
•对例于反：任演意F规(一A则、个：B逻、辑C函)数A式BF， 做(A如下C处) B理：A • B • C
第13讲(第20章逻辑代数)
12
只有一 项不同
φ m 1 m
13
1 0 m15 m14 1 0 m11 m10
几 何 函数取0、1均 相 可，称为无所 邻
10
8
9
谓状态。
几何相邻
输出变量Y的值
二、逻辑函数四种表示方式的相互转换 (1)、逻辑电路图↔逻辑代数式
A A
1 &
AB
B B
1
≥1
Y=A B+AB
&
AB
逻辑电路图到逻辑代数式原则： 逐级写出逻辑式，就是从输入端到输出端， 依次写出各个门的逻辑式，最后写出输出 量Y的逻辑式。 逻辑代数式到逻辑电路图原则： 逻辑乘用与门实现，逻辑加用或门实现， 求反运算用非门实现。
用卡诺图化简的规则： 对于输出为1的项
1）上、下、左、右相邻 2 （n=0,1,2,3)个项，可 组成一组。 2）先用面积最大的组合进行化简，利用吸收规则， 可吸收掉n个变量。n Nhomakorabea21
吸收掉1个变量；2 2
吸收掉2个变量...
3）每一项可重复使用，但每一次新的组合，至少包 含一个未使用过的项，直到所有为1的项都被使用后 化简工作方算完成。
逻辑代数的基本运算规则
A+B+C=(A+B)+C=A+(B+C) ABC=(AB)C=A(BC)
分配律:
A(B+C)=AB+AC A+BC=(A+B)(A+C)
分配律:
A(B+C)=AB+AC A+BC=(A+B)(A+C)
逻辑代数的基本运算规则
求证: （分配律第2条） 证明: 右边 =(A+B)(A+C)
数字电路的基本知识3
或运算 A 0 A A 1 1 A A 1 A A A
非运算 A A
（2) 逻辑代数的基本定律 交换律：A B B A A• B B• A 结合律：(A B) C A (B C) ( AB)C A(BC) 分配律： A(B C) AB AC A BC (A B)(A C) 反演律： A B A • B AB A B
提取公因子A
ABC A(B C ) 利用反演律
ABC ABC A(BC BC)
消去互为 反变量的因子
A
2) 吸收法 利用公式 A AB A 将多余项AB吸收掉 化简逻辑函数 F AB AC ABC
F AB AC ABC …提取公因子AC
AB AC(1 B) …应用或运算规律，括号内为1
最简与或式的一般标准是：表达式中的与项最少，每个与 项中的变量个数最少。代数化简法最常用的方法有： 1) 并项法
利用公式 AB AB A 提取两项公因子后，互非变量消去。 化简逻辑函数 F AB AC ABC
F AB AC ABC
A(B C BC) …提取公因子A
A(B C B C) …应用反演律将非与变换为或非 A …消去互非变量后，保留公因子A，实现并项。
AB AC 3) 消去法
利用公式 A AB A B 消去与项AB中的多余因子A 化简逻辑函数 F AB AC BC F AB AC BC …提取公因子C
AB C(A B)
AB C AB …应用反演律将非或变换为与非
AB C …消去多余因子AB，实现化简。
4) 配项法 利用公式A=A(B+B)，为某一项配上所缺变量。
(3) 逻辑代数的常用公式 吸收律：A AB A A(A B) A A (AB) A B
逻辑代数基础
Y AC AB
AC( B B) AB(C C)
ABC ABC ABC ABC ABC ABC ABC m5 m6 m7
例1：画出 Y AC AB 的卡诺图
Y ABC ABC ABC m5 m6 m7
输入变量 BC 00 A 0 0 1 00 01 11 10 m0 m1 m3 m2 m4 m5 m7 m6 0
0 0 0 0 1 0 0 0
0 0 0 0 0 1 0 0
0 0 0 0 0 0 1 0
0 0 0 0 0 0 0 1
② 最小项的性质 对于任意一个最小项，只有一组变量取值使 它的值为1，而在变量取其它各值时，这个 最小项的值都是零； 不同的最小项，使它的值为1的那组变量取 值也不同； 对于变量的同一组取值，任意两个最小项 的乘积为零； 对于变量的同一组取值，所有最小项的逻辑 或为1。
第2章 逻辑代数基础
§2.1 逻辑代数 § 2.2 逻辑函数表达式的形式与变换 §2.3逻辑函数的化简
§2.1逻辑代数的基本规则和定理
逻辑代数（又称布尔代数），它是分析和 设计逻辑电路的数学工具。虽然它和普通代 数一样也用字母表示变量，但变量的取值只 有“0”，“1”两种，分别称为逻辑“0”和逻 辑 “1”。这里“0”和“1”并不表示数量的大小， 而是表示两种相互对立的逻辑状态。
③最小项的编号
注：下标与编码所对应的十进制数值相同
④函数的最小项表达式
将逻辑函数表达式化成一组最小项之和，称为 最小项表达式。任何一个函数均可表达成 唯一的 最小项之和。 如：
L( A, B, C ) ( AB AB C ) AB
( AB A B C ) AB AB ABC AB ABC A BC ABC ABC m3 m5 m 6 m 7 m(3,5,6,7)
逻辑代数基本公式及定律
一、基本定律
或运算规则:
0+0=0 ，0+1=1 ，1+0=1，1+1=1
A 0 A , A 1 1, A A A, A A 1
与运算规则:
0•0=0
非运算规则:
0•1=0
1 0
1•0=0
0 1
1•1=1
（2）
求证: （分配律第2条） A+BC=(A+B)(A+C) 证明: 右边 =(A+B)(A+C) =AA+AB+AC+BC =A +A(B+C)+BC ; 分配律 ; 结合律 , AA=A
=A(1+B+C)+BC ; 结合律 =A • 1+BC ; 1+B+C=1 =A+BC =左边 ; A • 1=A
（3）
五、德 摩根定理(反演律） （De Morgan)
AB A B A B AB
1 2
证明： 真值表法、 穷举法
推广到多变量：
ABC A B C
A B C ABC
说明：两个（或两个以上）变量的与非（或非） 运算等于两个（或两个以上）变量的非或（非 与）运算。
证明：
A· A· B=A
A· A· B = A·(A+B) =A · B
(A+B)=A A· A· B= A· A· A· B= ?
A × A √ A· B A· B × ×
（9）
§ 2.4 逻辑代数的基本定理
2.4.1 代入定理
内容：在任何一个包含变量A的逻辑等式中， 若以另外一个逻辑式代替式中所有的变量A， 则等式仍然成立。
逻辑代数的公式、定理
C)
A 0 0
分配律：
A
A
(B B
C) C
A (A
B B)
A (A
C C)
1 1
B A.B B.A
00 0 10 0 00 0 11 1
反演律（摩根定律）：
B A B
证明分配率：A+BA=(A+B)(A+C)
证明：
(A+B)(A+C)=AA+AB+AC+BC
分配率 A(B+C)=AB+AC
=A+AB+AC+BC =A(1+B+C)+BC
等幂率AA=A
分配率 A(B+C)=AB+AC
=A+BC
0-1率A+1=1
（4）常用公式
还原律：
A
B
A
B
A
( A B) ( A B ) A
吸收率：
A A
(
A A
B B)
A A
A (A B) A B A A B A B
逻辑代数的公式、定理和规则
1、逻辑代数的公式和定理 （1）常量之间的关系
与运算：0 0 0 0 1 0 1 0 0 11 1 或运算：0 0 0 0 1 1 1 0 1 1 1 1
非运算： 1 0
0 1
（2）基本公式
0-1
律：AA
0 A 1 A
A 1 1 A 0 0
互补律： A A 1 A A 0
（3）与非-与非表达式：Y A B AC
（4）或非-或非表达式：Y A B A C （5）与或非表达式：Y AB AC
逻辑代数
逻辑代数逻辑代数（又称布尔代数），它是分析设计逻辑电路的数学工具。
虽然它和普通代数一样也用字母表示变量，但变量的取值只有“0”，“1”两种，分别称为逻辑“0”和逻辑“1”。
这里“0”和“1”并不表示数量的大小，而是表示两种相互对立的逻辑状态。
若定义一种状态为“1”，则另一种状态就为“0”。
例：灯亮用“1”表示、则灯灭就表示为“0”，不考虑灯损坏等其它可能性。
逻辑代数所表示的是逻辑关系（因果关系），而不是数量关系。
这是它与普通代数的本质区别。
1. 基本运算法则一、逻辑代数运算法则从三种基本的逻辑运算关系，我们可以得到以下的基本运算法则（公式1—9）。
0 • 0=01 • 1=10 • 1=0 1 • 0=0公式10 •A=0公式2 1 •A=A 公式3 A •A=A 公式4A •A=0与运算或运算0+0=01+1=10+1=11+0=1公式50 +A=A 公式61+A=1公式7 A +A=A 公式8A+A=1非运算01=10=公式9AA =交换律：结合律：公式11A+B=B+A 公式10A• B=B • A公式13A+(B+C)=(A+B)+C=(A+C)+B 公式12 A• (B • C)=(A • B) • C分配律：公式14A(B+C)=A • B+A • C公式15A+B • C=(A+B)(A+C)（少用）证明：右边=AA+AC+BA+BC=A+AC+BA+BC=A （1+C+B ）+BC=A+BC吸收律：1. 基本运算法则公式16A （A+B ）=A 证明：左边=AA+AB=A+AB=A （1+B ）=A公式17A （A+B ）=AB普通代数不适用！证明：BA B A A A B A A +=++=+)15())((公式DCBC A DC BC A A ++=++被吸收B A B A A +=+公式19（常用）公式18A+AB=A （常用）证明：A+AB=A(1+B)=A•1=A CDAB )F E (D AB CD AB +=+++1. 基本运算法则例：例：1. 基本运算法则公式20AB+AB=A公式21（A+B ）（A+B ）=A（少用）证明：BC)A A (C A AB BCC A AB +++=++CA AB BC A C AB BC A ABC C A AB +=+++=+++=)1()1(推论：CA AB BCDC A AB +=++1C A AB BC C A AB +=++公式22（常用）摩根定律公式23B A AB +=（常用）公式24BA B A ∙=+（常用）记忆：记忆：可以用列真值表的方法证明：A B 00110011A B 00001111AB A+B 00111111A+B A• B 00000011公式25=⊕B A AB或A B =BA ⊕其中：BA B A B A +=⊕是异或函数BA AB B A+=是同或函数用列真值表的方法证明：A B 00110011ABAB10000100B A 11000000A B 1100B A ⊕0011A B其中，吸收律公式16 A （A+B ）= A 公式18 A+AB = A对偶式BA B A A +=+公式19公式20AB+AB=A 公式21(A+B)(A+B)=A对偶关系：将某逻辑表达式中的与（• ）换成或（+），或（+）换成与（• ），得到一个新的逻辑表达式，即为原逻辑式的对偶式。
逻辑代数的公式与基本定理
逻辑代数的公式与基本定理逻辑代数是一门研究命题和命题逻辑关系的数学分支。
它通过符号表示和操作来研究命题的逻辑结构。
在逻辑代数中，有一些重要的公式和基本定理，它们对于理解和应用逻辑代数具有重要的意义。
一、公式1. 吸收律（Absorption Law）：a∨(a∧b)=aa∧(a∨b)=a这个定律表明，当两个命题中一个包含另一个时，可以通过去除其中一个命题来简化表达式。
2. 结合律（Associative Law）：(a∨b)∨c=a∨(b∨c)(a∧b)∧c=a∧(b∧c)这个定律表明，当有多个命题连接在一起时，可以改变它们的组合方式而不改变逻辑等价关系。
3. 分配律（Distributive Law）：a∨(b∧c)=(a∨b)∧(a∨c)a∧(b∨c)=(a∧b)∨(a∧c)这个定律表明，当一个命题与两个命题的逻辑运算混合时，可以通过改变运算的顺序来简化表达式。
4. 归纳法则（Inductive Law）：a∨¬a=1a∧¬a=0这个定律表明，任何命题与其否定的逻辑运算结果为真或假。
二、基本定理1. 双重否定定理（Double Negation Theorem）：¬(¬a)=a这个定理表明，一个命题的否定再次否定后与原命题等价。
2. 德·摩根定理（De Morgan's Theorem）：¬(a∨b)=¬a∧¬b¬(a∧b)=¬a∨¬b这个定理表明，一个命题的合取或析取的否定可以分别表示为各个命题的否定的合取或析取。
3.等幂律（Law of Identity）：a∧1=aa∨0=a这个定理表明，一个命题与恒等元素进行合取或析取运算后仍等于原命题。
4. 否定消除律（Law of Noncontradiction）：a∨¬a=1a∧¬a=0这个定理表明，一个命题与其否定进行合取或析取运算后结果为真或假。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
逻辑代数的基本公式和运算规则
一、基本公式
表1.3.1中若干常用公式的证明1．证明： 2. A+AB=A 证
明：A+AB=A(1+B)=A1=A
3.
证明：
4.
证明：
推论：
二、运算规则
1．代入定理任何一个含有某变量的等式，如果等式中所有出现此变量的位置均代之以一个逻辑函数式，则此等式依然成立，这称为代入规则。
利用代入规则，反演律能推广到n个变量，即:
2．反演定理对于任意一个逻辑函数式F，若把式中的运算符“.”换成“+”, “+”换成“.”，常量“0”换成“1”，“1”换成“0”，原变量换成反变量，反变量换成原变量，则得到的结果为。
这个规则叫反演定理运用反演定理时注意两点：①必须保持原函数的运算次序。
②不属于单个变量上的非号保留，而非号下面的函数式按反演规则变换。
例如：
其反函数：
3．对偶定理对于任意一个逻辑函数F，若把式中的运算符“.”换成“+”，“+”换成“.”，常量“0”换成“1”，“1”换成“0”，则得到F的对偶式F′。
例如：
其对偶式：
对偶定理：如果两个函数式相等，则它们对应的对偶式也相等。
Welcome !!! 欢迎您的下载，资料仅供参考！。