Multi-Level Logic: CAD Tools for Simplification
Key to implementing these operations: "division" over Boolean functions
X = A C + A D + B C + B D + E
Complexity: finding suitable divisors
G does not divide F under algebraic division rules
G does divide F under Boolean rules (very large number of these!)
= (A A + A C + A B + B C) D + E