Producto de sumas (POS): forma booleana para una lógica eficiente

Resumen: El POS canónico aplica AND a un maxterm por cada fila cero; el SOP canónico aplica OR a un minterm por cada fila uno. Compara ambas formas después de minimizarlas.

La forma de suma de productos (SOP) es el punto de partida natural para la mayoría de los diseñadores: observas los 1 de una tabla de verdad, escribes los minterms y los combinas con OR. Pero SOP es solo la mitad de la historia. Su dual algebraico, el producto de sumas (POS), aborda el mismo problema desde la dirección opuesta: observa los 0 en lugar de los 1.

Cuando una tabla de verdad tiene menos ceros que unos, su POS canónico tiene menos cláusulas que minterms el SOP canónico. La minimización puede cambiar esa comparación, y tener menos términos escritos no implica automáticamente menos área, retardo o potencia después de la síntesis. POS se adapta naturalmente a una estructura OR-AND o NOR-NOR; SOP, a una AND-OR o NAND-NAND.

Descomposición del producto de sumas

En esencia, una expresión de producto de sumas (POS) es exactamente lo que indica su nombre: un producto lógico (AND) de uno o más términos de suma (OR).

Considera la forma general:

En esta expresión, cada término entre paréntesis —como $(A + B)$— es un «término de suma». Después estos términos de suma individuales se «multiplican» (se combinan lógicamente con AND) para producir la salida final, $Y$.

Esta estructura se traduce naturalmente en un circuito OR-AND de dos niveles. El primer nivel consta de puertas OR que crean los términos de suma y sus salidas alimentan una única puerta AND para obtener el producto final.

El bloque de construcción fundamental de una expresión POS canónica es el maxterm. Un maxterm es un término de suma que contiene todas las variables de la función, en su forma directa o complementada. Mientras un minterm (SOP) representa un único «1» de una tabla de verdad, un maxterm representa un único «0».

Explora el componente puerta OR

La convención de maxterms: el error crítico

Aquí es donde tropieza la mayoría de los estudiantes. Al pasar de SOP a POS, la convención sobre el significado de cada bit de una tabla de verdad cambia por completo.

En la convención SOP (minterms):

• Un «1» significa que la variable está en su forma directa ($A$).
• Un «0» significa que la variable está complementada ($\overline{A}$).

En la convención POS (maxterms) sucede exactamente lo contrario:

• Un «0» significa que la variable está en su forma directa ($A$).
• Un «1» significa que la variable está complementada ($\overline{A}$).

¿Por qué esta inversión? Parece contraintuitiva hasta que entiendes el objetivo. Una expresión POS canónica se construye a partir de las filas donde la salida de la función es 0. El objetivo de cada maxterm es producir un «0» para su combinación de entrada específica, y solo para esa combinación.

Tomemos un maxterm de 3 variables, $M_5$, que corresponde a la entrada binaria $101$ ($A=1, B=0, C=1$). Para que este maxterm evalúe a $0$, debemos construir una suma en la que cada literal evalúe a $0$ para esa entrada concreta.

• Para $A=1$, debemos usar su complemento, $\overline{A}$, que vale $0$.
• Para $B=0$, debemos usar su forma directa, $B$, que vale $0$.
• Para $C=1$, debemos usar su complemento, $\overline{C}$, que vale $0$.

El maxterm resultante es $M_5 = \overline{A} + B + \overline{C}$. Cuando la entrada es $101$, evalúa a $0 + 0 + 0 = 0$. Para cualquier otra combinación de entrada, al menos uno de los literales será $1$, lo que hará que todo el maxterm sea $1$. Este es el momento «¡ajá!»: la puerta AND al final de un circuito POS solo produce un $0$ si al menos una de sus entradas procedentes de las puertas OR cae a $0$.

De la tabla de verdad a la expresión POS

El proceso para derivar una expresión POS es sistemático. Veamos un ejemplo práctico. Supón que tenemos una función lógica $Y$ definida por la siguiente tabla de verdad:

Paso 1: identifica los ceros

Examine la tabla de verdad e identifique todas las combinaciones de entrada cuya salida $Y$ es $0$. Si 000 se numera como índice 0, los índices de entrada y números de maxterm son 1, 4 y 6; corresponden a las filas segunda, quinta y séptima de la tabla mostrada.

Paso 2: escribe el maxterm de cada cero

Aplica la convención de maxterms (0 = directo, 1 = complemento):

• Índice 1 (001): $A=0, B=0, C=1 \rightarrow (A + B + \overline{C})$
• Índice 4 (100): $A=1, B=0, C=0 \rightarrow (\overline{A} + B + C)$
• Índice 6 (110): $A=1, B=1, C=0 \rightarrow (\overline{A} + \overline{B} + C)$

Paso 3: aplica AND a los maxterms

La expresión POS final es el producto lógico:

Esto suele escribirse con la notación compacta Pi ($\Pi$):

La comparación canónica es de tres maxterms frente a cinco minterms. Todavía no es la mejor implementación. Las filas 4 (100) y 6 (110) solo difieren en B, así que sus celdas cero pueden agruparse:

Este POS minimizado tiene dos cláusulas. Un SOP minimizado para la misma función necesita una cobertura distinta. Compara las formas minimizadas y después asígnalas a celdas reales o LUT antes de afirmar que existe una ventaja de área, retardo o potencia.

Implementación de POS en digisim.io

