Tablas de verdad: conectores lógicos AND, OR, NOT, IMPLICACIÓN explicados

🔌 Tablas de verdad: el manual de instrucciones de la lógica

Imagina que la lógica es como un circuito eléctrico: los conectores lógicos son los interruptores y las tablas de verdad son los diagramas que te dicen exactamente cómo funciona cada interruptor. ¿Qué pasa cuando conectas dos afirmaciones con «Y»? ¿Y con «O»? ¿Por qué «si A entonces B» es verdadero cuando A es falso? Las tablas de verdad responden estas preguntas con precisión matemática.

🎯 En este post aprenderás: Los 5 conectores lógicos principales (AND, OR, NOT, IMPLICA, SI Y SOLO SI), cómo construir sus tablas de verdad, por qué funcionan como funcionan, cómo combinarlos en expresiones complejas y aplicaciones prácticas en matemáticas y programación.

🎯 Los 5 conectores lógicos fundamentales

¬ NEGACIÓN

Símbolos: ¬, ~, NOT

Se lee: «no», «no es cierto que»

Ejemplo: ¬P = «no llueve»

Característica: Operador unario (un solo operando)

∧ CONJUNCIÓN

Símbolos: ∧, &, AND

Se lee: «y», «además»

Ejemplo: P ∧ Q = «llueve Y hace frío»

Característica: Solo verdadero si AMBOS son verdaderos

∨ DISYUNCIÓN

Símbolos: ∨, OR

Se lee: «o», «o bien»

Ejemplo: P ∨ Q = «llueve O hace frío»

Característica: Verdadero si AL MENOS UNO es verdadero

→ IMPLICACIÓN

Símbolos: →, ⇒, IMPLICA

Se lee: «si…entonces», «implica»

Ejemplo: P → Q = «si llueve, entonces hace frío»

Característica: Solo falsa si antecedente verdadero y consecuente falso

↔ BICONDICIONAL

Símbolos: ↔, ⇔, SI Y SOLO SI

Se lee: «si y solo si», «equivale»

Ejemplo: P ↔ Q = «llueve si y solo si hace frío»

Característica: Verdadero si AMBOS tienen el MISMO valor

📊 Tabla de verdad de la NEGACIÓN (¬)

🔄 El operador que invierte la verdad

Tabla de verdad de ¬P (NOT P)

P	¬P
V	F
F	V

📌 Ejemplos prácticos:

P = «Está lloviendo»
¬P = «No está lloviendo»
P = «5 > 3» (Verdadero)
¬P = «5 ≤ 3» (Falso)
P = «Todos los gatos son negros» (Falso)
¬P = «No todos los gatos son negros» (Verdadero)

💡 Doble negación: ¬(¬P) = P. Negar dos veces devuelve el valor original. Ejemplo: «No es cierto que no llueve» = «Llueve».

📊 Tabla de verdad de la CONJUNCIÓN (∧)

🤝 «Y» lógico: ambos deben ser verdaderos

Tabla de verdad de P ∧ Q (P AND Q)

P	Q	P ∧ Q
V	V	V
V	F	F
F	V	F
F	F	F

📌 Ejemplos prácticos:

P = «Hace sol», Q = «Hace calor»
P ∧ Q = «Hace sol Y hace calor» → Solo verdadero si ambas son verdad
P = «2 > 1» (V), Q = «3 < 5" (V)
P ∧ Q = «2 > 1 Y 3 < 5" → Verdadero (ambas V)
P = «5 es par» (F), Q = «5 > 0» (V)
P ∧ Q = «5 es par Y 5 > 0» → Falso (una es F)

⚠️ En lógica, «Y» es conmutativo: P ∧ Q = Q ∧ P. El orden no importa: «Llueve y hace frío» = «Hace frío y llueve».

📊 Tabla de verdad de la DISYUNCIÓN (∨)

🔀 «O» inclusivo: al menos uno debe ser verdadero

Tabla de verdad de P ∨ Q (P OR Q)

P	Q	P ∨ Q
V	V	V
V	F	V
F	V	V
F	F	F

📌 Ejemplos prácticos:

P = «Está nublado», Q = «Está lloviendo»
P ∨ Q = «Está nublado O está lloviendo» → Verdadero si ocurre al menos uno
P = «2 + 2 = 4» (V), Q = «2 + 2 = 5» (F)
P ∨ Q = «2+2=4 O 2+2=5» → Verdadero (una es V)
P = «5 < 3" (F), Q = "10 < 8" (F)
P ∨ Q = «5<3 O 10<8" → Falso (ambas son F)

💡 Diferenciar «O» inclusivo vs exclusivo: En lógica matemática, ∨ es siempre inclusivo (V si al menos uno es V). El «O exclusivo» (XOR) es diferente: verdadero solo si exactamente uno es verdadero.

📊 Tabla de verdad de la IMPLICACIÓN (→)

🔗 «Si…entonces»: la más contraintuitiva

Tabla de verdad de P → Q (SI P ENTONCES Q)

P	Q	P → Q
V	V	V
V	F	F
F	V	V
F	F	V

📌 Ejemplos prácticos:

