There is a problem with the logical connectives in Redlog (or in the undelying Reduce).
When using logical connectives with a formula variable that holds value "true" or holds value "false"
fails with a message
"and invalid as algebraic operator"
"or invalid as algebraic operator"
- If you use the literal "true" or "false" in operation, there is no error.
- If the variable that holds "true" or "false" is at the right hand side, there is no error
- Error appears only with connectives "and" "or". It does not appear with "impl" "equiv" "repl".
Attach simple, fairly exhaustive, maybe redundant, test suite file.
Log in to post a comment.