La estructura OR-AND de POS es sencilla de construir en el lienzo de digisim.io. Las mismas ideas de forma canónica aparecen en nuestra guía de suma de productos y en la minimización con mapas de Karnaugh.

Guía de construcción

1. Entradas: coloca tres componentes INPUT_SWITCH para $A$, $B$ y $C$.
2. Inversión: usa puertas NOT para crear los complementos $\overline{A}$, $\overline{B}$ y $\overline{C}$.
3. Nivel OR: para nuestra expresión $Y = \prod M(1, 4, 6)$, arrastra tres puertas OR al lienzo.

• Conecta la primera OR a $A$, $B$ y $\overline{C}$.
• Conecta la segunda OR a $\overline{A}$, $B$ y $C$.
• Conecta la tercera OR a $\overline{A}$, $\overline{B}$ y $C$.

4. Nivel AND: arrastra una puerta AND de 3 entradas al lienzo.
5. Conexión final: conecta las salidas de las tres puertas OR a las entradas de la puerta AND. Conecta un OUTPUT_LIGHT a la salida final de AND.
6. Minimiza: construye $(A+B+\overline C)(\overline A+C)$ junto al circuito canónico y verifica que coincidan las ocho filas.

Abre la plantilla de lógica universal

Verificación con el osciloscopio

Para inspeccionar la temporización de un circuito POS, usa OSCILLOSCOPE_8CH. Conecta los tres primeros canales a tus entradas ($A, B, C$) y el cuarto canal a la salida final $Y$.

Al alternar los interruptores, Y es baja para 001, 100 y 110. Registra los ocho pares entrada/salida en lugar de fiarte de la impresión visual de que POS «filtra estados prohibidos»; son simplemente las filas cero de esta función especificada.

Error habitual: entradas flotantes y retardo de propagación

Al construir circuitos POS, los principiantes suelen olvidar que una puerta AND con una entrada flotante puede comportarse de forma impredecible. En digisim.io, asegúrate de que todas las entradas estén conectadas a un CONSTANT o a un INPUT_SWITCH.

En un circuito POS conceptual de dos niveles, un camino de datos atraviesa un nivel OR y un nivel AND, además de cualquier inversión de entrada necesaria. La temporización física también incluye el retardo de las celdas, el fan-in, el enrutamiento, la carga, la pendiente de entrada y los requisitos de salida. Una implementación SOP, POS, factorizada o basada en LUT puede ser mejor según el objetivo. Usa análisis temporal en lugar de sumar un retardo OR y AND genérico.

Aplicaciones reales: dónde brilla POS

¿Por qué usar POS si SOP es «más fácil»? Porque en el mundo real a menudo definimos los sistemas por sus fallos o excepciones.

1. Lógica de direcciones y elegibilidad

Las funciones de selección de direcciones pueden expresarse a partir de regiones coincidentes o regiones excluidas. POS es conveniente cuando un número pequeño de condiciones cero se combina limpiamente; para intervalos, las comparaciones de prefijos y los decodificadores factorizados suelen ser más claros. La mejor implementación depende del mapa y del objetivo, no de una regla de la época del Intel 8086.

2. Lógica de permisos

Un permiso lógico puede requerir varias cláusulas, por ejemplo:

Esto es un producto de condiciones de un solo literal. De forma equivalente, shutdown = high_pressure OR high_temperature OR e_stop y RUN = NOT shutdown. Estas ecuaciones booleanas son útiles para la especificación, pero un enclavamiento con clasificación de seguridad también necesita detección de fallos, un comportamiento desenergizado definido, diagnósticos, hardware validado y cumplimiento de las normas de seguridad aplicables. La notación POS por sí sola no ofrece ninguna de esas garantías.

La conexión POS con NOR-NOR

Al igual que SOP se adapta naturalmente a la lógica NAND-NAND, POS se adapta a la lógica NOR-NOR. La conversión usa las leyes de De Morgan y sigue el mismo patrón.

Partiendo de nuestro ejemplo:

Aplica una doble negación:

Aplica De Morgan a la barra exterior (el producto se convierte en suma y cada factor se complementa):

Cada $\overline{(A + B + \overline{C})}$ es una operación NOR (teniendo en cuenta las entradas complementadas), y la expresión exterior también es una NOR. El resultado es un circuito NOR-NOR de dos niveles.

La correspondencia estructural es la idea clave: SOP puede traducirse a NAND-NAND y POS a NOR-NOR mediante las leyes de De Morgan. Eso no obliga a una implementación concreta. Una biblioteca puede favorecer determinadas celdas y la síntesis puede factorizar o reasignar la expresión.

SOP frente a POS: cuándo usar cada una

En el ejemplo, el POS canónico tiene tres maxterms y el SOP canónico tiene cinco minterms. Después de minimizar, POS tiene dos cláusulas. Eso hace atractivo POS para esta función, sujeto a la asignación al objetivo y a la temporización.

Conclusión

El producto de sumas enseña a mirar los ceros de un problema: las excepciones, los errores y los estados prohibidos. Al dominar POS y SOP, obtienes la flexibilidad de elegir la implementación más eficiente para cualquier función, ya sea con menos puertas, menor retardo de propagación o un mejor ajuste a la tecnología objetivo.

Lo siguiente en esta serie: simplifica visualmente cualquier función con mapas de Karnaugh, o abre la referencia del componente puerta OR y construye el circuito OR-AND de este artículo.