Discrete Mathematics Calculators

Truth Table Calculator

The calculator will generate the truth table for the given logic formula/expression. Supports all basic logic operators: negation (complement), and (conjunction), or (disjunction), nand (Sheffer stroke), nor (Peirce's arrow), xor (exclusive disjunction), implication, converse of implication, nonimplication (abjunction), converse nonimplication, xnor (exclusive nor, equivalence, biconditional), tautology (T), and contradiction (F).

Boolean Algebra Calculator

The calculator will try to simplify/minify the given boolean expression. Applies commutative law, distributive law, dominant (null, annulment) law, identity law, negation law, double negation (involution) law, idempotent law, complement law, absorption law, redundancy law, de Morgan's theorem. Supports all basic logic operators: negation (complement), and (conjunction), or (disjunction), nand (Sheffer stroke), nor (Peirce's arrow), xor (exclusive disjunction), implication, converse of implication, nonimplication (abjunction), converse nonimplication, xnor (exclusive nor, equivalence, biconditional), tautology (T), and contradiction (F).

Combinations and Permutations Calculator

The calculator will find the number of permutations/combinations, with/without repetitions, given the total number of objects and the number of objects to choose. It will also generate the list of r-combinations (r-permutations) from the given list, with steps shown.