5.3.3. State reduction Notes | Digital Logics BSc. CSIT | FWU | TABFlux