数字逻辑-第二章逻辑代数基础

逻辑变量及基本逻辑运算

1. 或运算
   F=A + B F=A V B
   实现或运算关系的逻辑电路称为或门。
2. 与运算
   F=A · B $F=A\bigwedge B$
   实现与运算关系的逻辑电路称为与门。
3. 非运算
   $F=\bar{A}$
   实现非运算功能的逻辑电路称为非门，有时又称为反相器。

逻辑函数及逻辑函数间的相

1. 逻辑函数的定义：①逻辑变量和逻辑函数的取值只有0和1两种可能；②函数和变量之间的关系是由或、与、非3种基本运算决定。
   ps：逻辑电路和逻辑函数之间存在严格的对应关系，任何一个逻辑电路的全部属性和功能都可由相应的逻辑函数完全描述。
2. 逻辑函数的相等：①变量集相同②逻辑变量的任何一组取值，逻辑函数的值都相同。
3. 证明方法：真值表法，逻辑代数法，卡诺图法

逻辑函数的表示方法

1. 逻辑表达式： （）—>——> · —>$⨁$—>+ 优先级：高---->低
2. 真值表：一个n个变量的逻辑函数，其真值表有$2^n$行，具有唯一性。
3. 卡诺图：化简有用

逻辑代数的基本定义和规则

基本定理

• 定理1（0-1）律

• 定理2 （重叠律）
  A+A=A -----A·A=A

• 定理3（吸收律）
  $A+A\cdot B=A$ _______$A\cdot (A+B)=A$

• 定理4（消除律）
  $A+\bar{A}\cdot B=A+B$ _______$A\cdot (A+B)=A\cdot B$

• 定理5（对合律）
  $\overline{\stackrel{ˉ}{A}}=A$

• 定理6（互补律）
  $\overline{A+B}=\bar{A}\cdot \bar{B}$----$\overline{A\cdot B}=\bar{A}+\bar{B}$

• 定理7（并向律）
  $A\cdot B+A\bar{B}=A$-------$(A+B)\cdot （A+\bar{B}）=A$

• 定理8（包含律）
  $A\cdot B+\bar{A}\cdot C+B\cdot C=A\cdot B+\bar{A}\cdot C$

重要规则

• 代入规则
• 反演规则
  如果将逻辑函数F表达式种所有的“$\cdot$” 变成“$+$”,“$+$”变成“$\cdot$” ,“0”变成“1”，“1”变成“0”，原变量变成反变量，反变量变成原变量，并保持函数种的运算顺序不变，则所得到的函数位原函数F的反函数，并且记为$\bar{F}$
• 对偶规则
  如果将逻辑函数F表达式种所有的“$\cdot$” 变成“$+$”,“$+$”变成“$\cdot$” ,“0”变成“1”，“1”变成“0”，并保持函数种的运算顺序不变，则所得到的函数位原函数F的对偶式，并且记作$F^{‘}$
• ps:若两个逻辑函数表达式相等，则器对偶式相等

逻辑表达式的形式与变换

• 超链接：最大项与最小项

• 相邻项概念：只有一个变量互补，其余变量相同，含有n个变量的最大项只有n个相邻最大项，最小项也是。

• 关系：相同变量构成的最小项$m_i$和最大项$M_i$之间存在互补关系。

• 标准与-或表达式叫最小项表达式

• 标准或-与表达式叫最大项表达式

• eg$F(A,B,C)=\bar{A}\bar{B}C+\bar{A}B\bar{C}+A\bar{B}\bar{C}+ABC=m_1+m_2+m_4+m_7=\sum m(1,2,4,7)$

• $F(A,B,C)=(A+B+C)(\bar{A}+B+\bar{C})(\bar{A}+\bar{B}+\bar{C})=M_0{M}_5{M}_7=\prod M(0,5,7)$

• 代数转换法
  1.求逻辑函数标准与-或：
  ①将函数表达式变换成一般与-或表达式
  ②反复利用$X=X\cdot （Y+\bar{Y}）$,将表达式中所有非最小项的与项扩展成最小项。
  2.求逻辑函数标准或-与：
  方法一：
  ①将函数表达式变换成一般或-与表达式
  ②对偶成为响应与-或表达式
  ③反复利用$X=X\cdot （Y+\bar{Y}）$,将表达式中所有非最小项的与项扩展成最小项。
  ④对偶成为标准或-与表达式
  方法二：
  ①将函数表达式变换成一般或-与表达式
  ②反复利用定理$X=(X+\bar{Y})(X+Y)$把表达式中所有非最大项的或项扩展成最大项。

• 真值表转换法
  1.真值表中，逻辑函数F值为1 的所有行的变量相与，之后行与行进行或。注意变量取值为1时不要加非，变量取值为0时加非。
  2.真值表中，逻辑函数F值为0 的所有行的变量相或，之后行与行进行与。注意变量取值为0时不要加非，变量取值为1时加非。
  ps:最大项与最小项存在集合互补关系。

逻辑函数化简

超链接逻辑函数化简

注意，代数化简法的化简结果不唯一

卡诺图中，求标准或-与
表达式时，表示成一半与-或，画出卡诺图，合并零方格，求出反函数的与或表达式（一次），然后对反函数进行取反（两次），获得逻辑函数的最简或-与表达式。（就是两次取反法）