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.