将二元决策图转换为真值表

Question

给定二元决策图，如何将其转换为真值表？它的确切算法是什么？我已经尝试了很长时间了。以下是一个可以遵循的示例：

来源：Wikipedia。

（虚线边缘代表0;实心边缘，1。）

Answer 1

从根节点开始，以深度优先的方式遍历树。

对于到达的每个叶节点，在真值表中记录一个条目，如下所示：

如果您从节点x1下降虚线边缘，则
• x1为0; 1否则。
如果您从节点x2下降虚线边缘，则
• x2为0; 1否则。
如果您从节点x3下降虚线边缘，则
• x3为0; 1否则。
• f是叶节点的值。