Generador de tablas de verdad online
Escribe una fórmula de lógica proposicional y obtén su tabla de verdad completa, con todas las columnas intermedias y su clasificación: tautología, contradicción o contingencia.
Valores de verdad:
· También puedes teclear
- ~ & v -> <->
Cómo se usa
Escribe la fórmula con letras proposicionales (p, q, r...) y conectivas, y pulsa Generar tabla. El generador construye la tabla completa —columna a columna, como en los ejercicios resueltos— y clasifica la fórmula. Si tu teclado no tiene los símbolos, usa los botones o estas equivalencias:
| Conectiva | Símbolo | También se acepta |
|---|---|---|
| Negación | ¬p | -p, ~p, !p |
| Conjunción | p ∧ q | p & q, p · q |
| Disyunción | p ∨ q | p v q, p | q, p + q |
| Condicional | p → q | p -> q, p ⊃ q |
| Bicondicional | p ↔ q | p <-> q, p ≡ q |
La precedencia es la habitual (¬, ∧, ∨, →, ↔), de modo que p ∧ q → p se lee (p ∧ q) → p. Ante la duda, pon paréntesis. El límite son 5 letras distintas (32 filas).
¿Necesitas entender lo que sale? Practica con los 20 ejercicios resueltos de tablas de verdad, la página de lógica para 1º de Bachillerato, o escríbenos para clases individuales.
Ejemplo resuelto
Tabla de verdad de (p ∧ q) → p, tal y como la genera la herramienta:
| p | q | p ∧ q | p ∧ q → p |
|---|---|---|---|
| 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 0 | 0 | 1 |
TAUTOLOGÍA, SATISFACIBLE Y VERDAD LÓGICA