Calxsolver
Matemáticas finitas

Generador de tablas de verdad

Introduce una expresión proposicional con p, q, r, s y los operadores ! (NOT), & (AND), | (OR), -> (IMPLICA), <-> o = (SI Y SOLO SI), ^ (XOR). La calculadora analiza la fórmula, la evalúa en cada asignación y dice si es tautología, contradicción o contingencia.

Generador de tablas de verdad

Construye la tabla de verdad de cualquier fórmula proposicional sobre p, q, r, s.

Prueba:

Preguntas frecuentes

¿Qué operadores puedo usar?

! o ¬ para NOT, & o ∧ para AND, | o ∨ para OR, -> o → para IMPLICA, <-> o ↔ o = para SI Y SOLO SI, ^ o ⊕ para XOR. Se permiten espacios y paréntesis.

¿Cuántas variables admite?

Hasta cuatro: p, q, r, s. Con cuatro variables la tabla tiene 16 filas.

¿Diferencia entre tautología, contradicción y contingencia?

Una tautología es verdadera en toda fila, una contradicción es falsa en toda fila, y una contingencia es a veces verdadera y a veces falsa.

Herramientas relacionadas

Calculadora de interés simple I = Prt — halla el interés y el monto final de un préstamo o depósito a tasa fija. Calculadora de interés compuesto A = P(1 + r/n)^(nt) para capitalización discreta, A = Pe^(rt) para continua. Calculadora de anualidad Valor futuro o presente de una anualidad ordinaria a partir de pago, tasa y períodos. Calculadora de pago de préstamo Pago periódico, interés total y vista previa de la tabla de amortización. Calculadora de cadena de Markov Itera la distribución y halla el vector estacionario π. Resolutor de programación lineal (2 variables) Método gráfico — región factible, evaluación en vértices y óptimo.