Logic 布尔表达式的因式分解算法

Logic 布尔表达式的因式分解算法,logic,factorization,boolean-algebra,Logic,Factorization,Boolean Algebra,有没有一种算法可以分解布尔表达式?例如: 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')

有没有一种算法可以分解布尔表达式?例如:

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')