sympy/sympy — pull request #1619 by srjoglekar246 (2012-10-29 13:22:45+00:00)
Title: bool_equal function to test Boolean equivalence

The function tests for equivalence of two boolean functions. In deep mode, gives a mapping of variables which will make the functions equivalent.