Bounding the number of states
Let U be the upper bound on the number of states needed in the minimized circuit
Then U = minimum (NSMC, NSOC)
- where NSMC = the number of sets of maximal compatibles
- and NSOC = the number of states in the original circuit
Let L be the lower bound on the number of states needed in the minimized circuit
Then L = maximum(NSMI1, NSMI2,…, NSMIi)
- where NSMIi = the number of states in the ith group of the set of maximal incompatibles of the original circuit.