数字电路（1）- 逻辑代数第一讲

数字电路（1）- 逻辑代数第一讲

variable, complement, literal

• $A$ is a variable
• $\overline{A}$ is the complement of $A$
• $A,\overline{A}$ are literals

逻辑运算及定律

  boolean addition , OR
  boolean multiplication , AND
  它们满足交换律、结合律和分配律

更多推论

• $A+0=A$

• $A+1=1$

• $A\cdot 0=0$

• $A\cdot 1=A$

• $A+A=A$

• $A+\overline{A}=1$

• $A\cdot A=A$

• $A\cdot \overline{A}=0$

• $\overline{\overline{A}}=A$

• $A+AB=A$

• $A+\overline{A}B=A+B$

• $(A+B)(A+C)=A+BC$

德摩根定理

• $\overline{XY}=\overline{X}+\overline{Y}$
• $\overline{X+Y}=\overline{X}\overline{Y}$
• $\overline{XY}\ne \overline{X}\overline{Y}$

逻辑函数的描述方式

• 逻辑表达式（logic function）
• 真值表（truth table）
• 逻辑电路图（logic diagram）
• 卡诺图（Karnaugh Map）
• 波形图 时序图（waveform）
• 语言描述（description）【e.g. VHDL】

  注意到，确定的逻辑函数的真值表和卡诺图是唯一的
  （可用Multisim软件进行转换、化简）

同或、异或和相关推论

  同或(xnor)，相同为一，不同为零
  $X\odot Y=\overline{X}\overline{Y}+XY$

  异或（xor)，相同为零，不同为一
  $X\oplus Y=\overline{X}Y+X\overline{Y}$

  异或有因果互换条件：
  $A\oplus B=C⟹A\oplus C=B,B\oplus C=A$

  奇数个相同的数做异或，结果是自身
  偶数个相同的数做异或，结果是零

代入定理

  在任何一个包含变量$A$的逻辑等式中，若以另一个逻辑等式代入式中所有$A$的位置，则等式仍然成立

反演定理

  对于一个任意逻辑式$Y$，若将其中所有的"$\cdot$“换成”+"，"+“换成”$\cdot$"，变量和常量置反，则结果就是$\overline{Y}$

对偶定理

  两逻辑式相等$⟺$对偶式相等
  对偶式：$Y$其中所有的"$\cdot$“换成”+"，"+“换成”$\cdot$"，以及常量置反（变量不用动），记为$Y^{\ast }$