逻辑代数的逻辑运算、基本定律、常用公式、基本规则

一、逻辑运算

二、基本定律

2.1 常量间的运算

• 与运算
  $$\begin{array}{rl}0\cdot 0& =0\\ 0\cdot 1& =0\\ 1\cdot 0& =0\\ 1\cdot 1& =1\end{array}$$

• 或运算
  $$\begin{array}{rl}0+0& =0\\ 0+1& =1\\ 1+0& =1\\ 1+1& =1\end{array}$$

• 非运算
  $$\begin{array}{rl}\overline{0}& =1\\ \overline{1}& =0\end{array}$$

2.2 逻辑变量和常量的运算

• 0-1律
  $$\begin{array}{rl}0+A& =A\\ 1+A& =1\\ 0\cdot A& =0\\ 1\cdot A& =A\end{array}$$

• 同一律
  $$\begin{array}{rl}A+A& =A\\ A\cdot A& =A\end{array}$$

• 互补律
  $$\begin{array}{rl}A+\overline{A}& =1\\ A\cdot \overline{A}& =0\end{array}$$

• 还原律
  $$\begin{array}{rl}\overline{\overline{A}}& =A\end{array}$$

2.3 与普通代数相似的定律

• 交换律
  $$\begin{array}{rl}A+B& =B+A\\ A\cdot B& =B\cdot A\end{array}$$

• 结合律
  $$\begin{array}{rl}(A+B)+C& =A+(B+C)\\ (A\cdot B)\cdot C& =A\cdot (B\cdot C)\end{array}$$

• 分配律
  $$\begin{array}{rl}& A(B+C)=AB+AC\\ & A+BC=(A+B)(A+C)\end{array}$$

• 证明$A+BC=(A+B)(A+C)$
  $$\begin{array}{rl}& (A+B)(A+C)\\ & =AA+AC+BA+BC\\ & =A+AC+BA+BC\\ & =A(1+C+B)+BC\\ & =A+BC\end{array}$$

2.4 摩尔定理（反演律）

$$\begin{array}{rl}\overline{A\cdot B}& =\overline{A}+\overline{B}\\ \overline{A\cdot B\cdot C...}& =\overline{A}+\overline{B}+\overline{C}...\end{array}$$

2.5 吸收律

• 示例
  $$\begin{array}{rl}& AB+A\overline{B}\\ & =A(B+\overline{B})\\ & =A\\ & \\ & A+AB\\ & =A(1+B)\\ & =A\\ & \\ & A+\overline{A}B\\ & =(A+\overline{A})(A+B)\\ & =A+B\end{array}$$

• 推广公式：$\overline{A}+AB=\overline{A}+B$

2.6 冗余律

$$\begin{array}{rl}& AB+\overline{A}C+BC=AB+\overline{A}C\\ & \\ & AB+\overline{A}C+BC\\ & =AB+\overline{A}C+BC(A+\overline{A})\\ & =AB+\overline{A}C+ABC+\overline{A}BC\\ & =AB(1+C+C)+\overline{A}C\\ & =AB+\overline{A}C\end{array}$$

• 推广公式
  $$\begin{array}{rl}& AB+\overline{A}C+BCD...=AB+\overline{A}C\\ & \\ & AB+\overline{A}C+BCD...\\ & =(AB+\overline{A}C+BC)+BCD...\\ & =AB+\overline{A}C+BC(1+D...)\\ & =AB+\overline{A}C+BC\\ & =AB+\overline{A}C\end{array}$$

三、常用公式

• $\overline{A\overline{B}+\overline{A}B}=\overline{A}\cdot \overline{B}+AB$
  $$\begin{array}{rl}& \overline{A\overline{B}+\overline{A}B}\\ & =\overline{A\overline{B}}\cdot \overline{\overline{A}B}\\ & =(\overline{A}+B)(A+\overline{B})\\ & =\overline{A}A+\overline{A}\cdot \overline{B}+BA+B\overline{B}\\ & =\overline{A}\cdot \overline{B}+BA\end{array}$$

• 实质：$\overline{A\overline{B}+\overline{A}B}=\overline{A⨁B}=A⨀B=\overline{A}\cdot \overline{B}+AB$

• 推广公式

  • 如果前面有原变量A，后面有变量$\overline{A}$，那就可以将剩余的变量取反
  • $\overline{AB+\overline{A}C}=A\overline{B}+\overline{A}\cdot \overline{C}$

3.1 异或运算的一些公式

1. 结合律：$A⨁B=B⨁A$
2. 结合律：$(A⨁B)⨁C=A⨁(B⨁C)$
3. 分配律：$A\cdot (B⨁C)=AB⨁AC$
4. 变量和常量的异或运算
   $$\begin{array}{rl}& A⨁1=\overline{A}\\ & A⨁0=A\\ & A⨁A=0\end{array}$$
5. 因果互换律
   $$A⨁B=C\Rightarrow \{\begin{array}{l}A⨁C=B\\ B⨁C=A\end{array}$$

四、基本规则

4.1 代入规则

• $A+\overline{A}B=A+B$
  • $A$ 均用 $\overline{A}$ 代替得到 $\overline{A}+AB$ ，再用吸收律得到 $\overline{A}+B$
  • $B$ 均用 $C$ 代替得到 $A+\overline{A}C$ ，再用吸收律得到 $A+C$
• $\overline{A+B}=\overline{A}\cdot \overline{B}$
  • $B$ 均用 $B+C$ 代替得到 $\overline{A+B+C}=\overline{A}\cdot \overline{B+C}$ ，再使用摩尔定理得到 $\overline{A+B+C}=\overline{A}\cdot \overline{B}\cdot \overline{C}$

4.2 反演规则

• 对任意一个逻辑函数式 $Y$ ，将式中所有 $\cdot$ 换成 $+$ ，$+$ 换成 $\cdot$ ，$0$ 换成 $1$ ，$1$ 换成 $0$ ，原变量换成反变量，反变量换成原变量，则得到原逻辑函数的反函数 $\overline{Y}$

• 变换时需注意

  • 不能改变原来的运算顺序
  • 原变量换成反变量，反变量换成原变量，只针对单个变量有效，面对长非号保持不变

• 示例（注意长非号是不变的）
  $$\begin{array}{rl}& Y=A\cdot \overline{B+C}+CD\Rightarrow \overline{Y}=(\overline{A}+\overline{\overline{B}\cdot \overline{C}})\cdot (\overline{C}+\overline{D})\\ & \\ & Y=\overline{\overline{A\overline{B}+C}+D}+E\Rightarrow \overline{Y}=\overline{\overline{(\overline{A}+B)\cdot \overline{C}}\cdot \overline{D}}\cdot \overline{E}\end{array}$$

4.3 对偶规则

• 对任意一个逻辑函数式 $Y$ ，将式中所有 $\cdot$ 换成 $+$ ，$+$ 换成 $\cdot$ ，$0$ 换成 $1$ ，$1$ 换成 $0$ ，则得到原逻辑函数的对偶函数 $Y^{\prime }$

• 交换时需注意

  • 不能改变原来的运算顺序
  • 变量上的非号均不变

• 示例
  $$\begin{array}{rl}0\cdot 0=0& \Rightarrow 1+1=1\\ A+\overline{A}=1& \Rightarrow A\cdot \overline{A}=0\\ & \\ A(B+C)=AB+AC& \Rightarrow A+BC=(A+B)(A+C)\\ & \\ Y=\overline{\overline{A\overline{B}+C}+D}+E& \Rightarrow Y^{\prime }=\overline{\overline{(A+\overline{B})\cdot C}\cdot D}\cdot E\end{array}$$