Python中是否存在可简化含比较表达式的布尔表达式的库？

嘿，这个需求很常见！Python里确实有现成的库能帮你自动简化这类包含比较逻辑的布尔表达式，其中最顺手的当属sympy——一个强大的符号计算库，专门处理各种数学、逻辑表达式的化简。

用sympy实现表达式简化 #

sympy的simplify_logic函数可以识别逻辑等价关系，自动帮你把冗余的比较表达式合并或剔除。比如你提到的(a < 10 & a <= 10) | b，它能一眼看出a < 10已经包含了a <= 10的情况，所以两者的逻辑与结果就是a < 10，最终简化成(a < 10) | b。

咱直接上代码例子：

from sympy import symbols, simplify_logic

# 定义符号变量
a, b = symbols('a b')
# 写出原始布尔表达式
original_expr = (a < 10) & (a <= 10) | b
# 调用简化函数
simplified_expr = simplify_logic(original_expr)

print(simplified_expr)
# 输出结果：(a < 10) | b

其他适用场景 #

sympy的能力远不止这个简单例子，它还能处理更复杂的情况：

• 多变量的布尔组合，比如(x > 5 & x < 10) | (x >= 7 & x < 15)会被简化成5 < x < 15
• 包含逻辑非（~）的表达式，比如~(a > 10) & ~(a < 5)会简化成5 <= a <= 10
• 甚至可以结合代数表达式的化简，比如把(x**2 - 1 == 0) & (x > 0)简化成x == 1

如果你的需求是直接在Python代码中对表达式做静态分析简化，还可以结合ast模块解析代码语法树，再自定义逻辑处理，但这种方式需要自己写更多规则，远不如sympy开箱即用方便。

内容的提问来源于stack exchange，提问作者Marouane