一 逻辑代数的三种基本运算
与门 Y=A*B
| A | B | Y |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
或门Y=A+B
| A | B | Y |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
非门Y=A‘
| A | Y |
| 0 | 1 |
| 1 | 0 |
二 逻辑代数的基本公式与常用公式
基本公式（德摩根公式）
| (AB)'=A'+B' |
| (A+B)'=A'B' |
| A+BC=(A+B)(A+C) |
常用公式
| A+A'B=A+B |
| AB+A'C+BC=AB+A'C |
| AB+A'C+BCD=AB+A'C |
三 逻辑代数的基本定理
1代入定理
在任何一个包含变量A的等式中，若以另外一个逻辑式代入所有A的位置，则等式依然成立。
2反演定理
1->0,0->1
*->+,+->*
注意，优先顺序，括号大于乘积大于加法。
不属于单个变量上的反号应不变。
四 逻辑函数的公式化简法
| 并项 | AB+AB'=A |
| 吸收 | A+AB=A |
| 消项 | AB+A'C+BC=AB+A'C |
| 消因子 | A+A'B=A+B |
| 配项 | A+A=A,A+A'=1 |
