arrow

GH-36423: [C++][Compute] Support "or" in `Expression::IsSatisfiable` (#36424)



### Rationale for this change

This patch supports "or" in `Expression::IsSatisfiable`, if all it child is not satisfiable, the expression itself is not satisfiable.

### What changes are included in this PR?

Support "or" and "or_kleene" in `IsSatisfiable`

### Are these changes tested?

Yes

### Are there any user-facing changes?

No

* Closes: #36423

Lead-authored-by: mwish <maplewish117@gmail.com>
Co-authored-by: Antoine Pitrou <pitrou@free.fr>
Signed-off-by: Antoine Pitrou <antoine@python.org>