Un mapa de Karnaugh es un método sistemático de simplificación de
expresiones booleanas (funciones lógicas) y, si se aplica adecuadamente, genera las expresiones suma de productos y producto de sumas más simples posibles de esa función lógica, conocidas como expresiones mínimas. Existe otro método para simplificar funciones lógicas, aplicando las reglas y teoremas de álgebra de Boole, pero mediante los mapas de Karnaugh ese proceso de simplificación se resuelve de manera gráfica, más sencilla y más intuitiva. Ventajas El mapa-k nos permite convertir la tabla de verdad de una ecuación booleana en una forma SOP(Suma de productos) o POS(Productos de suma) minimizada. Reglas básicas y sencillas para la simplificación. La facilidad del método permite que sea más rápido y más eficiente que otras técnicas de simplificación en el Álgebra de Boole. Reglas Las agrupaciones son exclusivamente de unos. Esto implica que ningún grupo puede contener ningún cero. Las agrupaciones únicamente pueden hacerse en horizontal y vertical. Esto implica que las diagonales están prohibidas. Los grupos han de contener 2n elementos. Es decir que cada grupo tendrá 1,2,4,8... número de unos. Cada grupo ha de ser tan grande como sea posible. Tal y como lo ilustramos en el ejemplo. Todos los unos tienen que pertenecer como mínimo a un grupo. Aunque pueden pertenecer a más de uno. Pueden existir solapamiento de grupos. La formación de grupos también se puede producir con las celdas extremas de la tabla. De tal forma que la parte inferior se podría agrupar con la superior y la izquierda con la derecha tal y como se explica en el ejemplo. Tiene que resultar el menor número de grupos posibles siempre y cuando no contradiga ninguna de las reglas anteriores. Esto es el número de grupos ha de ser mínima. Ejemplo: Dada la siguiente tabla de verdad, obtener y simplificar la función lógica utilizando la primera forma canónica (minterms). Si nos piden obtener la función lógica utilizando la primera forma canónica, tenemos que fijarnos en las filas para las cuales la salida vale «1». Poniendo la ecuación según los valores que toman las entradas A, B y C tenemos: El siguiente paso es hacer el mapa de Karnaugh de tres variables. El siguiente paso es realizar agrupaciones de «unos», de tal forma que queden en grupos de 2n , es decir, en grupos de 1, 2, 4, 8, 16, etc. «unos». En este caso, las agrupaciones que se pueden realizar son: Hay que realizar el menor número de agrupaciones posible y del mayor tamaño que se pueda, Si no se cumplen ambas condiciones, la función no se habrá simplificado al máximo.
En cada agrupación nos fijaremos en las variables que NO cambian de
valor de una celda a otra, dentro de la misma agrupación. De las 3 agrupaciones realizadas, se obtienen los siguientes valores: Por lo tanto, la función lógica simplificada es: