用逻辑简化关系运算符？

Question

如何使用组合关系运算符简化表达式？

例如：premature optimizations应该返回list_1

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