Calculadora de producto de sumas con maxtérminos

Indique el número de variables de entrada y los índices de esas filas, y la calculadora convertirá cada índice en su asignación binaria, escribirá el maxtérmino correspondiente y reunirá todos los términos en una expresión POS canónica. El resultado incluye además la notación compacta de producto de maxtérminos, los índices ordenados, los nombres de las variables y un desglose verificable término por término.

Convierta las filas de cero en maxtérminos canónicos

La forma POS canónica parte de las filas de la tabla de verdad donde la función booleana vale cero. Numere las filas en orden binario normal, usando la primera variable como bit más significativo, e introduzca esos números como lista de maxtérminos. Para cada fila elegida, la calculadora completa la representación binaria hasta el número de variables declarado y construye una suma que contiene cada variable una sola vez. Un bit cero produce la variable sin complementar; un bit uno produce la variable complementada, indicada con un apóstrofo. Esta polaridad hace que la suma resultante valga cero precisamente para esa asignación. Por ejemplo, 101 para A, B y C genera (A' + B + C'). Los índices se ordenan antes de formar el resultado, de modo que una entrada desordenada sigue produciendo el orden canónico ascendente. Los índices repetidos se rechazan porque la lista representa un conjunto de filas y repetir un factor no aporta información lógica. El desglose conserva juntos el índice, la fila binaria, los literales y la suma completa para facilitar la comprobación.

Lea y compruebe el resultado del producto de sumas

La expresión principal coloca los maxtérminos uno junto a otro, lo que representa multiplicación booleana: cada término OR entre paréntesis se combina mediante AND. La notación complementaria emplea ΠM y los índices ordenados de las filas cero, una forma abreviada habitual en cursos de lógica, especificaciones, mapas de Karnaugh y documentación de diseño digital. La comprobación es mecánica. Elija un índice de la lista, asigne sus bits binarios a las variables y examine el término correspondiente. Cada literal se vuelve cero, por lo que ese término vale cero y obliga a que todo el producto valga cero. En una fila no incluida, ninguno de los maxtérminos está construido para anularse con esa asignación completa; todas las sumas incluidas permanecen en uno y el producto vale uno. Así se confirma que la expresión representa exactamente el conjunto de ceros suministrado. El orden de variables se conserva porque modificarlo cambia la interpretación numérica de todas las filas. Si proporciona nombres propios, deben ser identificadores válidos, únicos y tantos como variables; en caso contrario se generan nombres predeterminados.

Integre la forma POS canónica en su diseño lógico

El producto de sumas canónico es una representación exacta, aunque no siempre sea el circuito más pequeño. Resulta especialmente útil como puente fiable entre una tabla de verdad y la optimización posterior. Confirme primero las filas cero, genere la expresión POS y use el detalle de los términos para detectar errores de índice, orden de bits o complementación antes de simplificar. Después puede agrupar ceros en un mapa de Karnaugh, aplicar álgebra booleana o enviar la expresión a otro proceso de minimización. Conservar la forma canónica junto a la minimizada ofrece a quienes revisan el diseño una referencia trazable para demostrar que la optimización no cambió la función. El método también ayuda con comportamientos activos en nivel bajo, diseños basados en decodificadores y vectores de prueba, pues cada maxtérmino señala una asignación deshabilitada concreta. La entrada se limita a dieciséis variables y cada índice debe pertenecer al intervalo de la tabla correspondiente. El cálculo es determinista, sin red, estado almacenado, azar ni reloj. El navegador es gratuito y cada ejecución automatizada por API cuesta $0.002.