Cómo se usa
- Escribe la expresión. Con variables de una letra puedes escribirla como en los libros:
A'B + AB',(A + B)(A + C). - Si quieres, indica los minitérminos indiferentes.
- Lee la suma de productos y el producto de sumas mínimos y compruébalos en el mapa de Karnaugh.
Cómo funciona
La herramienta construye la tabla de verdad con las variables en orden alfabético (la primera es el bit más alto del número de minitérmino). El método de Quine-McCluskey combina minitérminos que difieren en una sola variable hasta que no quedan combinaciones posibles; lo que queda son los implicantes primos. Una búsqueda de ramificación y poda elige el conjunto de primos más barato que cubre todos los minitérminos, contando primero términos y después literales. Para el producto de sumas se hace lo mismo con los ceros de la función y cada término se complementa.
Ejemplo resuelto
AB + A’C + BC vale 1 en los minitérminos 1, 3, 6 y 7. Los primos son A’C (1, 3), BC (3, 7) y AB (6, 7). El minitérmino 1 necesita A’C y el 6 necesita AB; juntos también cubren 3 y 7, así que BC sobra: la forma mínima es AB + A’C (teorema del consenso). Los ceros 0, 2, 4, 5 dan el producto de sumas (A + C)(A’ + B).
Consejos
- Usa paréntesis al mezclar AND y OR: NOT es lo que más liga, luego AND, luego XOR y por último OR.
- Una expresión que se simplifica a 1 es una tautología; una que se simplifica a 0 nunca es verdadera.
- Para ver todas las filas, pega la expresión en el generador de tablas de verdad.