Calculators - Discrete Mathematics
Didn't find the calculator you need? Request it
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, with steps when possible. 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).
It will also find the disjunctive normal form (DNF), conjunctive normal form (CNF), and negation normal form (NNF).
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.