#判断真值 def evaluate_formula(self,node,data): if node is not None: if node.value == '∧': return self.evaluate_formula(node.left,data) and self.evaluate_formula(node.right,data) elif node.value == '∨': return self.evaluate_formula(node.left,data) or self.evaluate_formula(node.right,data) elif node.value == '¬': if node.left is not None: return not self.evaluate_formula(node.left,data) elif node.left is None and node.right is not None: return not self.evaluate_formula(node.right,data) else: return data.get(node.value,False)

这个函数实现了对逻辑表达式的求值。其中，node表示表达式树的根节点，data是一个字典，包含了变量名与对应的布尔值。

对于每个节点，根据它的值来进行不同的操作：如果是“∧”，则递归求解左右子树的真值，并返回它们的逻辑与；如果是“∨”，则递归求解左右子树的真值，并返回它们的逻辑或；如果是“¬”，则递归求解左子树的真值，并返回它的逻辑非；否则，说明该节点是一个变量节点，直接从data中获取它的真值并返回。

最终，该函数会返回整个表达式的真值。