In [11]: A,B=symbols('A B')
In [12]: ~(A>>~B)
Out[12]: ¬ (A → ¬ B)
In [13]: latex(~(A>>~B))
Out[13]: \neg A \Rightarrow \neg B
Correct answer for Out[13] should be
Out[13]: \neg (A \Rightarrow \neg B)
This is a different expression since "not" is usually considered with
higher priority than ">>", so the first (incorrect) expression is
equivalent to (~A) >> (~B), which is True if A is True and B is False,
but correct expression is False in this case.
The issue in the tracker: http://code.google.com/p/sympy/issues/detail?id=3165
Thanks!
--
Sincerely yours,
Ilya V. Schurov.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
