Logic redundancy

Logic redundancy occurs in a digital gate network containing circuitry that does not affect the static logic function. There are several reasons why logic redundancy may exist. One reason is that it may have been added deliberately to suppress transient glitches (thus causing a race condition) in the output signals by having two or more product terms overlap with a third one.
Consider the following equation:
The third product term formula_2 is a redundant consensus term. If formula_3 switches from 1 to 0 while formula_4 and formula_5, formula_6 remains 1. During the transition of signal formula_3 in logic gates, both the first and second term may be 0 momentarily. The third term prevents a glitch since its value of 1 in this case is not affected by the transition of signal formula_3.
Another reason for logic redundancy is poor design practices which unintentionally result in logically redundant terms. This causes an unnecessary increase in network complexity, and possibly hampering the ability to test manufactured designs using traditional test methods (single stuck-at fault models). Testing might be possible using IDDQ models.
Removing logic redundancy.
Logic redundancy is, in general, not desired.
Redundancy, by definition, requires extra parts (in this case: logical terms) which raises the cost of implementation (either actual cost of physical parts or CPU time to process).
Logic redundancy can be removed by several well-known techniques, such as Karnaugh maps, the Quine–McCluskey algorithm, and the heuristic computer method.
Adding logic redundancy.
In some cases it may be desirable to "add" logic redundancy. One of those cases is to avoid race conditions whereby an output can fluctuate because different terms are "racing" to turn off and on. To explain this in more concrete terms the Karnaugh map to the right shows the minterms and maxterms for the following function:
The boxes represent the minimal AND/OR terms needed to implement this function:
The k-map visually shows where race conditions occur in the minimal expression by having gaps between minterms or gaps between maxterms, for example, the gap between the blue and green rectangles. If the input formula_11 were to change to formula_12 then a race will occur between formula_13 turning off and formula_14 turning off.
If the blue term switches off before the green turns on then the output will fluctuate and may register as 0.
Another race condition is between the blue and the red for transition of formula_11 to formula_16.
The race condition is removed by adding in logic redundancy, which is contrary to the aims of using a k-map in the first place.
Both minterm race conditions are covered by addition of the yellow term formula_17.
In this case, the addition of logic redundancy has stabilized the output to avoid output fluctuations because terms are racing each other to change state.