SIMPLIFICACIN DE FUNCIONES POR

ALGEBRA DE BOOLE. TABLA DE LA VERDAD.

FORMAS CANNICAS.

Gracias a los postulados y teoremas vistos en el tema anterior podemos

simplificar cualquier funcin Booleana. Entindase por simplificar a
que podemos reducir a la misma a otra funcin que use menos
compuertas o incluso menos variables que la original y an as obtener
los mismos resultados. La utilidad de sto es evidente ya que a la hora
de implementar nuestro diseo digital, haremos uso de menos
componentes reduciendo as el tamao del circuito y facilitando tambin
dicha implementacin.
Existen varias formas para reducir una funcin lgica y algunas de ellas
sern vistas en los prximos temas pero en ste en particular, haremos
las reducciones basndonos slo en reglas del lgebra de Boole, o sea,
manipulaciones algebraicas. Para este tipo de simplificacin, no existen
reglas preestablecidas. La mejor forma de simplificar una funcin de
Boole por manipulacin algebraica es por medio del tanteo por lo que el
mejor amigo en este tipo de procedimiento es la prctica.
Veamos a continuacin ejemplos de simplificaciones de funciones de
Boole.
A + A'B

Sabemos, por ley distributiva, que sto es igual a: (A + A')(A +

B)
como A + A' = 1, entonces:
A + A'B = A + B
Queda claro que la reduccin es importante ya que la primera usa una
compuerta OR, una NOT y una AND, mientras que la segunda slo usa
una OR. Excelente. Ahora, haciendo uso de la tabla de la verdad que
vimos en el tema anterior, veamos si ambas funciones obtienen el
mismo resultado:

A + A'B

A+B

En efecto, amblas tablas de la verdad muestran el mismo resultado.

