Los mapas de Karnaugh son una herramienta para simplificar expresiones lógicas booleanas. Permiten representar tablas de verdad en una cuadrícula donde cada celda representa una combinación de variables de entrada. Al agrupar celdas adyacentes con valores iguales, se pueden minimizar las expresiones lógicas. Las celdas "don't care" permiten elegir el valor 0 o 1 para facilitar la creación de grupos más grandes durante la simplificación.