Simplificador de expresiones booleanas (método de Quine–McCluskey)
Simplifica cualquier expresión booleana de hasta cinco variables (A–E) a su suma de productos y producto de sumas mínimos con el método de Quine–McCluskey, con implicantes primos y esenciales.
Cómo funciona
1) Se evalúa la expresión en las 2ⁿ filas → mintérminos · 2) Quine–McCluskey: se combinan repetidamente los términos que difieren en un solo bit (X·Y + X·Y' = X) hasta que no se pueda más → implicantes primos · 3) se conservan los primos esenciales (los únicos que cubren algún mintérmino) y se eligen los menos primos restantes posibles (a igualdad, los de menos literales) · POS: se minimizan los ceros y se aplica De Morgan
El simplificador no reescribe tu texto con reglas algebraicas: calcula los mintérminos de la función y aplica el algoritmo de Quine–McCluskey, la versión tabular del mapa de Karnaugh, que garantiza encontrar todos los implicantes primos. Después una búsqueda exacta elige el conjunto más pequeño de primos que cubre todos los mintérminos, así que el resultado es de verdad la forma mínima de dos niveles (menos términos producto y, a igualdad, menos literales), no solo una forma más corta. El producto de sumas se obtiene minimizando los ceros de la función y complementando.
Ejemplo resuelto
ABC + ABC' + AB'C + A'BC tiene los mintérminos Σm(3, 5, 6, 7): vale 1 cuando al menos dos de las tres entradas valen 1. Quine–McCluskey los agrupa en tres implicantes primos, AB (6, 7), AC (5, 7) y BC (3, 7), todos esenciales, así que la SOP mínima es AB + AC + BC y la POS mínima es (A + B)(A + C)(B + C). Los literales bajan de 12 a 6: es la clásica función mayoría (votador 2 de 3).
Fuentes: Quine–McCluskey algorithm — Wikipedia · Petrick’s method — Wikipedia
Preguntas frecuentes
¿El resultado es siempre el más simple?
Es la suma de productos mínima de dos niveles: ninguna otra SOP tiene menos términos y, entre las que tienen los mismos, esta usa menos literales. Las formas de varios niveles (factorizando o con compuertas XOR) a veces son aún más pequeñas; por ejemplo A ⊕ B ⊕ C no tiene una SOP más simple que cuatro términos de 3 literales.
¿Qué son los implicantes primos y los esenciales?
Un implicante primo es un término producto que no se puede agrandar (quitarle un literal) sin cubrir un 0. Es esencial cuando es el único primo que cubre algún mintérmino, así que debe estar en toda solución mínima. La tabla muestra ambos y marca qué primos usa el resultado final.
¿Por qué el resultado usa menos variables que mi expresión?
Porque las variables que se cancelan desaparecen. Por ejemplo A·B + A·B' se simplifica a A, ya que B ya no afecta la salida. El resultado solo usa las variables de las que la función depende realmente.
¿En qué se diferencia de un mapa de Karnaugh?
Los mapas de Karnaugh agrupan los 1 adyacentes de forma visual y son prácticos hasta cuatro variables; Quine–McCluskey hace las mismas combinaciones en una tabla y funciona con cualquier número de variables. Ambos dan el mismo resultado mínimo. Usa la calculadora de mapas de Karnaugh si partes de una lista de mintérminos o necesitas condiciones indiferentes.
Calculadoras relacionadas
Esta calculadora tiene fines informativos. Verifica los resultados importantes antes de tomar decisiones.