Revision history [back]

See here: http://ask.sagemath.org/question/1144/simplification-of-boolean-values and here: http://ask.sagemath.org/question/605/bool-gives-another-unexpected-result

Quoting from DSM's answer:

"False" doesn't necessarily mean false, it might only mean "Sage couldn't figure out how to prove it was true.