Selecciona el conector
P ∧ Q — Conjunción (AND)
Asigna valores
¬P = 0 ¬Q = 1
Tabla de verdad completa
| P | Q | ¬P | ¬Q | P ∧ Q |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 0 | 0 | 1 |
1= Verdadero 0= Falso ▌ Fila activa
Fundamentos de la lógica proposicional
Conectores lógicos, tablas de verdad, mapas de Karnaugh y formas normales
La lógica proposicional es la rama de la lógica matemática que estudia las relaciones entre proposiciones (afirmaciones que pueden ser verdaderas o falsas) mediante conectores lógicos. Es la base del álgebra de Boole, los circuitos digitales y la programación.
Los seis conectores fundamentales son: la conjunción (∧/AND), que es verdadera solo cuando ambas proposiciones lo son; la disyunción (∨/OR), verdadera cuando al menos una lo es; la negación (¬/NOT), que invierte el valor; la disyunción exclusiva (⊕/XOR), verdadera cuando exactamente una lo es; la implicación (→), falsa solo cuando el antecedente es verdadero y el consecuente falso; y la equivalencia (↔), verdadera cuando ambas proposiciones tienen el mismo valor.
Las formas normales (FND y FNC) son representaciones canónicas de cualquier función booleana. El mapa de Karnaugh es una herramienta visual para simplificar expresiones booleanas agrupando minterms adyacentes en potencias de 2, lo que equivale a aplicar el álgebra de Boole de forma sistemática.
Los 6 conectores lógicos fundamentales
| Conector | Símbolo | Tipo | Verdadero cuando | Falso cuando | Ejemplo cotidiano |
|---|---|---|---|---|---|
| AND | ∧ | Conjunción | P y Q son verdaderos | Al menos uno es falso | «Llueve Y hace frío» |
| OR | ∨ | Disyunción | P, Q o ambos son verdaderos | P y Q son falsos | «Viene Juan O viene Ana» |
| NOT | ¬ | Negación | P es falso | P es verdadero | «NO llueve» |
| XOR | ⊕ | Excl. exclusiva | Exactamente uno es verdadero | Ambos iguales (00 ó 11) | «O uno O el otro, no los dos» |
| IMPL | → | Implicación | P es falso, o Q es verdadero | P=V y Q=F (solo este caso) | «Si estudias, apruebas» |
| EQUIV | ↔ | Equivalencia | P y Q tienen el mismo valor | P y Q tienen distinto valor | «Llueve si y solo si hay nubes» |
¿Quién usa la lógica proposicional?
Usa tablas de verdad en matemáticas e informática para demostrar equivalencias y analizar fórmulas en los exámenes de admisión universitaria (selectividad en España, preparatoria o educación media en Latinoamérica).
Diseña condiciones booleanas en código: validaciones de formularios, control de flujo y expresiones en lenguajes de programación como Python, Java o C.
Aplica puertas lógicas (AND, OR, NOT, XOR) para diseñar y analizar circuitos digitales, desde decodificadores hasta microprocesadores.
Domina las formas normales FND/FNC y los mapas de Karnaugh para minimizar funciones booleanas, tema habitual en oposiciones del cuerpo de profesores.
Preguntas frecuentes
- ¿Qué diferencia hay entre OR exclusivo (XOR) y OR inclusivo?
El OR inclusivo (∨) es verdadero cuando al menos uno de los operandos es verdadero, incluido el caso en que ambos lo sean (V∨V = V). El XOR (⊕) es verdadero solo cuando exactamente uno de los dos es verdadero: si ambos son iguales (VV o FF), el resultado es falso. En circuitos digitales, el XOR se usa para detectar diferencias y en operaciones de suma binaria (bit de suma del semisumador).
Regla rápida: XOR = «uno u otro, pero no los dos».
- ¿Cuándo es verdadera una implicación lógica?
La implicación P→Q es falsa únicamente cuando el antecedente (P) es verdadero y el consecuente (Q) es falso. En todos los demás casos (P=F, o Q=V) la implicación es verdadera, aunque pueda parecer contraintuitivo. Ejemplo: «Si llueve, el suelo está mojado». Si no llueve (P=F), la proposición no se incumple sea cual sea el estado del suelo.
Solo una fila es falsa: (V → F).
- ¿Para qué sirve el mapa de Karnaugh?
El mapa de Karnaugh es una herramienta visual para simplificar funciones booleanas sin usar álgebra. Organizando los minterms en un cuadrícula con código Gray (donde celdas adyacentes difieren en un solo bit), los grupos de 1, 2, 4 u 8 celdas contiguas permiten cancelar variables y obtener la expresión mínima. Es especialmente útil en diseño de circuitos para reducir el número de puertas lógicas necesarias.
Siempre agrupa potencias de 2: 1, 2, 4 u 8 celdas.
- ¿Qué es una tautología? ¿Y una contradicción?
Una tautología es una fórmula que es siempre verdadera independientemente de los valores de sus variables (ej.: P ∨ ¬P). Una contradicción (o antilogía) es siempre falsa (ej.: P ∧ ¬P). Cualquier otra fórmula que sea verdadera en algunos casos y falsa en otros se llama contingencia. Verificar si una fórmula es tautología es equivalente a comprobar si su negación es insatisfacible, un problema central en lógica y computación (SAT).
Tautología → todas las filas de la tabla de verdad dan 1.
- ¿La lógica proposicional es lo mismo que la lógica del sentido común?
No exactamente. La lógica proposicional es formal y bivalente (solo admite Verdadero o Falso), mientras que el lenguaje natural es ambiguo y contextual. Por ejemplo, en el habla cotidiana «o uno o el otro» suele ser excluyente (XOR), pero «puedes pagar con tarjeta o en efectivo» es inclusivo (OR). Además, la implicación formal (→) se comporta de forma diferente a la causalidad natural: «Si la Luna es de queso, soy rico» es verdadera en lógica formal.
La lógica formal es más estricta y menos ambigua que el lenguaje cotidiano.
- ¿Qué relación tiene con la programación?
Los conectores lógicos son la base de las condiciones en cualquier lenguaje de programación:
&&(AND),||(OR),!(NOT). Las expresiones booleanas en if/while/for aplican exactamente las mismas reglas que las tablas de verdad. La evaluación en cortocircuito (short-circuit evaluation) que usan lenguajes como Python o JavaScript también es lógica proposicional optimizada.En Python:
and/or/not. En C/Java:&&/||/!.
Cómo analizar cualquier fórmula lógica
- 1Identifica las variables y los conectores
Lee la fórmula y localiza las proposiciones atómicas (P, Q, R…) y los conectores que las unen (∧, ∨, ¬, →, ↔, ⊕). Anota cuántas variables distintas hay: con 2 variables hay 4 filas, con 3 hay 8, con n hay 2ⁿ.
- 2Construye la tabla de verdad con todas las combinaciones
Empieza asignando todas las combinaciones posibles de V/F a las variables. La primera columna alterna cada fila, la segunda cada dos filas, la tercera cada cuatro, etc. Añade columnas intermedias para subexpresiones complejas.
- 3Evalúa de dentro hacia fuera, respetando la precedencia
El orden de precedencia habitual es: ¬ (NOT) > ∧ (AND) > ∨ (OR) > → (IMPL) > ↔ (EQUIV). Evalúa primero las subexpresiones entre paréntesis, luego las negaciones, después las conjunciones, etc.
- 4Clasifica el resultado final
Si todas las filas dan 1 → tautología. Si todas dan 0 → contradicción. Si hay mezcla → contingencia. Esta clasificación determina si la fórmula es siempre cierta, siempre falsa, o depende del contexto.
- 5Simplifica si es necesario (Karnaugh o álgebra de Boole)
Si la fórmula proviene de un circuito o función booleana, usa el mapa de Karnaugh para obtener la expresión mínima equivalente. Agrupa los unos en el mapa en grupos de potencias de 2 lo más grandes posible.
Consejos para dominar tablas de verdad y Karnaugh
AND, OR y NOT son intuitivos. El que más confunde es P→Q: recuerda que solo falla cuando «prometes algo (P=V) y no lo cumples (Q=F)».
Para n variables, trata los índices de fila como números binarios: la variable más a la derecha alterna cada fila (bit menos significativo). Esto garantiza que no te olvidas ninguna combinación.
Un grupo de 4 celdas elimina 2 variables; uno de 8 las elimina todas. Empieza por los grupos más grandes aunque se solapen; los solapamientos son válidos y ayudan a simplificar.
El mapa de Karnaugh es toroidal: la primera columna y la última son adyacentes (igual que la primera y la última fila). No ignores esos grupos que «cruzan el borde».
Tras simplificar, sustituye un conjunto de valores en la expresión original y en la simplificada. Si el resultado coincide en varios casos, la simplificación probablemente es correcta.
- Confundir OR con XOR: en lógica formal, OR es inclusivo (V∨V = V). Si necesitas «uno u otro pero no los dos», debes usar XOR explícitamente.
- Dar la implicación por intuitiva: muchos estudiantes asumen que P→Q es falsa cuando P=F, pero es verdadera. Solo falla cuando P=V y Q=F.
- Olvidar agrupar celdas que cruzan el borde en Karnaugh: el mapa es toroidal; ignorar esos grupos produce expresiones no minimizadas.
- No respetar la precedencia de operadores: ¬ se aplica antes que ∧, que se aplica antes que ∨. Sin paréntesis, «¬P ∧ Q» es «(¬P) ∧ Q», no «¬(P ∧ Q)».
- Mezclar notaciones distintas: ∧/AND/&&, ∨/OR/||, ¬/NOT/! son equivalentes según el contexto (matemático, lógico, informático). Usar la misma notación dentro de un mismo ejercicio evita confusiones.