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