SortProperties::and_or claims orderings that Kleene AND/OR do not preserve #24208

a       = [NULL,  NULL, false, true]
b       = [false, true, true,  true]
a AND b = [false, NULL, false, true]   -- not sorted
a OR  b = [NULL,  true, true,  true]   -- sorted ASC NULLS FIRST

a       = [false, false, NULL,  NULL]
b       = [false, false, false, true]
a AND b = [false, false, false, NULL]  -- sorted ASC NULLS LAST
a OR  b = [false, false, NULL,  true]  -- not sorted

DataFusion CLI v54.1.0
> set datafusion.execution.target_partitions = 1;

COPY (SELECT * FROM (VALUES
  (CAST(NULL AS BOOLEAN), false),
  (CAST(NULL AS BOOLEAN), true),
  (false,                 true),
  (true,                  true)
) AS t(a, b))
TO '/tmp/bool_nulls_first.csv' STORED AS CSV;

CREATE EXTERNAL TABLE demo_nf (a BOOLEAN, b BOOLEAN)
STORED AS CSV
WITH ORDER (a ASC NULLS FIRST)
WITH ORDER (b ASC NULLS FIRST)
LOCATION '/tmp/bool_nulls_first.csv'
OPTIONS ('format.has_header' 'true');

-- Both columns really do match their declared orderings.
SELECT * FROM demo_nf;

-- AND: ordering silently violated
SELECT a, b, a AND b AS c FROM demo_nf ORDER BY c ASC NULLS FIRST;

EXPLAIN SELECT a, b, a AND b AS c FROM demo_nf ORDER BY c ASC NULLS FIRST;

+-------+-------+
| a     | b     |
+-------+-------+
| NULL  | false |
| NULL  | true  |
| false | true  |
| true  | true  |
+-------+-------+


+-------+-------+-------+
| a     | b     | c     |
+-------+-------+-------+
| NULL  | false | false |         <- false before NULL: NULLS FIRST silently violated
| NULL  | true  | NULL  |    
| false | true  | false |
| true  | true  | true  |
+-------+-------+-------+

+---------------+-------------------------------+
| plan_type     | plan                          |
+---------------+-------------------------------+
| physical_plan | ┌───────────────────────────┐ |
|               | │       DataSourceExec      │ |
|               | │    --------------------   │ |
|               | │          files: 1         │ |
|               | │        format: csv        │ |
|               | └───────────────────────────┘ |
|               |                               |
+---------------+-------------------------------+

> SELECT a, b, a OR b AS c FROM demo_nf ORDER BY c ASC NULLS FIRST;
+-------+-------+------+
| a     | b     | c    |
+-------+-------+------+
| NULL  | false | NULL |
| NULL  | true  | true |
| false | true  | true |
| true  | true  | true |
+-------+-------+------+