表1 常用公式 |
项目 | 常用公式 | 推论与证明 |
1 | 无 | |
2 | A+AB=A | A+AB+ABC+…=A |
3 | A+AB=A+AB+AB=A+B | |
4 | AB+AC+BC =AB+AC+(A+A)CB =AB+AC+ABC+ABC =AB+AC | |
5 | AB+AC=(A+C)(A+B) | (A+C)(A+B) =AB+AC+BC+AA =AB+AC |
注:公式1、2为吸收律和分配律的应用,公式3为多余因子定律,公式4为多余项定律,公式5为与或和或与转换定律。
表1 常用公式 |
项目 | 常用公式 | 推论与证明 |
1 | 无 | |
2 | A+AB=A | A+AB+ABC+…=A |
3 | A+AB=A+AB+AB=A+B | |
4 | AB+AC+BC =AB+AC+(A+A)CB =AB+AC+ABC+ABC =AB+AC | |
5 | AB+AC=(A+C)(A+B) | (A+C)(A+B) =AB+AC+BC+AA =AB+AC |
注:公式1、2为吸收律和分配律的应用,公式3为多余因子定律,公式4为多余项定律,公式5为与或和或与转换定律。
上一篇逻辑代数的三个基本规则
下一篇逻辑运算公理