逻辑表达式简化

逻辑表达式简化是指对复杂的逻辑表达式进行简化，以提高代码的可读性和执行效率。以下是一个解决方法的示例：

# 引入sympy库
from sympy import symbols, simplify_logic

# 创建逻辑变量
a, b, c = symbols('a b c')

# 定义原始逻辑表达式
expression = (a & b) | (a & c)

# 使用sympy库中的simplify_logic函数进行简化
simplified_expression = simplify_logic(expression)

# 输出简化后的表达式
print(simplified_expression)

运行以上代码，将输出简化后的逻辑表达式。在此示例中，原始逻辑表达式为 (a & b) | (a & c)，经过简化后的表达式为 a & (b | c)。

可以根据需要调整原始逻辑表达式和逻辑变量的个数，使用sympy库中的simplify_logic函数进行简化。这个函数提供了多种简化逻辑表达式的方法，可以根据具体情况选择合适的方法。