如何在Python中将字符串转换为逻辑表达式

Question

我需要将逻辑表达式转换为不使用括号。 基本上我需要析取正常形式。

字符串输入："(a | b) & c"

输出：a & c | b & c

Answer 1

您可以使用pyeda来解析表达式甚至转换它。

print(expr.expr("(a | b) & c").to_dnf())

输出

Or(And(a, c), And(b, c))