Calculadora de tablas de verdad

Calcula fácilmente la tabla de verdad de cualquier proposición lógica compuesta. Solo tienes que escribir la expresión utilizando los conectores lógicos que prefieras (¬, ∧, ∨, →, ↔, etc.) y la herramienta generará la tabla.

Instrucciones de uso

Puedes usar tanto tu teclado como el teclado virtual para escribir la expresión lógica. Una vez la tengas, presiona en "Generar tabla" o la tecla "enter". Podrás elegir entre el formato con letras V / F o el formato binario 1 / 0.

Ejemplos rápidos

Haz clic en cualquier proposición para generar su tabla de verdad:

• (p → q) ∧ (q → p)
• ¬p ∧ q → ¬r
• p ∧ q → r
• (p ∧ q) ∨ r
• (p ∧ q) → p
• ¬p ∧ q → ¬r
• ¬[(p ∧ q) ∧ ¬(p ∨ q)]
• (¬p ∨ ¬q) → ¬r
• ¬(p ∨ q) ↔ (¬p ∧ ¬q)
• (p → q) ∧ (q → r) → (p → r)
• {[(p ⊻ q) ∧ (s ↔ r)] ∧ (q → s)} ⊻ ¬(q ∧ s)

Variables proposicionales

Son válidas las siguientes opciones:

• Letras minúsculas: a, b, c, d, p, q, r… (excepto 'v', 'y', 'o' 'f').
• Letras mayúsculas: A, B, C… P, Q, R… (excepto 'V', 'F', 'T').

Operadores lógicos

Los conectivos lógicos tienen un símbolo estándar y otras simbologías aceptadas, puedes verlos en la siguiente tabla.

Operador	Símbolo estándar	Atajos permitidos
Negación	¬	~, !, not, NO, no
Conjunción	∧	&, ^, and, AND, y
Disyunción	∨	v, or, OR, o
Disyunción Exclusiva	⊻	xor, ⊕
Implicación	→	->, =>, ⇒, imp, IMP
Bicondicional	↔	<->, <=>, ==, iff, IFF, ⇔, sii

Signos de agrupación

Puedes usar paréntesis ( ), corchetes [ ] y llaves { } para agrupar proposiciones. Si no usas ninguno, internamente se maneja la siguiente jerarquía:

1. Negación (¬).
2. Conjunción (∧).
3. Disyunción inclusiva (∨) y disyunción exclusiva (⊻).
4. Condicional (→).
5. Bicondicional (↔).

Por ejemplo, la proposición ¬p ∧ q ∨ r → s ↔ p se interpreta como {[(¬p ∧ q) ∨ r ] → s } ↔ p o, usando solo paréntesis: (((¬p ∧ q) ∨ r ) → s ) ↔ p.

Constantes

• Tautología (verdadero): T, V, ⊤, 1
• Contradicción (Falso): F, ⊥, 0