Support simplify not for physical expr

datafusion/execution/src/config.rs

@@ -114,10 +114,10 @@ impl Default for SessionConfig {
 }
 
 /// A type map for storing extensions.
-/// 
+///
 /// Extensions are indexed by their type `T`. If multiple values of the same type are provided, only the last one
 /// will be kept.
-/// 
+///
 /// Extensions are opaque objects that are unknown to DataFusion itself but can be downcast by optimizer rules,
 /// execution plans, or other components that have access to the session config.
 /// They provide a flexible way to attach extra data or behavior to the session config.

datafusion/physical-expr/src/simplifier/mod.rs

@@ -24,8 +24,9 @@ use datafusion_common::{
 };
 use std::sync::Arc;
 
-use crate::PhysicalExpr;
+use crate::{simplifier::not::simplify_not_expr_recursive, PhysicalExpr};
 
+pub mod not;
 pub mod unwrap_cast;
 
 /// Simplifies physical expressions by applying various optimizations
@@ -56,6 +57,11 @@ impl<'a> TreeNodeRewriter for PhysicalExprSimplifier<'a> {
     type Node = Arc<dyn PhysicalExpr>;
 
     fn f_up(&mut self, node: Self::Node) -> Result<Transformed<Self::Node>> {
+        // Apply NOT expression simplification first
+        let not_simplified = simplify_not_expr_recursive(&node, self.schema)?;
+        let node = not_simplified.data;
+        let transformed = not_simplified.transformed;
+
         // Apply unwrap cast optimization
         #[cfg(test)]
         let original_type = node.data_type(self.schema).unwrap();
@@ -66,7 +72,12 @@ impl<'a> TreeNodeRewriter for PhysicalExprSimplifier<'a> {
             original_type,
             "Simplified expression should have the same data type as the original"
         );
-        Ok(unwrapped)
+        // Combine transformation results
+        let final_transformed = transformed || unwrapped.transformed;
+        Ok(Transformed::new_transformed(
+            unwrapped.data,
+            final_transformed,
+        ))
     }
 }