Sept. 19, 2002
Workshop on Boolean Problems
Conformity is rarely lost but it
. This usually
happens during node minimization.
If we use an ND relation at the minimized node, then conformity
is not guaranteed (only deterministic SOP guarantees conformity
Often conformity is automatically
the next node.
If the CF at the next node is
, this means that the
network can be brought back to conformity.
If it is not well defined, we leave the node relation alone and
move to the next node.
experienced a final network that does
not conform to the external specification.