Using the K-Map Solver for Boolean Simplification

The K-Map solver on ECExplain accepts minterms or a truth table as input, draws the Karnaugh map, groups the cells automatically, and outputs the minimised Sum of Products expression. This tutorial uses a 4-variable function to show how the tool forms groups and why certain groupings produce shorter expressions than others.

• How to enter minterms into the K-Map cell grid
• How the solver identifies and highlights groups of 1, 2, 4, and 8 cells
• How each group in the K-Map corresponds to one product term in the SOP expression
• How to use the step-by-step grouping view to understand why a group is valid or invalid

• Ability to write a truth table for a Boolean function of 3 or 4 variables
• Understanding of minterms: each row in a truth table where the output is 1
• Basic Boolean algebra: AND, OR, NOT operations

1. Step 1: Select 4-variable mode
   Open the K-Map Solver from the Labs menu. At the top of the tool, click the '4 Variables' option. The grid updates to a 4x4 layout with rows labelled AB = 00, 01, 11, 10 and columns labelled CD = 00, 01, 11, 10 in Gray code order.
   Tip: The Gray code ordering (00, 01, 11, 10) is intentional. Adjacent cells in the grid differ by exactly one variable, which is what makes K-Map grouping valid.
2. Step 2: Enter minterms
   Click the cells at positions corresponding to minterms 0, 1, 2, 3, 8, 9, 10, and 11. Each click toggles the cell between 0 and 1. Cells set to 1 turn blue. Alternatively, type the minterm list '0,1,2,3,8,9,10,11' into the minterm input field above the grid and press Enter.
   Tip: Minterm numbering follows ABCD order: the cell at AB=00, CD=00 is minterm 0; AB=00, CD=01 is minterm 1, and so on. The cell tooltip shows the minterm number when you hover.
3. Step 3: Run the solver
   Click the Solve button. The solver highlights the optimal groups with coloured outlines, one colour per group. For the minterms entered, it identifies a single group of 8 covering the entire top two rows.
   Tip: A group of 8 in a 4-variable K-Map eliminates 3 variables, leaving only 1 variable in the product term. Larger groups always produce shorter terms.
4. Step 4: Read the SOP expression
   The simplified expression appears in the output panel on the right. For this example, the result is A'. The group of 8 covers all rows where A=0, so B, C, and D cancel out entirely.
   Tip: Each coloured group in the grid corresponds to one term in the output expression. The colour codes match the term labels in the output panel.
5. Step 5: Use step-by-step view
   Click the 'Steps' toggle above the grid. The solver reveals each grouping decision one at a time. Click 'Next Step' to advance. Each step shows which cells were evaluated, whether the group size is a valid power of 2, and which variables are constant across the group.
   Tip: Use this view when your manual simplification does not match the solver output. It shows exactly where the solver found a larger group that you may have missed.
6. Step 6: Verify with a truth table
   Click the 'Truth Table' tab below the grid. The table shows all 16 input combinations and the output column derived from the simplified expression A'. Confirm that every row where A=0 has output 1 and every row where A=1 has output 0, matching the original minterm set.
   Tip: If the truth table does not match your intended function, recheck the minterm cell entries. A misclicked cell shows as 1 when it should be 0, producing an incorrect group.

The K-Map grid shows 8 blue cells in the top two rows (AB = 00 and AB = 01), outlined in a single group colour. The output expression reads A'. The truth table confirms output = 1 for all minterms 0 through 3 and 8 through 11, and output = 0 for minterms 4 through 7 and 12 through 15.

• Solver output shows multiple terms instead of A': One or more cells outside the intended group was accidentally set to 1. Click those cells to toggle them back to 0 and rerun the solver.
• A cell click is not registering: The cell may require a precise click on the number inside the cell, not the border. Click the centre of the cell.
• Gray code column order looks wrong: The K-Map columns use 00, 01, 11, 10, not binary order 00, 01, 10, 11. This is correct. Switching to binary order would break the single-variable adjacency property.
• Step-by-step view skips straight to the final answer: The Steps toggle must be activated before clicking Solve. If Solve was already clicked, reset the grid using the Clear button, re-enter the minterms, toggle Steps on, then click Solve.