Dominar la suma de productos (SOP): tu guía para las funciones booleanas

TL;DR: La suma de productos (SOP) es una forma sistemática de convertir cualquier tabla de verdad en una expresión booleana: escribe un minterm por cada fila cuya salida sea 1 y después únelos con OR. La forma canónica es correcta, pero rara vez mínima; usa mapas de Karnaugh o álgebra de Boole para simplificarla.

El reto fundamental del diseño digital es traducir un comportamiento deseado —un conjunto de reglas expresadas como una tabla de verdad— a una disposición física de puertas lógicas. ¿Cómo salvar esta distancia de manera sistemática, sin adivinar?

La respuesta es la forma de suma de productos (SOP). SOP proporciona un método mecánico y repetible para convertir cualquier tabla de verdad en un circuito funcional a nivel de puertas. Es el primer paso importante para pasar de requisitos abstractos a hardware tangible.

¿Qué es la suma de productos?

En esencia, la forma de suma de productos escribe una expresión booleana aplicando OR a uno o más términos AND. En álgebra de Boole solemos llamar «suma» a la operación OR y «producto» a la operación AND.

Considera la expresión siguiente:

Aquí, $(A \cdot \overline{B})$ es un término producto y $(\overline{A} \cdot B)$ es otro. El símbolo + representa la operación OR, o la «suma» de estos productos. Esta estructura se traduce directamente en un circuito de dos niveles: un primer nivel de puertas AND que alimenta un segundo nivel formado por una sola puerta OR. Esa previsibilidad es el origen de su poder.

La unidad atómica: minterms

Para construir cualquier expresión SOP a partir de una tabla de verdad, primero debemos comprender su bloque fundamental: el minterm. Un minterm es un término producto especial que contiene todas las variables de la función, bien en forma directa o complementada.

Para una función con tres variables (A, B, C), hay $2^3 = 8$ minterms posibles. Cada minterm corresponde exactamente a una fila de la tabla de verdad.

La regla para crear un minterm es sencilla:

• Si el valor de la variable en la fila es 1, usa la variable directamente (por ejemplo, A).
• Si el valor de la variable en la fila es 0, usa el complemento de la variable (por ejemplo, $\overline{A}$).

Enumeremos los minterms de un sistema de tres variables:

Observa que cada minterm solo se evalúa como 1 para su combinación específica de entradas. Por ejemplo, $m_5$ ($A \cdot \overline{B} \cdot C$) solo es verdadero cuando A=1, B=0 y C=1. Para las otras siete combinaciones de entrada es falso. Los minterms son herramientas de precisión para dirigirse a filas individuales de una tabla de verdad.

De tabla de verdad a SOP: método de tres pasos

Una vez entendidos los minterms, convertir cualquier tabla de verdad en una expresión SOP es un proceso sencillo y mecánico.

Usemos como ejemplo una función de «mayoría de 2 entre 3». La salida Y es 1 solo cuando dos o más entradas son 1.

Paso 1: identifica todas las filas cuya salida sea 1. En nuestro ejemplo, la salida Y es 1 para las combinaciones de entrada 011, 101, 110 y 111.

Paso 2: escribe el minterm de cada una de estas filas. Usando la tabla anterior, los minterms correspondientes son $m_3, m_5, m_6,$ y $m_7$.

Paso 3: une todos los minterms con OR. Esto nos da la expresión SOP final de la función:

Esto se conoce como la forma SOP canónica, porque es una suma directa, sin simplificar, de todos los minterms relevantes. Describe perfectamente la función y podemos construir un circuito a partir de ella de inmediato.

Error habitual: forma canónica frente a forma mínima

Un punto de confusión común para el alumnado es suponer que la SOP canónica es la respuesta final. Aunque es funcionalmente correcta, casi nunca es la implementación más eficiente. A menudo usa más puertas y más entradas de las necesarias.

Vuelve a observar la expresión de nuestra función de mayoría. Podemos simplificarla mediante álgebra de Boole:

Este enfoque algebraico funciona, pero es propenso a errores en expresiones grandes. Un mapa de Karnaugh ofrece un método visual para simplificar SOP. Al agrupar los 1 de nuestra tabla de verdad en un mapa K, encontramos rápidamente una expresión mucho más simple:

