第二章 逻辑代数基础

一、逻辑代数中的三种基本运算：（与、或、非）
1、逻辑运算
与：Y=A.B
或：Y=A+B
非：Y=A’
2、逻辑运算的真值表

3、图形符号


二、与非、或非、与或非、抑或、同或
1、真值表

2、图形符号与运算符号

3、亦或、同或的运算
A $⨁$ B = A . B’ + A’ . B
A $⨀$ B = A . B + A’ . B’
A $⨁$ B = (A $⨀$ B)’
A $⨀$ B = (A $⨁$ B)’


三、逻辑代数的基本公式和常用公式
1、基本公式

2、常用公式

式21：A+A.B = (1+B).A = A
式22：A+A’.B = (A+A’)(A+B) = A+B
式23：A.B+A.B’ = A.(B+B’) = A
式24：A.(A+B) = A.A+A.B = A+A.B = A.(1+B) = A
式25：A.B+A’.C+B.C = A.B+A’.C+B.C.(A+A’) = A.B.(1+C)+A’.C.(1+B) = A.B+A’.C
      A.B+A’.C+B.C.D = A.B+A’.C+B.C.D.(A+A’)=A.B.(1+C.D)+A’.C.(1+B.D)=A.B+A’.C
式26：A.(A.B)’ = A.(A’+B’) = 0+A.B’ = A.B’
      A’.(AB)’ = A’.(A’+B’) = A’.(B’+1) = A’


四：逻辑代数的基本定理
1、代入定理
在任何一个包含变量A的逻辑式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立。
2、反演定理
将一个逻辑式中所有的".“换成”+"，"+“换成”."，0换成1，1换成0，原变量换成反变量，反变量换成原变量。
注意：（1）需要遵守“先括号，后乘，最后加”的运算顺序
      （2）对长非号保持不变
3、对偶定律
若两逻辑式相等，则它们的对偶式也相等，即对偶定理。
将一个逻辑式中的".“换成”+","+“换成”.",0换成1，1换成0.
注意：（1）变量上的非号不变
      （2）不能改变原来的运算顺序


五：逻辑函数及其描述方法
1、逻辑函数
以逻辑变量作为输入，运算结果作为输出。输入变量的取值确定了以后，输出的取值便随之而定。输入与输出之间便是逻辑函数的关系：Y=F（A,B,C,…）
2、逻辑函数的描述方法
1’:逻辑真值表
将输入变量所有的取值下对应的输出值找出来，列成表格，即可以得到真值表。
2’:逻辑函数式
将输入与输出之间的逻辑关系写成与、或、非等运算的组合式，即逻辑代数式，就得到了所需的逻辑函数式。
3’:逻辑图
将逻辑函数式中各变量之间的与、或、非等逻辑关系用图形符号表示出来，就可以画出函数关系的逻辑图。
4’:波形图
将逻辑函数输入变量的每一种可能出现的取值与对应的输出值按时间顺序依次排列起来，就可以得到波形图。

ps：通过真值表写出逻辑函数式的一般方法：
1、找出真值表中是逻辑函数Y=1的那些输入变量取值的组合
2、每组输入变量取值的组合对应一个乘积项，其中取值为1的写入原变量，取值为0的写入反变量
3、将这些乘积项相加，即得Y的逻辑函数式

3、逻辑函数的两种标准形式
1’：最小项和最大项
最小项：在n变量逻辑函数中，若m为包含n个因子的乘积项，而且这n个变量均以原变量或反变量的形式在m中出现一次，则称m为该组的最小项
n变量的最小项有$2^n$个
重要性质：1’在输入变量的任何取值下必有一个最小项，而且仅有一个最小项的值为1
          2’全体最小项之和为1
          3’任意两个最小项的乘积为0
          4’具有相邻性的两个最小项之和可以合并成一项并消去一堆因子

最大项：在n变量逻辑函数中，若M为包含n个变量之和，而且这n个变量均以原变量或反变量的形式在M中出现一次，则称M为该组的最大项
n变量的最小项有$2^n$个，最大项与最小项数目是相等的
主要性质：1’在输入变量的任何取值下必有一个最大项，而且仅有一个最大项的值为0
          2’全体最大项之积为0
          3’任意两个最大项的之和为1
          4’只有一个变量不同的两个最大项的乘积等于各相同变量之和
最大项与最小项之间的关系：$M_i$=$m_i$’

2’：逻辑函数的最小项之和形式
首先将给定的逻辑函数式化为若干乘积项之和的形式，即“积之和”形式，根据A+A’=1将每个乘积项缺少的因子补全，这样就可以将与或的形式化为最小项之和的标准形式。
3’：逻辑函数的最大项之积形式
首先将一个逻辑函数式化成若干多项式相乘的与或形式。再利用AA’=0，将缺少的变量补齐。


六、逻辑函数的化简方法
1、公式化简法
1’、并项法
利用类似于式23：A.B+A.B’ = A.(B+B’) = A的公式，可以将两项合并成一项
2’、吸收法
利用类似于式21：A+A.B = (1+B).A = A可以将AB项消去。
3’、消项法
利用式25：A.B+A’.C+B.C = A.B+A’.C+B.C.(A+A’) = A.B.(1+C)+A’.C.(1+B) = A.B+A’.C
      A.B+A’.C+B.C.D = A.B+A’.C+B.C.D.(A+A’)=A.B.(1+C.D)+A’.C.(1+B.D)=A.B+A’.C消去BC、BCD项
4’、消因子法
利用式22：A+A’.B = (A+A’)(A+B) = A+B可以将A’B中的A’消去
5’、配项法
通过基本公式：A+A=A，在逻辑函数式重复写入某项，有时能更容易化简
通过基本公式：A+A’=1，可以把A+A’拆开来，并入其他项。
2、卡诺图化简法
1’、卡诺图表示法
将逻辑函数化成最小项之和的形式，然后用卡诺图表示

2’、用卡诺图化简
相邻两项合并可以消去一个因子，相邻四项可以合并消去两个因子，相邻八项可以合并消去三个因子。
步骤：（1）将函数化为最小项之和的形式
      （2）画出表示逻辑函数的卡诺图
      （3）找出合并的最小项
      （4）选取化简后的乘积项
选取原则：a:这些乘积项应包含函数式中所有的最小项（应该覆盖卡诺图中的所有的1）
          b：选用的乘积项数目最少，也就是可以合并的最小项组成的矩形组数目最少
          c：每个乘积项包含的因子最少。也就是每个可以合并的最小luojihanshh2项矩形组中应该包含尽量最多的最小项


七、具有无关项的逻辑函数及其化简
1、约束项、任意项和逻辑函数式中的无关项
由于每一组输入变量的取值都使一个、而且仅有一个最小项的值为1，所以当限制某些输入变量的取值不能出现时，可以用他们对应的最小项恒等于0来表示。约束项和任意项统统称为无关项，可以写入也可以删除
2、无关项在化简逻辑函数中的应用