See how a truth table and a Karnaugh map are two views of the same function.
1. Every row of the truth table and every cell of the K-map represent one input combination. Hover over either one to see its match light up in the other.
2. Click a value to flip it between 0 and 1 — the change shows up in both places at once.
3. Notice the K-map's row/column headers aren't in plain binary order (00, 01, 10, 11) — they're in Gray code order (00, 01, 11, 10), so every adjacent cell differs by exactly one bit. Toggle "Sort truth table by Gray-code" to see the truth table reordered the same way, or turn on "Highlight adjacency" to see every neighbor of a cell light up as you hover it — notice diagonal cells never light up, since they differ by more than one bit.
4. Use the variable-count buttons to grow the function from 2 up to 4 variables and see how the table and map both double in size.
5. Drag variables and operators from the tray into the expression box below the K-map to build a sum-of-products expression, then click Verify to check it against the K-map — it checks both correctness and that it's fully simplified.
6. Switch Type to POS to practice the product-of-sums form: build the SOP of F' in the first tray, then apply DeMorgan's Law to get F in the second tray. Verify checks both.