Comment #7 on issue 1928 by ronan.l...@gmail.com: Boolean algebra
inconsistencies
http://code.google.com/p/sympy/issues/detail?id=1928
Yes, Equivalent is the logical operator version of logical equivalence
(some would
argue that it's not strictly the same thing). For 0 arguments, it's
debatable but
having Equivalent(x) == True is needed to get Equivalent(x, x) == True, due
to the
use of set(args).
BTW, I know what's missing: Equivalent(False, A, B) is Not(A) & Not(B),
which is
Nor(A, B) instead of Nand(A, B). I've added a commit fixing that mistake
and testing
for it.
--
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.