Calculadoras - Matemáticas discretas

Calculadora de tablas 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 (barra de Sheffer), nor (flecha de Peirce), xor (disyunción exclusiva), implicación, conversa de la implicación, no implicación (abjunción), conversa de la no implicación, 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, mostrando los pasos cuando sea posible. Aplica las leyes conmutativa, distributiva, de dominación (nula, de anulación), de identidad, de negación, de la doble negación (involución), idempotente, del complemento, de absorción, de redundancia y el teorema de De Morgan. Admite todos los operadores lógicos básicos: negación (complemento), y (conjunción), o (disyunción), NAND (barra de Sheffer), NOR (flecha de Peirce), XOR (disyunción exclusiva), implicación, conversa de la implicación, no implicación (abjunction), conversa de la no implicación, XNOR (NOR exclusivo, equivalencia, bicondicional), tautología (T) y contradicción (F).

También encontrará la forma normal disyuntiva (FND), la forma normal conjuntiva (FNC) y la forma normal de negación (FNN).

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 r-combinaciones (r-permutaciones) a partir de la lista dada, mostrando los pasos.