Digital Logic: Formula Sheet

Digital Logic: Formula Sheet

Build a responsible reference sheet of relationships, conditions, units, representations, and decision rules rather than copying unexplained formulas. Studies Boolean algebra, combinational and sequential circuits, timing, and digital system design. Course titles, local sequences, grading, safety rules, required tools, and assessment formats vary; align this resource with the current syllabus and instructor directions.

Learning outcomes

• Explain and apply number systems, then connect it to Boolean logic using course-appropriate evidence.
• Explain and apply Boolean logic, then connect it to combinational design using course-appropriate evidence.
• Explain and apply combinational design, then connect it to sequential logic using course-appropriate evidence.
• Explain and apply sequential logic, then connect it to timing and finite-state machines using course-appropriate evidence.
• Explain and apply timing and finite-state machines, then connect it to number systems using course-appropriate evidence.

Prerequisite readiness

binary arithmetic, algebra, basic circuits, and precise logical reasoning Use a short ungraded check, repair the smallest missing skill, and immediately retest it in a course-level task.

Reference-sheet entries

• number systems: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.
• Boolean logic: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.
• combinational design: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.
• sequential logic: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.
• timing and finite-state machines: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.

Use test

Can you choose the right relationship on an unlabeled task and explain why its conditions hold? If not, the sheet is storage rather than understanding.

Reliable method

specify behavior, create truth table or state model, minimize logically, implement, simulate, and test edge sequences Keep assumptions, intermediate reasoning, units, sources, tool use, and checks visible so another learner can follow the decision process.

Representative application

Design a finite-state controller and verify transitions, reset behavior, outputs, and timing assumptions. Predict a reasonable result before working, compare the outcome with the prediction, and explain limitations or alternative interpretations.

Error recovery

Watch for minimizing expressions before defining behavior or ignoring timing, hazards, reset, and unreachable states. Mark the first unsupported move, classify the cause, correct the reasoning, and schedule a fresh mixed recheck after a delay.

Accessibility, integrity, and safety

Use approved accommodations and accessible formats. Follow course rules for collaboration, citation, calculators, software, generative tools, laboratories, clinical settings, field activity, privacy, copyright, and human or animal subjects. Never use Exams.fit to obtain protected questions or bypass assessment rules.

Evidence to save

When permitted, preserve a digital design with specification, logic model, implementation, testbench, and verification with the prompt, first attempt, feedback, revision, verification, and reflection. Remove restricted assessment content and private or proprietary information.

Open-learning reference

Compare this original Exams.fit resource with the relevant OpenStax collection and MIT OpenCourseWare when they match the local course. Reviewed August 2, 2026. This page does not replace the current syllabus, instructor, institution, or qualified professional.