Is there a funciton that can simplify (to write as short as possible, the 
smallest number of operations) a boolean expression?
ABC + A~B~C+~AB~C+~A~BC should be simplified to A xor B xor C.

-- 
You received this message because you are subscribed to the Google Groups 
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/dcbb8dd5-9755-4d2a-859b-45ef7a74200en%40googlegroups.com.

Reply via email to