Tabla de verdad de (A∨¬A)
(A∨¬A)
Propiedades: Tautología
| A | ¬A | (A∨¬A) |
|---|---|---|
| Falso | Verdadero | Verdadero |
| Verdadero | Falso | Verdadero |
Cada columna entre las variables y el resultado evalúa un conectivo, de modo que la fórmula se construye paso a paso.
Probar en la CalculadoraGenerador de tablas de verdadConstruye la tabla de cualquier fórmula tuya, con las propiedades, las formas equivalentes y el mapa de Karnaugh al lado.Más tablas de verdad
Preguntas frecuentes
Encuentra respuestas a las preguntas más habituales sobre el uso de la Calculadora Lógica
¿Cómo creo una tabla de verdad para mi expresión?
Simplemente introduce tu expresión lógica en el campo de entrada de la calculadora y pulsa calcular. La tabla de verdad se generará automáticamente mostrando todas las combinaciones posibles de valores de las variables y el resultado correspondiente para tu expresión.
¿En qué orden están las filas?
Las variables se ordenan alfabéticamente y las filas recorren todas las asignaciones empezando por «todas falsas», con la primera variable cambiando más deprisa, de modo que la última fila es aquella en la que todas las variables son verdaderas. Los manuales difieren en esto —muchos empiezan por «todas verdaderas»—, así que las filas pueden aparecer en un orden distinto al de tus apuntes aunque la tabla diga exactamente lo mismo.
¿Cuántas filas tendrá mi tabla de verdad?
Dos elevado al número de variables distintas: tres variables dan ocho filas, cuatro dan dieciséis y diez dan 1.024. Cada variable que añades duplica la tabla, y por eso una fórmula larga suele juzgarse mejor a partir de las propiedades y las formas equivalentes que leyendo cada fila.
¿Puedo mostrar 1 y 0 en lugar de ⊤ y ⊥?
Sí. El selector de notación de la tabla de verdad alterna entre los símbolos ⊤ y ⊥ y los dígitos 1 y 0, y tu elección se recuerda en este navegador para la próxima visita.
¿Cómo sé por la tabla de verdad si una fórmula es una tautología?
Lee la última columna. Si todas las filas son verdaderas, la fórmula es una tautología; si todas son falsas, es una contradicción; si la columna tiene de ambas, es contingente. Es satisfacible en cuanto una fila sea verdadera. La calculadora indica todo esto encima de la tabla, así que la columna sirve para comprobar el veredicto más que para deducirlo.