Mapas de Karnaugh

Un método visual para simplificar expresiones booleanas — agrupa celdas adyacentes para minimizar la lógica.

Los mapas de Karnaugh (mapas K) son una herramienta visual para simplificar expresiones booleanas. En lugar de aplicar reglas algebraicas mecánicamente, dibujas una cuadrícula, llenas los valores de la tabla de verdad y agrupas los 1s adyacentes. Cada grupo corresponde a un término producto simplificado. Para expresiones de 2 a 4 variables, los mapas K son más rápidos e intuitivos que la simplificación algebraica.

Objectives

  • Construir mapas de Karnaugh de 2, 3 y 4 variables a partir de tablas de verdad
  • Identificar grupos válidos: los tamaños deben ser potencias de 2 (1, 2, 4, 8, 16)
  • Aplicar agrupación con envoltura en bordes y esquinas
  • Extraer expresiones SOP minimizadas de las agrupaciones del mapa K
  • Usar condiciones no importa (X) para simplificación adicional
  • Extraer expresiones POS agrupando los 0s

Key Takeaways

  • Los mapas K son una herramienta visual para minimizar expresiones booleanas de 2-4 variables
  • El ordenamiento de código Gray asegura que las celdas adyacentes difieran en exactamente una variable
  • Los grupos deben ser rectangulares, contener solo 1s y tener tamaño potencia de 2
  • Grupos más grandes = términos más simples. Menos grupos = menos términos producto.
  • Los no importa pueden tratarse como 1 o 0 — elige lo que dé la mejor agrupación
  • Los bordes y esquinas se envuelven — no olvides estas adyacencias
  • Para POS, agrupa los 0s en lugar de los 1s

Applications

  • Diseño de Circuitos: Minimizar el número de compuertas en lógica combinacional.
  • Programación de PLD: Optimizar expresiones para dispositivos PAL/GAL/CPLD.
  • Diseño de Máquinas de Estado: Minimizar la lógica de siguiente estado y salida.
  • Verificación Rápida: Confirmar visualmente simplificaciones booleanas.

Practice Problems

Problem 1: Minimiza f(A,B,C) = Σm(0,2,4,5,6) usando un mapa K de 3 variables.

Problem 2: Minimiza f(A,B,C,D) = Σm(0,1,2,5,8,9,10) usando un mapa K de 4 variables.

Problem 3: Un convertidor BCD tiene no importa para entradas 10-15. f(A,B,C,D) = Σm(1,3,5) + Σd(10,11,12,13,14,15). Minimiza.

Problem 4: ¿Por qué las columnas del mapa K se ordenan 00, 01, 11, 10 en lugar de 00, 01, 10, 11?

Problem 5: En un mapa K de 4 variables, ¿cuáles celdas forman un grupo válido: {0, 2, 8, 10}?