[REV] 逻辑代数

CHARPTER Ⅰ

---

• BIN&OCT
• 原码,反码,补码
• 反码加减法:
  $$[X_1-X_2{]}_{反}=[X_1{]}_{反}-[X_2{]}_{反}$$
  符号位溢出塞进最后一位
• 补码加减法同
  符号位溢出直接去掉(对2取模)

---

CHARPTR Ⅱ

• 逻辑代数的基本定义(略)

• 几个核心公理和定义(见逻辑代数几个重要定理)

• 注意以下几个:
  $$\begin{gathered} A+A\cdot B=A \\ A+\bar{A}\cdot B=A+B \\ A\cdot B+A\cdot \bar{B}=A \\ A\cdot B+\bar{A}\cdot C+B\cdot C=A\cdot B+\bar{A}\cdot C \end{gathered}$$

• 卡诺图

• 带入规则

• 反演:**变量取反,**常量取反,运算取反,运算顺序不变$\to \bar{F}$

• 对偶:常量取反,运算取反,运算顺序不变$\to F$

• 与非:$\overline{A\cdot B\cdot ...}$

• 或非:$\overline{A+B+C+...}$

• 异或:典型加:$\bar{A}B+A\bar{B}$

• 同或:相同校验:$AB+\bar{A}\bar{B}$

• 与或式/或与式

• 最小项/最大项

• 填充方法:用$X=X(Y+\bar{Y})=XY+X\bar{Y}$

• 代数/真值表法

• 化简合并:
  1. 吸收:$A+AB=A$
  2. 消去:$A+\bar{A}B=A+B$

• 卡诺图化简/真值表化简

• 或与表达式用二次对偶化简.