Comment #5 on issue 1928 by ronan.l...@gmail.com: Boolean algebra inconsistencies
http://code.google.com/p/sympy/issues/detail?id=1928
def test_Equivalent(): A, B, C = map(Boolean, symbols('ABC')) - assert Equivalent(A, B) == Equivalent(B, A) + assert Equivalent(A, B) == Equivalent(B, A) == Equivalent(A, B, A) + assert Equivalent() == True + assert Equivalent(A, A) == Equivalent(A) == True + assert Equivalent(True, True) == Equivalent(False, False) == True + assert Equivalent(True, False) == Equivalent(False, True) == False + assert Equivalent(A, True) == A + assert Equivalent(A, False) == Not(A) What's missing? -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to sympy-iss...@googlegroups.com. To unsubscribe from this group, send email to sympy-issues+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.