P = «Está lloviendo», Q = «La calle está mojada»
P → Q = «Si está lloviendo, entonces la calle está mojada»
P = «5 > 3» (V), Q = «5² > 3²» (V)
P → Q = «Si 5>3, entonces 25>9» → Verdadero
P = «5 > 3» (V), Q = «5 < 3" (F)
P → Q = «Si 5>3, entonces 5<3" → Falso (V→F es F)
P = «5 < 3" (F), Q = "5² < 3²" (F)
P → Q = «Si 5<3, entonces 25<9" → Verdadero (F→F es V)

🤔 ¿Por qué F→F y F→V son verdaderos? En lógica, una implicación solo promete algo cuando el antecedente es verdadero. Si el antecedente es falso, no promete nada, así que no puede ser falsa. Se dice que es «vacuamente verdadera».

📊 Tabla de verdad del BICONDICIONAL (↔)

🔄 «Si y solo si»: equivalencia lógica

Tabla de verdad de P ↔ Q (P SI Y SOLO SI Q)

P	Q	P ↔ Q
V	V	V
V	F	F
F	V	F
F	F	V

📌 Ejemplos prácticos:

P = «Un triángulo es equilátero», Q = «Un triángulo tiene 3 lados iguales»
P ↔ Q = «Un triángulo es equilátero si y solo si tiene 3 lados iguales» → Verdadero
P = «x > 0», Q = «x es positivo»
P ↔ Q = «x > 0 si y solo si x es positivo» → Verdadero (son equivalentes)
P = «Está lloviendo», Q = «Hace sol»
P ↔ Q = «Está lloviendo si y solo si hace sol» → Usualmente falso

🔍 Relación con la implicación: P ↔ Q equivale a (P → Q) ∧ (Q → P). Es decir, «P si y solo si Q» significa «Si P entonces Q Y si Q entonces P».

🎯 Resumen visual de las 5 tablas de verdad

Tablas de verdad de los 5 conectores principales

P	Q	¬P	P ∧ Q	P ∨ Q	P → Q	P ↔ Q
V	V	F	V	V	V	V
V	F	F	F	V	F	F
F	V	V	F	V	V	F
F	F	V	F	F	V	V

🔗 Construcción de tablas de verdad para fórmulas complejas

🧩 Paso a paso: (P ∨ Q) → ¬R

Para construir una tabla de verdad compleja, seguimos estos pasos:

Listar todas las combinaciones de valores de verdad para las variables
Calcular subfórmulas de adentro hacia afuera
Calcular la fórmula final

Tabla de verdad para (P ∨ Q) → ¬R

P	Q	R	P ∨ Q	¬R	(P ∨ Q) → ¬R
V	V	V	V	F	F
V	V	F	V	V	V
V	F	V	V	F	F
V	F	F	V	V	V
F	V	V	V	F	F
F	V	F	V	V	V
F	F	V	F	F	V
F	F	F	F	V	V

💡 Regla general: Para n variables, hay 2ⁿ filas en la tabla de verdad. Ejemplo: 3 variables → 2³ = 8 filas; 4 variables → 16 filas.

🎯 Equivalencias lógicas importantes

🔁 Fórmulas que siempre tienen el mismo valor

Equivalencia	Nombre	Ejemplo
¬¬P ≡ P	Doble negación	«No es cierto que no llueve» = «Llueve»
P → Q ≡ ¬P ∨ Q	Implicación material	«Si llueve, hace frío» = «No llueve o hace frío»
¬(P ∧ Q) ≡ ¬P ∨ ¬Q	Ley de De Morgan	«No (A y B)» = «No A o no B»
¬(P ∨ Q) ≡ ¬P ∧ ¬Q	Ley de De Morgan	«No (A o B)» = «No A y no B»
P ↔ Q ≡ (P → Q) ∧ (Q → P)	Definición bicondicional	«A si y solo si B» = «(Si A entonces B) y (si B entonces A)»
P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)	Distributiva	«A o (B y C)» = «(A o B) y (A o C)»
P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)	Distributiva	«A y (B o C)» = «(A y B) o (A y C)»

🔍 Tautologías, contradicciones y contingencias

✅ TAUTOLOGÍA

Definición: Fórmula siempre verdadera

Ejemplo: P ∨ ¬P («llueve o no llueve»)

Tabla de verdad: Todas las filas son V

Importancia: Principios lógicos fundamentales

❌ CONTRADICCIÓN

Definición: Fórmula siempre falsa

Ejemplo: P ∧ ¬P («llueve y no llueve»)

Tabla de verdad: Todas las filas son F

Importancia: Detecta afirmaciones imposibles

📊 CONTINGENCIA

Definición: Fórmula a veces verdadera, a veces falsa

Ejemplo: P ∧ Q («llueve y hace frío»)

Tabla de verdad: Mezcla de V y F

Importancia: Afirmaciones dependientes de situación

🧠 Ejercicios prácticos

Ejercicio 1: Tablas de verdad básicas

Completa las tablas de verdad para:

¬(P ∧ Q)
(P → Q) ∧ (Q → P)
P ∨ (Q ∧ R)

