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