Esta forma SOP mínima implementa exactamente la misma lógica, pero solo requiere tres puertas AND de dos entradas y una puerta OR de tres entradas, una mejora importante frente a las cuatro puertas AND de tres entradas y una puerta OR de cuatro entradas de la forma canónica. La lección está clara: la primera SOP que derives es el punto de partida para optimizar, no el destino.

Simulación en digisim.io

Construyamos la versión canónica y sin simplificar de nuestro circuito de mayoría para demostrar el concepto. Es la mejor manera de interiorizar el vínculo entre la ecuación y el hardware.

1. Configura las entradas: arrastra tres componentes Input desde la barra de herramientas al lienzo. Etiquétalos A, B y C.
2. Crea los minterms (términos producto):

• Para el primer minterm, $\overline{A} \cdot B \cdot C$, necesitarás una puerta NOT para la entrada A. Cablea la salida de esta puerta NOT, junto con las entradas B y C, en una puerta AND de tres entradas.
• Repite este proceso para los otros tres minterms: $(A \cdot \overline{B} \cdot C)$, $(A \cdot B \cdot \overline{C})$ y $(A \cdot B \cdot C)$. Tendrás un total de cuatro puertas AND de tres entradas.

3. Crea la suma: cablea las salidas de las cuatro puertas AND en una sola puerta OR de cuatro entradas.
4. Añade la salida: conecta la salida de la puerta OR final a un componente Output (o a un LED para obtener realimentación visual).

Ahora prueba el circuito. Alterna las entradas A, B y C. Verás que la salida solo está activa cuando al menos dos entradas están altas, exactamente como indica la tabla de verdad original. Has traducido con éxito una especificación a un circuito de lógica digital funcional.

La conexión SOP a NAND-NAND

Una de las propiedades más importantes de SOP es su asignación directa a la lógica NAND-NAND. En la tecnología CMOS, las puertas NAND son físicamente más pequeñas y más rápidas que las puertas AND u OR. Por suerte, cualquier expresión SOP se puede convertir en un circuito NAND-NAND de dos niveles mediante las leyes de De Morgan.

La conversión es mecánica. Partimos de nuestra función de mayoría mínima:

Aplica doble negación (que no cambia el valor):

Aplica la ley de De Morgan a la barra exterior:

Cada $\overline{AB}$ es una operación NAND, y la barra exterior sobre su producto también es una NAND. El resultado es un circuito NAND-NAND de dos niveles: tres puertas NAND de dos entradas que alimentan una puerta NAND de tres entradas. Es lógicamente idéntico a la implementación AND-OR, pero usa un solo tipo de puerta, lo que simplifica la fabricación y las bibliotecas de celdas.

Uso en el mundo real

La forma de suma de productos está integrada en la arquitectura de la computación moderna.

1. Matrices lógicas programables (PLA): son circuitos integrados utilizados para implementar lógica combinacional compleja. La estructura interna de una PLA es una manifestación física directa del concepto SOP. Consta de un «plano AND» programable (para crear términos producto), seguido de un «plano OR» programable (para sumar los productos). Los ingenieros definen una función especificando qué conexiones realizar en estos planos, construyendo en efecto un circuito SOP personalizado en hardware.
2. Decodificación de direcciones de memoria: cuando una CPU necesita leer o escribir en una ubicación concreta de memoria, coloca una dirección en el bus de direcciones. Los circuitos decodificadores del controlador de memoria deben identificar qué chip de memoria y qué fila o columna activar. Esta lógica suele implementarse mediante SOP. Por ejemplo, una señal para habilitar un bloque concreto de RAM podría ser Enable_Block_3 = A_{15} \cdot A_{14} \cdot \overline{A_{13}}. Este término producto garantiza que el bloque se seleccione solo cuando los bits de dirección de orden superior coinciden con ese patrón concreto. La lógica del mapa de memoria completo es una suma de estos términos producto.

La forma SOP proporciona un camino fiable y sistemático desde una idea hasta un circuito. Garantiza que cualquier función booleana, por compleja que sea, puede expresarse y construirse usando una estructura estándar de puertas AND-OR (o NAND-NAND) de dos niveles.

Continúa con la siguiente entrada de esta serie: Producto de sumas (POS), el dual derivado de los 0 de la tabla de verdad en lugar de sus 1. O avanza a los mapas de Karnaugh para una minimización visual de SOP.