replace CASE expressions in predicate pruning with boolean algebra (#13795)

* replace CASE expressions in predicate pruning with boolean algebra

* fix merge

* update tests

* add some more tests

* add some more tests

* remove duplicate test case

* Update datafusion/physical-optimizer/src/pruning.rs

* swap NOT for !=

* replace comments, update docstrings

* fix example

* update tests

* update tests

* Apply suggestions from code review

Co-authored-by: Andrew Lamb <[email protected]>

* Update pruning.rs

Co-authored-by: Chunchun Ye <[email protected]>

* Update pruning.rs

Co-authored-by: Chunchun Ye <[email protected]>

---------

Co-authored-by: Andrew Lamb <[email protected]>
Co-authored-by: Chunchun Ye <[email protected]>

Author: 3 people

datafusion/core/src/datasource/physical_plan/parquet/mod.rs

@@ -2001,7 +2001,7 @@ mod tests {
 
         assert_contains!(
             &display,
-            "pruning_predicate=CASE WHEN c1_null_count@2 = c1_row_count@3 THEN false ELSE c1_min@0 != bar OR bar != c1_max@1 END"
+            "pruning_predicate=c1_null_count@2 != c1_row_count@3 AND (c1_min@0 != bar OR bar != c1_max@1)"
         );
 
         assert_contains!(&display, r#"predicate=c1@0 != bar"#);