✅ Ver soluciones

a) ¬(P ∧ Q):

P	Q	P∧Q	¬(P∧Q)
V	V	V	F
V	F	F	V
F	V	F	V
F	F	F	V

b) (P→Q)∧(Q→P): (equivalente a P↔Q)

P	Q	P→Q	Q→P	(P→Q)∧(Q→P)
V	V	V	V	V
V	F	F	V	F
F	V	V	F	F
F	F	V	V	V

c) P ∨ (Q ∧ R): (8 filas, se deja como ejercicio completar)

Ejercicio 2: Identificación de tautologías

Determina si cada fórmula es tautología, contradicción o contingencia:

P ∨ ¬P
P ∧ ¬P
P → (Q → P)
(P → Q) ↔ (¬P ∨ Q)
P ∧ Q

✅ Ver soluciones

Tautología (siempre verdadera: ley del tercero excluido)
Contradicción (siempre falsa: ley de no contradicción)
Tautología (si P es verdadero, Q→P es verdadero)
Tautología (equivalencia lógica: definición de →)
Contingencia (depende de P y Q)

Ejercicio 3: Traducción español ↔ lógica

Traduce al español y determina valores de verdad (si es posible):

P ∧ Q, donde P=»2+2=4″, Q=»3+3=6″
P → Q, donde P=»Está lloviendo», Q=»La calle está mojada»
¬P ∨ Q, donde P=»5 es primo», Q=»5 es impar»
P ↔ Q, donde P=»Un triángulo tiene 3 lados», Q=»Un cuadrado tiene 4 lados»

✅ Ver soluciones

«2+2=4 y 3+3=6» → Verdadero (ambas verdaderas)
«Si está lloviendo, entonces la calle está mojada» → Generalmente verdadero
«5 no es primo o 5 es impar» → Falso (5 SÍ es primo, y NO es impar → F ∨ F = F)
«Un triángulo tiene 3 lados si y solo si un cuadrado tiene 4 lados» → Verdadero (ambas verdaderas → V↔V = V)

Ejercicio 4: Verificación de equivalencias

Usa tablas de verdad para verificar:

¬(P ∧ Q) ≡ ¬P ∨ ¬Q (Primera ley de De Morgan)
P → Q ≡ ¬Q → ¬P (Contrarrecíproco)
P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R) (Distributiva)

✅ Ver verificaciones (resumen)

Verdadero: Ambas fórmulas tienen la misma tabla: F, V, V, V
Verdadero: Ambas tienen tabla: V, F, V, V
Verdadero: Ambas tienen la misma tabla de verdad para las 8 combinaciones

Ejercicio 5: Aplicación a circuitos lógicos

Un circuito tiene tres interruptores P, Q, R y una luz L. La luz se enciende cuando: (P está activado O Q está activado) Y NO R está activado.

Escribe la fórmula lógica para L
Construye la tabla de verdad completa
¿En qué casos se enciende la luz?
Simplifica la fórmula si es posible

✅ Ver solución

Fórmula: L = (P ∨ Q) ∧ ¬R
Tabla de verdad (8 filas): L es V cuando: P=V,Q=V,R=F; P=V,Q=F,R=F; P=F,Q=V,R=F
Casos: Se enciende cuando R está apagado Y (P o Q están activados)
Simplificación: Ya está simplificada

🌍 Aplicaciones de las tablas de verdad

💻 En electrónica y computación

Circuitos digitales: Puertas lógicas AND, OR, NOT, XOR implementan conectores
Diseño de procesadores: Unidades lógicas aritméticas (ALU)
Simplificación de circuitos: Minimización de funciones booleanas
Diseño de chips: Microprocesadores, memorias

🖥️ En programación

Condicionales: if (P && Q), if (P || Q)
Expresiones booleanas: !P, P == Q, P != Q
Optimización de código: Simplificación de condiciones
Depuración: Análisis de condiciones complejas

🔬 En matemáticas y razonamiento

Demostraciones: Verificación de equivalencias lógicas
Teoremas: Estructura lógica de afirmaciones matemáticas
Argumentación: Análisis de la validez de argumentos
Leyes de inferencia: Modus ponens, modus tollens, etc.

📖 Glosario de conectores lógicos

Nombre	Símbolos	Tabla de verdad	Ejemplo
Negación	¬, ~, NOT	V→F, F→V	¬P = «no P»
Conjunción	∧, &, AND	V∧V=V, otros F	P∧Q = «P y Q»
Disyunción	∨, OR	F∨F=F, otros V	P∨Q = «P o Q»
Implicación	→, ⇒, IMPLICA	V→F=F, otros V	P→Q = «si P entonces Q»
Bicondicional	↔, ⇔, SI Y SOLO SI	Iguales: V, Diferentes: F	P↔Q = «P sii Q»
Disyunción exclusiva	⊕, XOR	Uno V: V, Ambos iguales: F	P⊕Q = «P o Q, pero no ambos»
Tautología	–	Todas V	P∨¬P
Contradicción	–	Todas F	P∧¬P
Contingencia	–	Mezcla V/F	P∧Q