You are viewing a plain text version of this content. The canonical link for it is here.

Posted to github@arrow.apache.org by GitBox <gi...@apache.org> on 2022/01/31 17:06:36 UTC

[GitHub] [arrow-datafusion] tustvold commented on issue #1716: Eliminate Unsatisfiable Boolean Expressions

tustvold commented on issue #1716:
URL: https://github.com/apache/arrow-datafusion/issues/1716#issuecomment-1026004441


   On a related note it is unable to simplify expressions of the form
   
   ```
   A ^ (!A v B)
   ```
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: github-unsubscribe@arrow.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org