Digital Logic Design

Combinational logic

Use this for “Simplify f(A, B, C) = Σm(0, 2, 5, 7) with a K-map.”

Explore

A \ BC00011110011001031204151706A′C′: m0, m2AC: m5, m7mABCf0000110010201013011041000510116110071111f = Σm(0, 2, 5, 7) = A′C′ + AC
Cells 0 and 2 touch across the map’s edge, and cells 5 and 7 touch inside it: two pairs give f = A′C′ + AC.

Assumptions

•
Group the 1s in blocks of 1, 2, 4 or 8, as large as you can; each block is one product term.
•
The map lists rows and columns in Gray order (00, 01, 11, 10), so neighbouring cells differ in one input.
•
A don’t-care (X) joins a block only when it makes the block larger.
Topic check
See what you know: 5 questions on this topic
New questions each time. Pass to mark it complete.

More problem types

© 2026 SME. All rights reserved.