LogisimRevisited

Manual

Karnaugh Map Minimization

Truth tables, K-maps, Quine-McCluskey and one-click synthesis.

Open the Analysis tab, then enter a Boolean expression or fill in a truth table for up to four variables.

  • The K-map view uses Gray-code ordering and draws each prime-implicant loop.
  • The minimizer reports a minimal sum of products and product of sums, using Quine-McCluskey.
  • Synthesize builds a two-level AND-OR circuit from the result and places it on the canvas.

New to K-maps? Start with the tutorial.