Skip to content
Allin
Sign up · Sign in

Karnaugh Map (K-Map) Solver

Minimize a boolean function with the Quine–McCluskey algorithm: enter minterms, maxterms or a truth table and get the minimal SOP or POS, prime implicants and literal count.

Related tools

All Discrete maths & graphs tools →
Traveling Salesman SolverSolve the Traveling Salesman Problem from coordinates or a distance matrix: exact Held–Karp for up to 12 cities, nearest-neighbor + 2-opt beyond, with the tour order, total distance and a plot.Absolute Value Equation SolverSolve absolute-value equations like |x+3| = 5, 3|x+2| = 12 or |x+1| = |x−3| with step-by-step case analysis and exact solutions.Absolute Value Inequality SolverSolve absolute-value inequalities such as |x+3| < 5 or |x−2| > 3 and get the solution as an interval, with AND/OR reasoning explained step by step.Bernoulli ODE SolverSolves y′ + P(x)y = Q(x)yⁿ by showing the substitution v = y^(1−n) that turns it into a linear equation, then integrating. The two degenerate cases are handled explicitly: n = 0 is already linear, n = 1 is separable.Cubic Equation SolverSolve ax³ + bx² + cx + d = 0 for all three roots (real and complex), with the discriminant, the nature of the roots and steps.Exponential Equation SolverSolve exponential equations of six types — basic, coefficient, linear exponent, two bases, quadratic-in-a^x and shifted — with logarithms and a full step-by-step solution.First-Order ODE SolverSolves dy/dx = f(x, y) from an initial condition with RK4, integrating outward in both directions, and plots the solution curve. Growth, decay, Newton cooling, logistic and separable cases are one click away.General Triangle SolverSolve any triangle from 3 known values (SSS, SAS, ASA/AAS, SSA) with the laws of sines and cosines: all sides and angles, area, perimeter and type, handling the ambiguous SSA case (0, 1 or 2 triangles).

Open Karnaugh Map (K-Map) Solver and you get an answer straight away, with no account to create. It covers enter minterms, maxterms or a truth table and get the minimal SOP or POS, prime implicants and literal count — adjust any of them and the result follows immediately.

How to use it

  1. Open the tool — no signup or install needed.
  2. Enter your input or adjust the available options.
  3. Get your result instantly, then copy or download it.

Frequently asked questions

What is Karnaugh Map (K-Map) Solver?

Minimize a boolean function with the Quine–McCluskey algorithm: enter minterms, maxterms or a truth table and get the minimal SOP or POS, prime implicants and literal count.

What does it take into account?

It factors in enter minterms, maxterms or a truth table and get the minimal SOP or POS, prime implicants and literal count. Change any of them and the output follows immediately.

When would I actually use this?

Anything modelled as points and connections: a shortest route, a network's capacity, a schedule with dependencies, or a circuit reduced to its logic.

What is the most common mistake?

Assuming a shortest path stays shortest when a weight changes sign. Negative edges break the greedy argument Dijkstra rests on, and the algorithm returns a confident wrong answer rather than an error.

How is Karnaugh Map (K-Map) Solver different from Traveling Salesman Solver?

They sit next to each other but answer different questions: Traveling Salesman Solver is the one to open when you need it to solve the Traveling Salesman Problem from coordinates or a distance matrix: exact Held–Karp for up to 12 cities, nearest-neighbor + 2-opt beyond, with the tour order, total distance and a plot. Pick whichever matches what you're starting from — both are free.

Is there a tool for the next step?

Absolute Value Equation Solver is the closest one after this: Solve absolute-value equations like |x+3| = 5, 3|x+2| = 12 or |x+1| = |x−3| with step-by-step case analysis and exact solutions.

What else is worth having open alongside it?

Absolute Value Inequality Solver and Bernoulli ODE Solver — they come up in the same task often enough to be worth a second tab.

Where do the figures come from?

The algorithms are the textbook ones and their results are exact for the graph you enter. What varies is cost: several of these problems have no known efficient solution, so large inputs are answered by heuristic and the tool says when that is the case.

Further reading

All guides →
ExplainerThe Flat Pattern of a Cone Is a Sector, Not a CircleRoll a 50 mm cone 80 mm tall and its pattern is a 190.8° slice of a 94 mm circle. Flatten a nearly cylindrical lampshade and the pattern radius runs to 839 mm — the shallower the taper, the further away the apex.ExplainerA 1 % Drop Rate Does Not Mean One Hundred RunsAt 1 %, a hundred attempts give you 63.4 % — not certainty. Ninety per cent takes 230 attempts and ninety-nine takes 459, and more than a third of players are still empty-handed at a hundred.ExplainerFibonacci and the Golden RatioThe Fibonacci sequence adds each pair of terms to make the next; the ratio of neighboring terms homes in on the golden ratio φ ≈ 1.618. See how, and where the pattern turns up.ExplainerWhat Is a Z-Score? Standard Deviations Above the MeanA z-score is z = (x − μ) / σ — how many standard deviations a value sits from the mean. Learn how to compute it, read the standard normal curve, and turn it into a percentile.How-toHow to Find the Distance Between Two PointsUse the distance formula d = √((x₂−x₁)² + (y₂−y₁)²) to measure the straight-line distance between two points on a plane, with a worked example and the midpoint too.How-toHow to Calculate the Slope of a Line: Rise Over RunFind the slope of a line from two points with m = (y₂ − y₁) / (x₂ − x₁), and read what a positive, negative, zero, or undefined slope tells you.