检查ROBDD图是否正确

Question

下面我展示了BDD及其ROBDD。有人可以让我知道绘制的图表是否正确。如果没有，请告诉我我所犯的错误。

BDD

答案 - ROBDD

Answer 1

考虑评估0100：它会在第一个图表中显示1，在第二个图表中显示为0。