logic - 分解布尔表达式的算法

Question

有没有可以分解布尔表达式的算法？例如：

1. ac + ad + bc + bd + ae’ = (a + b) (c + d) + ae’
2. ab' + ac' + a'b + bc' + a'C + b'c = (a + b + c)(a' + b' +c')

标签： logicfactorizationboolean-algebra