I have 2 boolean expressions expr1, expr2. I want to find out if the 2 
expressions are equivalent or not.


expr1 = a | b | c expr2 = b | c | a

The expressionions are equivalent.


expr1 = a | b & c expr2 = b | c & a

The expressionions are not equivalent.


I came across the SymPy Python library 
https://docs.sympy.org/latest/modules/logic.html which lets me find out the 
equivalent expression in Python. Is there a Ruby library to do the same?

-- 
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sympy.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/a27b09d4-643d-4f79-80a2-76976ff3e00e%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to