I am not sure that its an easy task. The truth tables grow exponentially and you will reach a stage where you cannot use the truth tables. I think it is a NP-hard problem.
But there are a lot of approximate algorithms. One of the algorithms that I learnt was using Binary decision diagrams. You can implement the algorithm, but it is a greedy algorithm and might not give decent results. Thanks, Bharath M R -- You received this message because you are subscribed to the Google Groups "sympy" group. To view this discussion on the web visit https://groups.google.com/d/msg/sympy/-/sJQRwRk6rfQJ. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
