7.4. Redundant states Notes | Digital Logic BEI | TU | TABFlux