7.4. Redundant states Notes | Digital Logics BEI-NEW | TU | TABFlux