将二元决策图转换为真值 table
Converting binary decision diagram to truth table
给定一个二元决策图，如何将其转换为真值table？它的确切算法是什么？我已经尝试了很长时间了。这是一个可以遵循的示例：
来源：Wikipedia.
（虚线代表0；实线代表1。）
从根节点开始，以深度优先的方式遍历树。
每到达一个叶节点，在truthtable中记录一个条目如下：
x1 如果从节点 x1 下降虚线边则为 0； 1 否则。x2 如果您从节点 x2 下降虚线边缘，则为 0； 1 否则。x3 如果您从节点 x3 下降虚线边缘，则为 0； 1 否则。f是叶节点的值。
给定一个二元决策图，如何将其转换为真值table？它的确切算法是什么？我已经尝试了很长时间了。这是一个可以遵循的示例：
来源：Wikipedia.
（虚线代表0；实线代表1。）
从根节点开始，以深度优先的方式遍历树。
每到达一个叶节点，在truthtable中记录一个条目如下：
x1如果从节点x1下降虚线边则为 0； 1 否则。x2如果您从节点x2下降虚线边缘，则为 0； 1 否则。x3如果您从节点x3下降虚线边缘，则为 0； 1 否则。f是叶节点的值。