Sept. 19, 2002
Workshop on Boolean Problems
Eliminating a node into a fanout
If i  has been eliminated in all of its fanouts, it can be removed from the network
i is eliminated
into k
i
k
Yk
Yi
yi
yk
k
Yi
yk
i
yi