Veamos ms ejemplos.
A(A' + B)
Por ley distributiva, sto es igual a AA' + AB y como por por el
postulado 2, AA' = 0, entonces:
A(A' + B) = AB

COMENTARIO: Debido al principio dualidad que manifiesta el lgebra de

Boole, esa conclusin era de esperarse. Este ejemplo es, por dualidad, la
contraparte del primero.
Veamos las tablas de la verdad:

A(A' + B)

AB

Correcto.
ATENCIN: Estos ejemplos son bastante sencillos. Este tipo de
reduccin no es tan fcil para funciones ms complejas. Por eso
coment que la mejor forma de entender este mtodo es "practicando".
A continuacin, ms ejemplos:
Simplificar:
1. (x + y)(x + y')
2. xyz + x'y + xyz'
3. (x + y)'(x' + y')'
4. B(DC' + DC) + AB
Respuestas:
Para el nmero 1:

(x + y)(x + y') por distributiva = xx + xy' + yx + yy'

Por conmutativa: yx = xy. Por trminos complementarios yy' = 0, por lo
tanto:
= xx + xy + xy' = por distributiva x(x + y + y') = por asociativa x(x + (y
+ y')), pero como y + y' = 1, entonces
= x(x + 1) = x (1) = x
Respuesta: (x + y)(x + y') = x
Este ejemplo es interesante ya que vemos que la funcin no slo redujo
los componentes (y de hecho los redujo de dos OR, una AND y un NOT a
cero componentes) sino que tambin redujo el nmero de variables
requeridas. Aqu se concluye que la variable 'y' no tiene efecto en el
resultado lgico de la funcin. Veamos la tabla de la verdad de la
funcin de Boole original:

(X+Y)(X+Y')

Se ve que la funcin tiene el mismo valor que 'x'.

Para la 2:

xyz + x'y + xyz' por distributiva = xy(z +z') + x'y = xy(1) +x'y = y(x +
x') = y
Se observa que se reducen el uso de tres variables, 5 AND, 2 OR y 2
NOT a una lnea directa desde una variable (sin compuertas). Veamos la
tabla de la verdad de la funcin y veamos si coincide con la variable y

X Y Z

XYZ+X'Y+XYZ'

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

PERFECTO!!!
El tercer caso:
(x + y)'(x' + y')' = (x'y')(xy) = xx'yy' = 0
Qu tal? Se us distributivo, teorema de Morgan, asociativo y ley de los
complementos (xx' = 0). Veamos la tabla de la verdad de la funcin:

Y (x+y)'(x'+y')'

0 0

1 0

0 0

1 0

Siempre resulta cero.

El ltimo:
B(DC' + DC) + AB = B(D(C + C')) + AB = BD + AB = B(D+A)
reduciendo 4 variables, 4 AND, 2 OR y una NOT a slo 3 Variables, una
AND y una OR. Veamos la tabla de la verdad:

A B

C D B(DC'+DC)+AB

B(D+A)

0 0

0 0

0 1

0 1

1 0

1 0

1 1

1 1

0 0

0 0

0 1

0 1

1 0

1 0

1 1

1 1

Siga haciendo ejercicios. La simplificacin de funciones lgicas o de

Boole es una parte importante en el diseo de aplicaciones lgicas.
DEFINICIONES: Un literal no se refiere ms que a una variable de la
funcin o a su complemento (A, B , x, y', etc). El ejemplo dos anterior,
antes de la simplificacin, tiene 8 literales. Un trmino es una operacin
que usa slo una compuerta lgica sin importar el nmero de literales
que sta tenga. Por ejemplo XYZ' es un trmino de 3 literales. Slo usa
una compuerta AND para X, Y y Z'. El ejemplo dos anterior tiene 3
trminos.

Complemento de una funcin

Cuando invertimos una funcin lgica F (eso quiere decir que
cambiamos los ceros por uno y viceversa) obtenemos la funcin
invertida F' lo cual se conoce como el complemento de F. Para calcular el
complemento de una funcin Booleana podemos ayudarnos con el
teorema de Morgan que vimos en el tema anterior. En aquella
oportunidad vimos el teorema con slo dos literales pero es fcilmente
demostrable que tambin aplica a casos de 3 o ms literales (de hecho,
hganlo como ejercicio: Demostrar que (A+B+C)' = A'B'C'). El ejemplo
ms sencillo sera que si tenemos F = A, el complemento de F sera F' =

A'. En el caso de funciones ms complejas, puede usarse el teorema de

Morgan tantas veces como sea necesario. Veamos algunos otros
ejemplos:
Siendo F1 = A'BC' + A'B'C y F2 = A(B'C'+BC), halle los complementos de
ambas funciones.
Respuestas:
F1' = (A'BC'+A'B'C)' que por Morgan es = (A'BC')'(A'B'C)' Por Morgan en
ambos trminos negados = (A+B'+C)(A+B+C')
F2' = (A(B'C'+BC))' = A' + (B'C'+BC)' = A' + ((B'C')'(BC)') = A' +
(B+C)(B'+C') que a su vez puede simplificarse a = A' +
(BB'+BC'+B'C+CC') = A' + BC' + B'C
El complemento de una funcin tambin puede ser hallado consiguiendo
el dual de la funcin y luego invirtiendo todos sus literales.

FORMAS CANNICAS
Trminos mnimos y mximos
Sabemos que podemos expresar el complemento de una variable gracias
al uso del tilde ( ' ). Para el caso de que una funcin contenga dos
variables A y B, con los que se puede formar los cuatro literales A, B , A'
y B', existen slo cuatro posibilidades de combinar stas (o sea, 4
trminos) a travs de una AND y stas son: AB, AB', A'B y A'B'. A cada

una de estas cuatro combinaciones se les conoce como trmino mnimo

( minterm) y su designacin es mk donde k es un nmero entre 0 y 2n1.
Se dice que un trmino es normal cuando las variables aparecen slo
una vez en dicho trmino ya sea en su forma directa o invertida (A o A').
Un trmino producto es aquel en el que los literales que contiene estn
relacionados slo por una operacin AND, por ejemplo (AB), (AB'C), (AD),
etc. Por eso a los trminos mnimos tambin se les conoce como
trminos mnimos del producto normalizado.
Teniendo las mismas variables del caso anterior, existen cuatro
trminos posibles de expresar a travs de compuertas OR y estos son:
(A+B), (A'+B), (A+B') y (A'+B'). A cada uno de stos se les conoce como
trmino mximo ( maxterm) y su designacin es Mk donde k es un
nmero entre 0 y 2n-1.
Un trmino suma es aquel en el que los literales que contiene estn
relacionados slo por una operacin OR, por ejemplo (A+B), (A+C),
(A+D+E), etc. Por eso a los trminos mximos tambin se les conoce
como trminos mximos de la suma normalizada.
Los casos vistos anteriormente son con dos variables pero existen
trminos mnimos y mximos para cualquier nmero de ellas. Teniendo
n variables posibles, el nmeros de trminos mximos y mnimos ser
siempre igual a 2n que sern las representaciones de todos los casos

entre 0 y 2n 1. Veamos una tabla que muestra sto para un caso de 3

variables.

Variables

Trminos mnimos

Trminos mximos

Trmino Designacin

Trmino

Designacin

x'y'z'

m0

x+y+z

M0

x'y'z

m1

x+y+z'

M1

x'yz'

m2

x+y'+z

M2

x'yz

m3

x+y'+z'

M3

xy'z'

m4

x'+y+z

M4

xy'z

m5

x'+y+z'

M5

xyz'

m6

x'+y'+z

M6

xyz

m7

x'+y'+z'

M7

Vase en la tabla que para cada combinacin binaria posible, el trmino

mnimo ser aquella que haga 1 el resultado a travs de la AND y el
trmino mximo ser el que haga 0 el resultado de la OR. Ambas son
situaciones nicas. Para cada combinacin binaria posible existe uno y
slo un trmino mnimo y slo un trmino mximo. Observe tambin
que son 3 variables, hay 2n = 23 = 8 combinaciones y que para los mk y
Mk, k va entre 0 y 2n 1 que se representa con el nmero decimal
correspondiente a la combinacin binaria (Ej: xyz = (101)2 = (5)10,
entonces k=5).
Dada cualquier tabla de la verdad, es posible expresar algebraicamente
una funcin lgica a travs de sus trminos mnimos. sto es creando

dicha funcin para que contenga una OR entre todos los trminos
mnimos que hacen que dicha funcin sea 1. Por ejemplo, si la funcin
se hace uno cuando las variables son 010 entonces dicha funcin
contendr el trmino mnimo x'yz' que es el trmino que se hace 1 para
esa combinacin. Para profundizar un poco ms, veamos la siguiente
tabla de la verdad:

F1

F2

Entonces, F1 = 1 para:
F1 = x'y'z + x'yz' + x'yz + xyz (que es una OR entre m1, m2, m3 y m7)
y F2 = 1 para:
F2 = x'y'z' + x'y'z + xy'z + xyz' + xyz (que es una OR entre m0, m1, m5,
m6 y m7)
CONCLUSIN: Cualquier funcin lgica puede ser expresada a travs de
una suma (OR) de trminos mnimos.

Se puede formar el complemento de una funcin a travs de trminos

mnimos haciendo una OR entre todos aquellos que hagan a dicha
funcin 0. Por ejemplo, para la tabla de la verdad anterior:
F1' = x'y'z' + xy'z' + xy'z + xyz'
aplicando Morgan a esta funcin llegamos a que tambin es posible
expresar algebraicamente una funcin lgica a travs de sus trminos
mximos y sto se hace creando una funcin que contenga una AND
entre todos los trminos mximos que hacen que la misma sea 0. Segn
la misma tabla de la verdad anterior:
F1 = (x+y+z)(x'+y+z)(x'+y+z')(x'+y'+z) = M0M4M5M6
De forma anloga:
F2 = M2M3M4
Recuerden sto: LO QUE SIEMPRE BUSCAMOS EN UNA FUNCIN DE

BOOLE ES LA COMBINACIN QUE HAGA QUE DICHA FUNCIN

SEA CIERTA O UNO (1). Se ve que si uno de los trminos suma es cero
entonces la funcin se har cero tambin. Por ellos la funcin NO puede
contener ninguno de los trminos mximos si queremos que se haga
cierta dicha funcin.
CONCLUSIN: Cualquier funcin lgica puede ser expresada a travs de
un producto (AND) de trminos mximos.

A las funciones de Boole que estn expresadas como un producto de

trminos mximos o una suma de trminos mnimos se le conoce como
FORMA CANNICA de la funcin.
Algunas veces se hace conveniente expresar una funcin lgica en su
forma cannica, digamos como una suma de trminos mnimos. Pero
hay veces que la funcin no contiene a todos los literales posible para el
trmino. En esta caso lo que se hace es aprovechar los postulados de
identidad y ley conmutativa para agregar al trmino los literales
faltantes. Cmo? Inspeccionamos toda la funcin. Si vemos que en
alguno de sus trminos falta una variable, digamos que A, entonces
hacemos una AND del trmino con (A+A'). Como (A+A')=1 no alteramos
el resultado del trmino. Luego aplicamos propiedad distributiva.
Veamos un ejemplo para clarificar este punto:
Sea F = BC + AC' + AB, para hallar la forma cannica de esta funcin
debemos hacer:
= BC(A+A') + AC'(B+B') + AB(C+C') = ABC +A'BC + ABC' + AB'C' + ABC
+ ABC', que por absorcin es:
= ABC + A'BC + ABC' +AB'C' que son m7, m3, m6 y m4
NOTA: Como ejercicio, simplifique la expresin anterior a cuatro
literales.
Hay ocasiones en las que expresar una funcin de Boole a travs de su
tabla de la verdad o de una de sus formas cannicas se hace tedioso

debido a lo largo que se hara el trabajo. Es por ello que existe una
forma de mostrar la misma funcin pero de manera abreviada. sto se
hace expresando las funciones a travs de una sumatoria
(matemticamente expresada por el signo Sigma mayscula
una productoria (expresada por el signo PI maysculo

) o de

usado tambin

en los factoriales). La forma incluir de un lado el nombre de la funcin

(regularmente F Fn) y las variables que contiene entre parntesis y del
otro lado de la igualdad el nmero del trmino mnimo a incluir si es
una sumatoria o el nmero de trminos mximos si es una productoria
con su respectivo signo sigma o pi. Tomemos como base las funciones
F1 y F2 con las que hemos estado trabajando. Entonces:
F1(x,y,z) =

(1,2,3,7) = (0,4,5,6)

y
F2(x,y,z) =

(0,1,5,6,7) = (2,3,4)

Se conoce como Forma normalizada de una funcin a una funcin de

Boole ya sea expresada como una suma de productos o un producto de

sumas donde en cada trmino aparece uno de los literales ya sea una,
dos o cualquier nmero de veces. Las formas cannicas son formas
normalizadas de la funcin pero existen otras formas que no contienen
todos los literales. Por ejemplo: F = x + x'y + xy'z es una forma
normalizada de una funcin lgica ya que est compuesta por una suma
de tres trminos productos con uno, dos y tres literales

respectivamente. La forma dual de esa funcin: F = x(x'+y)(x+y'+z)

tambin es una funcin en su forma normalizada ya que contiene el
producto de tres sumas. Son tres trminos sumas con uno, dos y tres
literales respectivamente. Por otra parte NO es una forma normalizada: F
= (xy + wz)(x'y' + w'z'), pero puede convertirse en una si se aplica la
propiedad distributiva, siendo entonces la suma de productos obtenida
la siguiente: F = xyw'z' + x'y'wz (atencin: los otros dos trminos
resultantes del postulado distributivo son cero y se omitieron)
Lo que queda ahora es hacer ejercicios. En la prxima clase virtual se
vern algunos.