feat: Support expression simplify rule

[chenzl25]

          Interestingly, we got a `not(others) or others` which equals true. We could use another rule to simplify this condition.

Originally posted by @chenzl25 in #14127 (comment)

[chenzl25]

Both of the following examples can be simplified into true.

StreamFilter { predicate: (Not((t1.ts > '2023-12-18 00:00:00+00:00':Timestamptz)) OR (t1.ts > '2023-12-18 00:00:00+00:00':Timestamptz)) }

StreamFilter { predicate: (((Not((t1.ts > '2023-12-18 00:00:00+00:00':Timestamptz)) AND Not(IsNull(t1.ts))) OR (t1.ts > '2023-12-18 00:00:00+00:00':Timestamptz)) OR IsNull(t1.ts)) }

[xiangjinwu]

Both of the following examples can be simplified into true.

StreamFilter { predicate: (Not((t1.ts > '2023-12-18 00:00:00+00:00':Timestamptz)) OR (t1.ts > '2023-12-18 00:00:00+00:00':Timestamptz)) }

This predicate can be simplified to IsNotNull(t1.ts) rather than true. Right?

https://www.postgresql.org/docs/current/functions-logical.html

related: #12931

[xzhseh]

For batch plan, something like below could also be optimized, e.g.,