Discrete Math, Logic & Graph Theory Calculators

Propositional logic, Boolean minimization, set algebra, graph algorithms and recurrence/complexity analysis for discrete mathematics, digital logic and computer science students.

5 calculators in this category

Which one do you need?

Truth Table Calculator
Build the complete truth table for any logic formula. Supports NOT, AND, OR, XOR, NAND, NOR, implication and biconditional, with sub-expression columns.
Boolean Algebra Simplification Calculator
Simplify any Boolean expression to its minimal sum-of-products or product-of-sums form by Quine-McCluskey, with the truth table and prime implicants shown.
Karnaugh Map Solver
Minimise a Boolean function from its minterms. Get the minimal SOP or POS, the K-map grid, every prime implicant, the essential ones and a gate count.
Set Operations Calculator
Compute union, intersection, difference, symmetric difference, complement, power set and Cartesian product of two sets, with cardinalities and subset checks.
Dijkstra's Shortest Path Calculator
Find the shortest route through a weighted graph. Enter edges as A-B:4, pick a source and target, and see the distance, the path, and the full relaxation table.

More calculus, linear algebra & discrete math categories

Related categories in other subjects

Where this work overlaps other trades and disciplines.