Fundamentos de lógica y sistemas binarios
Este curso está diseñado para estudiantes de informática y cualquier persona interesada en comprender los conceptos básicos de la lógica proposicional y el sistema numérico binario. A lo largo de la lección, revisaremos los operadores lógicos más comunes, cómo construir expresiones a partir de enunciados cotidianos, la interpretación de tablas de verdad y los pasos para convertir números entre decimal y binario.
Operadores lógicos esenciales
En lógica proposicional, los operadores permiten combinar proposiciones simples (p, q, etc.) para obtener nuevas afirmaciones. Los cuatro operadores fundamentales son:
- Conjunción (AND, ∧): la expresión p ∧ q es verdadera solo cuando p y q son verdaderas.
- Disyunción (OR, ∨): la expresión p ∨ q es verdadera cuando al menos una de las proposiciones es verdadera.
- Negación (NOT, ¬): invierte el valor de verdad; ¬p es verdadera si p es falsa.
- Implicación (IF‑THEN, →): p → q es falsa solo cuando p es verdadera y q es falsa.
Estos símbolos aparecen frecuentemente en la literatura técnica y en los ejercicios de programación, por lo que es crucial reconocerlos y saber traducirlos al lenguaje natural.
Construcción de expresiones lógicas a partir de enunciados cotidianos
Ejemplo 1: Contento por helado
Enunciado: "uno está contento si toma helado de vainilla o helado de chocolate".
La palabra clave es "o", que corresponde a la disyunción ∨. Por tanto, la expresión correcta es:
C = V ∨ C
- V representa "toma helado de vainilla".
- C representa "toma helado de chocolate".
- El resultado (C) indica "estar contento".
Cómo recordarlo: "Contento = Vanilla OR Chocolate". Cada vez que veas "o" en español, piensa en ∨.
Ejemplo 2: Alarma en estacionamiento automatizado
Enunciado: la alarma se activa cuando la puerta está cerrada y el auto está en espera.
Esto se traduce a la conjunción ∧:
Alarma = PuertaCerrada ∧ AutoEnEspera
- Ambas condiciones deben cumplirse simultáneamente.
Cómo recordarlo: visualiza dos luces verdes que se cruzan; solo cuando ambas están encendidas suena la alarma.
Ejemplo 3: Condición climática y abrigo
Enunciado: "si hace frío o está lloviendo debo llevar un abrigo".
La palabra "o" indica nuevamente una disyunción:
NecesitaAbrigo = Frío ∨ Lluvia
Este tipo de expresión se clasifica como disyunción (OR).
Ejemplo 4: Ventilación de un recinto cerrado
Enunciado: "temperatura elevada o aire contaminado".
La forma lógica es:
Ventilación = TemperaturaElevada ∨ AireContaminado
- Solo basta que una de las dos condiciones sea verdadera para activar la ventilación.
Consejo: cuando veas "o" en cualquier contexto, tradúcelo a ∨. El símbolo ∧ se reserva para "y".
Tablas de verdad y su interpretación
Una tabla de verdad muestra todas las combinaciones posibles de valores de entrada y el valor resultante de la expresión lógica. Veamos dos casos prácticos.
Ejemplo 5: Regularización de materia
Premisas: asistencia cumplida (V) y parciales aprobados (V).
La regla lógica es una conjunción: Asistencia ∧ Parciales. Según la tabla, V ∧ V = V, por lo que la regularización es Verdadera.
Cómo recordarlo: "V‑V = V", como dos luces verdes que permanecen encendidas.
Ejemplo 6: Puerta OR de tres entradas
Una compuerta OR devuelve Falso únicamente cuando todas sus entradas son 0.
Por lo tanto, la única combinación que produce salida F es 0, 0, 0. Cualquier otro conjunto (por ejemplo 0‑1‑0) genera Verdadero.
Imagen mental: imagina una lámpara que se enciende si cualquiera de tres interruptores está arriba; solo se apaga cuando los tres están abajo.
Sistema binario: conversión entre decimal y binario
El sistema binario utiliza únicamente los dígitos 0 y 1. Cada posición representa una potencia de 2, empezando por 2⁰ a la derecha.
Representación de 128 en binario
El número 128 equivale a 2⁷. En binario se escribe un 1 seguido de siete ceros:
10000000₂
- 1 → 2⁷
- 0 → 2⁶, 2⁵, …, 2⁰
Truco mnemotécnico: "2 a la séptima = 1 y siete ceros".
Conversión de 011110₂ a decimal
Desglose de bits (de derecha a izquierda):
- 2⁰ × 0 = 0
- 2¹ × 1 = 2
- 2² × 1 = 4
- 2³ × 1 = 8
- 2⁴ × 1 = 16
- 2⁵ × 0 = 0
Sumando los valores obtenemos 30₁₀.
Consejo práctico: escribe los bits bajo sus potencias de 2 y suma solo donde el bit sea 1.
Resumen de conceptos clave
- Disyunción (∨): "o" inclusivo; basta una condición verdadera.
- Conjunción (∧): "y" estricto; todas las condiciones deben ser verdaderas.
- Negación (¬): invierte el valor de verdad.
- Implicación (→): solo falsa cuando antecedente es verdadero y consecuente es falso.
- Las tablas de verdad permiten validar cualquier expresión lógica.
- En binario, cada posición representa una potencia de 2; para convertir, multiplica cada bit por su potencia y suma.
Ejercicios de práctica (basados en el cuestionario)
1. Expresión lógica de "uno está contento si toma helado de vainilla o helado de chocolate"
Respuesta correcta: C = V ∨ C
2. Operación lógica para la condición "alarma encendida" en un estacionamiento
Respuesta correcta: Alarma = PuertaCerrada ∧ AutoEnEspera
3. Valor de la regularización cuando asistencia y parciales son verdaderos
Respuesta correcta: Verdadero
4. Tipo de operación lógica en "si hace frío o está lloviendo debo llevar un abrigo"
Respuesta correcta: Disyunción (OR)
5. Expresión lógica de "temperatura elevada o aire contaminado"
Respuesta correcta: Ventilación = TemperaturaElevada ∨ AireContaminado
6. Representación binaria de 128
Respuesta correcta: 10000000₂
7. Conversión de 011110₂ a decimal
Respuesta correcta: 30₁₀
8. Combinación que produce salida F en una compuerta OR de tres entradas
Respuesta correcta: 0, 0, 0
Conclusión
Dominar los operadores lógicos y el sistema binario es fundamental para cualquier disciplina de la informática, desde la programación básica hasta el diseño de circuitos digitales. Al practicar la traducción de enunciados cotidianos a expresiones formales, y al reforzar la habilidad de convertir entre bases numéricas, se construye una base sólida que facilita el aprendizaje de temas más avanzados como algoritmos, arquitectura de computadores y teoría de la información.
Recuerda aplicar los mnemotécnicos presentados, crear tus propias tablas de verdad y resolver ejercicios de conversión con regularidad. Con constancia, estos conceptos pasarán de ser abstractos a convertirse en herramientas intuitivas para resolver problemas reales.
