Worked Examples
Real digital logic design problems, solved live and verified against the actual solver engine — not textbook answers copied from memory. Each one links directly into the tool so you can change the inputs and see it re-solve in real time.
7-Segment Display Decoder
Converting a 4-bit BCD digit into the segment pattern for a 7-segment display, with don't-cares for the 6 invalid codes.
Code ConversionBCD to Gray Code Converter
Why some output bits simplify dramatically using don't-cares, while others stay a full XOR no matter what.
Error DetectionParity Checker
A real function that a K-map genuinely cannot simplify — and why that's worth knowing before you assume grouping always helps.
Arithmetic LogicFull Adder: Sum and Carry-Out
Two outputs, same three inputs — one simplifies cleanly, the other resists simplification entirely.
Validation LogicBCD Invalid-Code Detector
A worked example with zero don't-cares, since every one of the 16 inputs is meaningful here.
Classic Problem4-Bit Prime Number Detector
A common assignment-style problem — detect whether a 4-bit number is prime — solved and verified.
Comparison Logic2-Bit Magnitude Comparator
Three outputs (A>B, A<B, A=B) from the same four inputs, each with a completely different minimization story.