 Suma de Productos y Producto de Sumas

Cuando se trabaja con expresiones booleanas, es deseable que estas se encuentren

expresadas en una de dos formas: como suma de productos o como producto de sumas.

Una suma de productos consiste de dos o más grupos de literales, cada literal es
recibida como entrada por un AND y la salida de cada una de estas compuertas (AND) es
recibida como entrada por una compuerta OR.

Ejemplo: AB + C’D+ E

Contraejemplo: A(B+C)D’E

Es decir, el circuito combinatorio de una suma de productos debe de tener el siguiente

patrón:

Un producto de sumas consiste de dos o más grupos de literales, cada literal es recibida
como entrada por un OR y la salida de cada una de estas compuertas (OR)es recibida como
entrada por una compuerta AND.

Ejemplo: (A+B)(C+D’)E

Contraejemplo: (A+B)(C+D’E)

Es decir, el circuito combinatorio de un producto de sumas debe de tener el siguiente

patrón:
  Ejemplo: Convertir a suma de productos la siguiente expresión: (A+BC)(A+D+C).

Esta expresión booleana es de la forma (X+Y)(X+Z) donde X = A, Y= BC y Z= D+E

Siguiendo la ley distributiva X+YZ = (X+Y)(X+Z) obtenemos (A+BC)(A+D+E)=
A+BC(D+E) que conduce a (A+BC)(A+D+E)= A+ BCD+ BCE.

Finalmente, los siguientes teoremas permiten convertir a producto de sumas o suma de

productos una expresión de manera sencilla:

(X+Y)(X’+Z)= XZ+ X’Y

XY+ X’Z= (X+Z)(X’+Y)

 Ejemplo: Convertir a suma de productos:

(A+B+C’)(A+B+D)(A+B+E)(A+D’+E)(A+C’)

 Ejemplo: Convertir a producto de sumas:

AC+ A’B’D+ A’BE+ A’C’DE

  Minitérminos

Para una función booleana de n variables x1,...xn, un producto booleano en el que cada
una de las n variables aparece una sola vez (negada o sin negar) es llamado minterms. Es
decir, un minterms es una expresión lógica de n variables consistente únicamente en el
operador conjunción lógica (AND) y el operador complemento o negación (NOT).

Por ejemplo, abc, ab'c y abc' son ejemplos de minterms para una función booleana con
las tres variables a, b y c.

En general, uno asigna a cada minterm (escribiendo las variables que lo componen en el
mismo orden), un índice basado en el valor binario del minterm. un término negado, como
a' es considerado como el numero binario 0 y el término no negado a es considerado como
un 1. Por ejemplo, se asociaría el número 6 con a b c'(1102), y nombraríamos la expresión
con el nombre m6. Entonces m0 de tres variables es a'b'c'(000 2) y m7 debería ser a b
c(1112).

 Función equivalente

Se puede observar que cada minterm solo devuelve 'verdadero' con una sola entrada de
las posibles. Por ejemplo, el minterm 5, a b' c, es verdadero solo cuando a y c son ciertos y
b es falso - la entrada a = 1, b = 0, c = 1 da resultado 1.

Si tenemos una tabla de verdad de una función lógica, es posible escribir la función
como "suma de productos". Por ejemplo, dada la tabla de verdad

a b f(a, b)

001
 010

101

110

Observamos que las filas con resultado 1 son la primera y la tercera, entonces podremos
escribir f como la suma de los minterms m0 y m2.

Si queremos verificar esto:

f(a,b) = m0 + m2 = (a'b')+(ab')

 Maxiterminos

Un maxterm es una expresión lógica de n variables que consiste únicamente en la

disyunción lógica y el operador complemento o negación. Los maxterms són una expresión
dual de los minterms. En vez de usar operaciones AND utilizamos operaciones OR y
procedemos de forma similar.

Por ejemplo, los siguientes son maxterms:

a+b'+c

a'+b+c

El complemento de un minterm es su respectivo maxterm. Esto puede ser fácilmente

verificado usando la Ley de Morgan. Por ejemplo:

m1' = M1

(a'b)' = a+b'

Para indexar maxterms lo haremos justo de la forma contraria a la que seguimos con los
minterms. Se asigna a cada maxterm un índice basado en el complemento del número
binario que representa (otra vez asegurándonos que las variables se escriben en el mismo
orden, usualmente alfabético). Por ejemplo, podemos asignar M6 (Maxterm 6) al
maxterma'+b'+c. De forma similar M0 de tres variables debería ser a+b+c y M7 es a'+b'+c'.

 Función equivalente
 Se puede ver fácilmente que un maxterm sólo da como resultado un cero para una única
entrada de la función lógica. Por ejemplo, el maxterm 5, a'+b+c', es falso solo cuando a y
cson ciertos y b es falso - la entrada a = 1, b = 0, c = 1 da como resultado un cero.

Si tenemos una tabla de verdad de una función lógica, es posible escribir la función
como "producto de sumas". Por ejemplo, dada la tabla de verdad

a b f(a, b)

001

010

101

110

Observamos que las filas que tiene como salida un 0 son la segunda y la cuarta, entonces
podemos escribir f como un producto de maxterms M1 y M3.

Si queremos verificar esto:

f(a,b) = M1 M3 = (a+b')(a'+b')