将布尔公式映射到Python集表达式

Question

假设我有一个布尔公式，它使用一组已知的标记，例如：

• 布尔运算符：and，or，not
• 分组运算符：(，)

给定一个使用这些标记的布尔公式，例如：

F:(A or B) and not(A and C)

如何将此定义转换为集运算符的Python表达式？你知道吗

Fp=(x in A or x in B) and not(x in A and x in C)

有关此问题的背景信息，请参阅thread and accepted answer。你知道吗

Answer 1

假设变量长度为一个字符：

s = "(A or B) and not(A and C)"
print re.sub("(?<![a-zA-Z])([A-Za-z])(?![A-Za-z])", "x in \\1", s)