Calculadoras - Matemáticas discretas

Calculadora de tabla de verdad

La calculadora generará la tabla de verdad para la fórmula/expresión lógica dada. Admite todos los operadores lógicos básicos: negación (complemento) y (conjunción) o (disyunción), nand (trazo de Sheffer), nor (flecha de Peirce), xor (disyunción exclusiva), implicación, recíproco de implicación, no implicación (abjunción), no implicación inversa, xnor (nor exclusivo, equivalencia, bicondicional), tautología (T) y contradicción (F).

Calculadora de álgebra booleana

La calculadora intentará simplificar/minimizar la expresión booleana dada, con pasos cuando sea posible. Aplica la ley conmutativa, ley distributiva, ley dominante (nula, anulación), ley de identidad, ley de negación, ley de doble negación (involución), ley idempotente, ley del complemento, ley de absorción, ley de redundancia, teorema de Morgan. Admite todos los operadores lógicos básicos: negación (complemento) y (conjunción) o (disyunción), nand (trazo de Sheffer), nor (flecha de Peirce), xor (disyunción exclusiva), implicación, recíproco de implicación, no implicación (abjunción), no implicación inversa, xnor (nor exclusivo, equivalencia, bicondicional), tautología (T) y contradicción (F).

También encontrará la forma normal disyuntiva (DNF), la forma normal conjuntiva (CNF) y la forma normal de negación (NNF).

Calculadora de combinaciones y permutaciones

La calculadora encontrará el número de permutaciones/combinaciones, con/sin repeticiones, dado el número total de objetos y el número de objetos a elegir. También generará la lista de combinaciones r (permutaciones r) de la lista dada, con los pasos que se muestran.