#2 Petrick's Method

[Jerrad Genson]

Sometimes boolean expressions are not minimized fully, for reasons outside of the bug in combine_minterms(). This can be largely solved by implementing Petrick's Method to reduce the prime implicants chart automatically.

http://en.wikipedia.org/wiki/Petrick's_Method