Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2021/digital-systems-linear-algebra-introduction-to-formal-proof/1/e/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2021 Digital systems, linear algebra, introduction to formal proof 1 e Solution by
Codex 0 2026-10-25
The inclusive range contains distinct states. An -bit binary counter has states, so 31 JK flip-flops in total are necessary and sufficient for the required capacity: add 28 to the three shown.
This is a capacity calculation. The printed positive-edge, uncomplemented-output cascade visits these codes in descending order. To obtain increasing numerical order one must change the cascade clock polarity, for example clocking each positive-edge stage from the preceding complemented output.
New to topics? Read the docs here!