SymPy equivalent in Ruby

30 views

Skip to first unread message

unread,

Mar 21, 2019, 4:43:39 AM3/21/19

to sympy

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?

unread,

Mar 22, 2019, 6:58:55 AM3/22/19

to sympy

Hi Siddharth,

Regards,

Reply all

Reply to author

Forward

0 new messages