Notes
布尔代数速查：吸收、德摩根、共识
| 律 | 形式 |
|---|---|
| 吸收 | (A + AB = A) |
| 德摩根 | (\overline{A+B}=\bar A\bar B) |
| 共识 | (AB + \bar A C = AB + \bar A C + BC) |
综合工具内部的 Espresso / BDD 路径，本质仍是在这些恒等式上做大规模搜索。
Notes
| 律 | 形式 |
|---|---|
| 吸收 | (A + AB = A) |
| 德摩根 | (\overline{A+B}=\bar A\bar B) |
| 共识 | (AB + \bar A C = AB + \bar A C + BC) |
综合工具内部的 Espresso / BDD 路径，本质仍是在这些恒等式上做大规模搜索。