tustvold opened a new issue #1716: URL: https://github.com/apache/arrow-datafusion/issues/1716
**Is your feature request related to a problem or challenge? Please describe what you are trying to do.** I noticed Datafusion is not able to simplify the expression ``` A ^ !A ``` Whilst it is unlikely for a user to write such an expression, it is not uncommon for boolean expressions to reduce to something unsatisfiable. Where this is the case, substituting in `false` may allow for further simplification. **Describe the solution you'd like** It would be awesome if Datafusion was able to detect and eliminate unsatisfiable boolean expressions. I believe this is an NP-hard problem in the general case, but should be tractable for a low number of variables. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
