Sept. 19, 2002
Workshop on
Boolean Problems
Elimination can increase behavior
Theorem 10: Eliminating a node can increase the NS or NSC behaviors of a
network only if the node is ND
and has more than one fanout.
Increased behavior because there are
now two copies in the network