упростить реляционные операторы с логи c?

Question

Как упростить выражение с помощью комбинированных реляционных операторов?

, например: x < 10 & x < 4 должно вернуть x < 4

Answer 1

Есть несколько способов справиться с этим. Вот два:

>>> var('x',real=True)
x
>>> solve((x<10, x<4))
x < 4
>>> And(x<10, x<4).as_set().as_relational(x)
x < 4