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
Y
k
Y
i
y
i
y
k
k
Y
i
y
k
i
y
i