sympy/sympy — pull request #2945 by zeel (2014-02-21 14:12:52+00:00)
Title: considered the case when Xor has same symbol returned false

considered the case when Xor(x,x) is called whatever x is.
inserted two lines in sympy/logic/boolalg.py