Binary Decision Diagrams
0
X1
X2
X2
X3
X3
1
0
1
f = X1.X2 + X3
In general: fv = Xv' flow + Xv fhigh
low child
high child
0
X3
1
X3
1
1
0
1
2
3
4
5
6
7
Previous slide
Next slide
Back to first slide
View graphic version