ABC Tools
Truth Table Generator illustration

Truth Table Generator

Builds the complete truth table of a boolean expression, classifies it as tautology, contradiction or contingency, and shows simplified disjunctive and conjunctive normal forms.

Read the full guide to this tool

Operators: & and, | or, ~ not, ^ xor, -> implies, <-> iff.

Explore the idea

This interactive demo needs JavaScript.

Read the full guide for the explanation behind it

Related tools

Prime Number Tools

Primality tests, the nth prime, prime ranges and π(x).

Set Calculator

Union, intersection, differences and power sets.

Base-N Arithmetic

Add, subtract, multiply and divide directly in any base.

Congruence Solver (CRT)

Linear congruences and Chinese Remainder Theorem systems.

Linear Diophantine Equations

Integer solutions of ax + by = c with the general formula.

3D Solid Geometry Calculator

Volume and surface area of spheres, cones, prisms and more.