Skip to content
OneKitly
Sign up · Sign in

Truth Table Generator

Builds the full truth table for up to 8 variables, with a column per sub-expression so you can see where a row turns. Classifies the formula as tautology, contradiction or contingency, lists the minterms and maxterms, and copies out as CSV, LaTeX or Markdown.

Related tools

All Discrete maths & graphs tools →
Bitwise CalculatorAND, OR, XOR, NOT and shifts in binary, decimal or hex, at 8, 16, 32 or 64 bits, with the bit-by-bit diagram and the result in all three bases. Computed with BigInt, so the 64-bit answers are right where JavaScript's own 32-bit operators would silently truncate.Karnaugh Map (K-Map) SolverMinimize 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.Logic Gate SimulatorDraws the gate diagram for a boolean expression and lets you flip each input to watch the signal travel through. Half-adder, multiplexer, parity and majority circuits are one click away.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.Delaunay triangulation generatorPaste a set of 2D points and it triangulates them the Delaunay way — the triangulation that avoids thin sliver triangles, where no point lies inside another triangle's circumcircle. It runs the Bowyer-Watson algorithm in your browser and draws the mesh, with point, triangle and edge counts.Dijkstra shortest path calculatorEnter a weighted graph as edges ("A, B, 4" per line) and a source node: Dijkstra's algorithm returns the shortest distance and the exact path from the source to every reachable vertex. Works for directed or undirected graphs, accepts many edge formats, and flags unreachable vertices — ideal for routing, networks and pathfinding.Graph coloring calculatorColor a graph so that no two adjacent vertices share a color. Enter an edge list and the DSATUR (or greedy) heuristic assigns a color to every vertex, shows the color classes, and reports an upper bound on the chromatic number χ. K4 needs 4 colors, an even cycle 2, an odd cycle 3 — see it instantly.Group theory order calculatorAnalyse the classic finite groups — cyclic Zₙ, direct products Zₘ×Zₙ, dihedral Dₙ and symmetric Sₙ. It gives the group order, whether it is abelian, its structure, the number of generators for cyclic groups, and the order of any element you enter, including a permutation in cycle notation for Sₙ.

Open Truth Table Generator and you get an answer straight away, with no account to create. Its place is under Discrete maths & graphs; Bitwise Calculator and Karnaugh Map (K-Map) Solver answer the questions closest to this one.

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 Truth Table Generator?

Builds the full truth table for up to 8 variables, with a column per sub-expression so you can see where a row turns. Classifies the formula as tautology, contradiction or contingency, lists the minterms and maxterms, and copies out as CSV, LaTeX or Markdown.

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 Truth Table Generator different from Bitwise Calculator?

They sit next to each other but answer different questions. Bitwise Calculator: aND, OR, XOR, NOT and shifts in binary, decimal or hex, at 8, 16, 32 or 64 bits, with the bit-by-bit diagram and the result in all three bases. Computed with BigInt, so the 64-bit answers are right where JavaScript's own 32-bit operators would silently truncate. Pick whichever matches what you're starting from — both are free.

Is there a tool for the next step?

Karnaugh Map (K-Map) Solver is the closest one after this: 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 else is worth having open alongside it?

Logic Gate Simulator and Traveling Salesman 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 →
ExplainerMinus Seventeen Modulo Five Has Two Different Answers17 mod 5 is 2 everywhere. −17 mod 5 is −2 in JavaScript, C and Java, and 3 in Python, Ruby and a spreadsheet. Both are right, and the difference is a real bug.ExplainerThe Pigeonhole Principle Proves a Thing Exists Without Finding ItTen items in three containers force four into one of them. 367 people force a shared birthday. Neither statement tells you which container or which pair.ExplainerA Cone Is Exactly One Third of Its CylinderRadius 5, height 10: the cone holds 261.8 and the cylinder around it holds 785.4. The ratio is exactly a third, and it holds for any base shape at all.ExplainerOne Formula That Is Also a Rectangle and Also a TriangleParallel sides of 8 and 5 with a height of 4 give an area of 26 — the average width times the height. Make the two sides equal and it is a rectangle; shrink one to nothing and it is a triangle.ExplainerTwice as Wide Holds Four Times as Much; Twice as Tall Holds TwiceA cylinder of radius 5 and height 10 holds 785.4 units of volume. Double the radius and it holds 3,141.6; double the height instead and it holds 1,570.8.ExplainerForty Out and Sixty Back Averages Forty-EightThe harmonic mean of 40 and 60 is 48, not 50, because the slower leg takes longer and therefore counts for more. For 1, 2 and 4 it is 1.714 against an arithmetic mean of 2.33.