| Inputs | Segment outputs (click to edit: 0 → 1 → X) | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| · | Preview | ||||||||||||
| 0 | 0 | 0 | 0 | 0 | |||||||||
| 0 | 0 | 0 | 1 | 1 | |||||||||
| 0 | 0 | 1 | 0 | 2 | |||||||||
| 0 | 0 | 1 | 1 | 3 | |||||||||
| 0 | 1 | 0 | 0 | 4 | |||||||||
| 0 | 1 | 0 | 1 | 5 | |||||||||
| 0 | 1 | 1 | 0 | 6 | |||||||||
| 0 | 1 | 1 | 1 | 7 | |||||||||
| 1 | 0 | 0 | 0 | 8 | |||||||||
| 1 | 0 | 0 | 1 | 9 | |||||||||
| 1 | 0 | 1 | 0 | ||||||||||
| 1 | 0 | 1 | 1 | ||||||||||
| 1 | 1 | 0 | 0 | ||||||||||
| 1 | 1 | 0 | 1 | ||||||||||
| 1 | 1 | 1 | 0 | ||||||||||
| 1 | 1 | 1 | 1 | ||||||||||
Every row shows a live preview (after the Hex column) of what the display renders for that input — its segments are directly clickable to toggle 0 ↔ 1, and dragging a preview onto another row copies that pattern (inputs are excluded and never change). Keyboard equivalent: Tab to a row, Enter to select it, C to copy its outputs and V on another row to paste them. Input variables are A B C D — click a variable header to rename it. Rows are listed starting from 0000. The shift tools rotate values within the selected row, within the selected segment column (click a segment header to pick it), or across the whole table — every change instantly re-derives the K-maps, Boolean expressions, logic circuit and display.
Prime groups (4 in cover · 4 primes)
- B·D4 cellsm(0,2,8,10) essential
- C8 cellsm(3,2,7,6,15,14,11,10) essential
- B·D4 cellsm(5,7,13,15) essential
- A8 cellsm(12,13,15,14,8,9,11,10) essential
Minimized with Quine-McCluskey over the minterms and don't-cares — 4 prime implicant(s) found; canonical form would need 8 terms / 32 literals.
Syntax: variables A B C D; operators + (OR), · / * / juxtaposition (AND), ^ (XOR), ! ~ ¬ or trailing ' (NOT), parentheses, constants 0/1. Verify compares against the truth table on all defined cells; Apply rewrites defined cells (don't-cares are kept).
SEGMENT UNDER EDIT