2.2.

3 Tcnicas de simplificacin
Se tratan de herramientas que permiten tomar un circuito de cierta complejidad e ir
transformndolo poco a poco, en circuitos equivalentes cada vez ms sencillos,
utilizando para ello las equivalencias por resistencias paralelas, en serie y las
transformaciones Y-.
Mtodo algebraico
Para la simplificacin por este mtodo no slo basta con conocer todas las
propiedades y teoremas del lgebra de Boole, adems se debe desarrollar una
cierta habilidad lgico matemtica. Se comienza simplificando la siguiente funcin:
F=A*C+A*B*C+B*C+A*B*C+A*B*C
Observando cada uno de los sumandos se puede ver que hay factores comunes
en los sumandos2do,con 5to y 4to con 5toque conllevan a la simplificacin. Luego:
F=A*C+B*C+B*C*(A+A)+A*C*(B+B)
El trmino 5to se ha tomado dos veces, de acuerdo con el teorema 3 a+ a = a, y
aplicando el teorema 6 se tiene:
F=A*C+B*C+B*C+A*C
Repitiendo nuevamente el proceso:
F=A*(C+C)+B*(C+C)
F=A+B
Como se puede apreciar, el mtodo algebraico no resulta cmodo y lo que es
peor, una vez simplificada una ecuacin pueden quedar serias dudas acerca de si
se ha conseguido simplificarla al mximo.

2.2.3.1 Teoremas y postulados del algebra de Boole.

Un lgebra de Boole es toda clase o conjunto de elementos que pueden tomar dos
valores perfectamente diferenciados, que designaremos por 0 y 1 y que estn
relacionados por dos operaciones binarias denominadas suma (+) y producto (.)
(la operacin producto se indica en general simplemente mediante la ausencia de
smbolo entre dos variables) lgicos que cumplen los siguientes postulados:
Ambas operaciones son conmutativas, es decir, si a y b son elementos del
lgebra, se verifica:

a + b = b + a a * b = b*a
Dentro del lgebra existen dos elementos neutros, el 0 y el 1, que cumplen la
propiedad de identidad con respecto a cada una de dichas operaciones:
0+a=a

1*a = a

Cada operacin es distributiva con respecto a la otra:

a *(b + c) = a *b + a *c

a + (b*c) = (a + b)*(a + c)

d) Para cada elemento, a, del lgebra existe un elemento denominado, , tal que:
a+=1

a* = 0

Este postulado define realmente una nueva operacin fundamental que es la

inversin o complementacin de una variable. La variable se encuentra siempre
en un estado binario contrario al de a.

La operacin suma se asimila a la conexin en paralelo de contactos y la

operacin producto a la conexin en serie. El inverso de un contacto es otro cuyo
estado es siempre opuesto del primero, es decir est cerrado cuando aquel est
abierto y viceversa. El elemento 0 es un contacto que est siempre abierto y el
elemento 1 un contacto que est siempre cerrado. Adems se considera una
funcin de transmisin entre los dos terminales de un circuito de contactos, que
toma el valor 1, cuando existe un camino para la circulacin de corriente entre
ellos (cortocircuito) y el valor 0 al no existir dicho camino (Circuito abierto).

Teoremas.
Basndose en los postulados anteriores se deducen los teoremas que
expondremos seguidamente. Su demostracin se puede realizar algebraicamente
mediante la llamada tabla de verdad. La tabla de verdad de una expresin
algebraica binaria representa los valores que dicha expresin puede tomar para
cada combinacin, de estados de las variables que forman parte de la misma. Dos
expresiones algebraicas que tienen la misma tabla de verdad son equivalentes.
Teorema 1: Cada identidad deducida de los anteriores postulados del lgebra de
Boole permanece vlida si la operacin + y . y los elementos 0 y 1 se intercambian
entre s. Este principio, llamado de dualidad, se deduce inmediatamente de la
simetra de los cuatro postulados con respecto a ambas operaciones y ambos
elementos neutros.
Teorema 2: Para cada elemento a de un lgebra de Boole se verifica:
a+1=1

a*0 = 0

Teorema 3: Para cada elemento a de un lgebra de Boole se verifica:

a+a=a

a*a = a

Teorema 4: Para cada par de elementos de un lgebra de Boole a y b, se verifica:

a +ab = a

a*(a + b) = a

Esta ley se llama de absorcin.

Teorema 5: En lgebra de Boole, las operaciones suma y producto son
asociativas:
a +(b + c) = (a + b) + c = a + b + c
a*(b*c) = ( a*b)*c = a*b*c
Teorema 6: Para todo elemento de un lgebra de Boole se verifica:
=a

Teorema 7: En toda lgebra de Boole se verifica:

1) a+b+c+d+...=abcd
2) abcd...=a+b+c+d

2.2.3.2 Mapas de Karnaugh

Si se quiere realizar ecazmente la simplicacin de las funciones de conmutacin
se debe contar con un mtodo sistemtico que proporcione un camino para lograr
el objetivo de manera segura, un mtodo de este tipo son los mapas de Karnaugh,
que pueden ser aplicados en funciones de conmutacin hasta de seis variables.
Los mapas de Karnaugh no son ms que una extensin de los conceptos de las
tablas de verdad, diagramas de Venn y Minitrminos, lo que se evidencia en la
transformacin de un diagrama de Venn en un mapa de Karnaugh. Se considera
un diagrama de Venn (figura a) de dos variables A y B representadas mediante las
subdivisiones del conjunto universal.

En la figura b se observan las subdivisiones ajenas nicas del diagrama de Venn

representadas por las intersecciones: AB, AB; AB; A B; siendo estas ltimas no
ms que los Minitrminos de dos variables:m0, m1, m2, m3 (figura c). Se puede
ajustar las reas del diagrama de Venn de manera que todas sean iguales
conservando la caracterstica de que las reas adyacentes en el diagrama de
Venn tambin lo son en la figura d, pero ahora una mitad del diagrama representa
a la variable A y la otra mitad a la variable B. Puesto que cada cuadrado
representa un minitrmino se puede omitir la letra m y dejar slo el subndice
(figura e) siendo esta una forma del mapa de Karnaugh. En la figura f se puede
observar otra forma del mapa de Karnaugh en el que la asociacin de un cuadrado
de un mapa con una variable en particular, por ejemplo A, se indica como 0 para A
y 1para A. Es de notar la correspondencia de los mapas de Karnaugh con las
tablas de verdad ya que por cada minitrmino existe una fila en la tabla de verdad,
mientras que en el diagrama existe un cuadrado; esta observacin se extiende
tambin para los maxitrminos.

Para simplicar una funcin lgica por el mtodo de Karnaugh se llevan a cabo los
siguientes pasos:
1. Se dibuja el diagrama correspondiente al nmero de variables de la funcin
a simplicar.
2. Se coloca un 1 en los cuadros correspondientes a los trminos cannicos
que forman parte de la funcin en el caso de los minitrmino, mientras que
cuando se trabaja con maxitrminos se pone un 0.
3. Se agrupan mediante lazos los 1 de casillas adyacentes siguiendo
estrictamente las siguientes reglas:
a. Dos casillas son adyacentes cuando se diferencian nicamente en el
estado de una sola variable.
b. Cada lazo debe contener el mayor nmero de 1 posibles, siempre
que dicho nmero sea potencia de 2 (1, 2, 4, etc.).
c. Los lazos pueden quedar superpuestos y no importa que haya
cuadrculas que pertenezcan a dos o ms lazos diferentes.
d. Se debe tratar de conseguir el menor nmero de lazos con el mayor
nmero de 1posibles.
4. La funcin simplicada tendr tantos trminos como lazos posea el
diagrama. Cada trmino se obtiene eliminando la o las variables que
cambien de estado en el mismo lazo.

2.2.4 Implementacin y aplicacin de circuitos combinacionales.

La implementacin de un sistema combinacional consiste en traducir el enunciado
de un problema concreto a variables y funciones booleanas cuya tabla de verdad
permita encontrar un circuito lgico. Usando lgebra de Boole es posible obtener
una gran variedad de equivalencias entre smbolos de puertas lgicas y diagramas
de alambrado de circuitos lgicos. A continuacin se muestran slo algunas
equivalencias sencillas:

Solamente hay que recordar los smbolos y su tabla de verdad, la cual se observa
en la siguiente figura.

Empleando la expresin lgica de la funcin que realiza, se puede construir el

circuito lgico, para realizar esto se va escribiendo a la salida de cada puerta
lgica la expresin correspondiente en trminos de las entradas.
Aplicaciones de los circuitos combinacionales

Multiplexores
Codificadores
Decodificadores y Demultiplexores
Decodificadores excitadores.
Generadores comprobadores de paridad

Comparadores Binarios
Circuitos Sumadores
Circuitos Restadores.

Codificadores
Un codificador tiene varias lneas de entrada, slo una de las cuales se activa en
un momento dado, y produce un cdigo de salida de N bits, segn la entrada que
se active. La figura es el diagrama general de un codificador con M entradas y N
salidas. Aqu las entradas son activas en ALTO, lo cual significa que normalmente
son BAJAS.

Decodificador
Un decodificador es un circuito lgico que acepta un conjunto de entradas que
representan nmero binarios y que activan solamente la salida que corresponde a
dicho dato de entrada. En otras palabras, un decodificador mira a sus entradas,
determina que numero binario est presente y activa la salida correspondiente a
dicho nmero. Todas las otras salidas permanecern inactivas.

Multiplexor

Un multiplexor o selector de datos es un circuito lgico que acepta varias entradas

de datos y permite slo a una de ellas alcanzar la salida. La direccin deseada de
los datos de entrada hacia la salida es controlada por entradas de SELECCIN
(que algunas veces se conocen como entradas de DIRECCIN).La figura muestra
el diagrama funcional de un multiplexor general (MUX). En este diagrama las
entradas y salidas se trazan como flechas anchas en lugar de lneas; esto indica
que stas pueden ser una o ms lneas de seales.

Demultiplexador
Un multiplexor toma varias entradas y transmite una de ellas a la salida. Un De
multiplexor efectala operacin contraria; toma una sola entrada y la distribuye en
varias salidas. En otras palabras, el demultiplexor toma una fuente de datos de
entrada y la distribuye selectivamente a uno de N canales de salida, igual que un
interruptor de posiciones mltiples. En la figura siguiente se observa un
demultiplexor de cuatro salidas

2.3 Lgica Secuencial

A diferencia de los sistemas combinacionales, en los sistemas secuenciales, los

valores de las salidas, en un momento dado, no dependen exclusivamente de los
valores de las entradas endicho momento, sino tambin dependen del estado
interno. El sistema secuencial ms simple es el biestable, de los cuales, el de tipo
D (o cerrojo) es el ms utilizado actualmente. La mayora de los sistemas
secuenciales estn gobernados por seales de reloj. A stos se los denomina
"sncronos" o "sincrnicos", a diferencia de los "asncronos" o "asincrnicos" que
son aquellos que no son controlados por seales de reloj. En todo sistema
secuencial se encuentra:

Un conjunto finito, n, de variables de entrada (X1,X2,...,Xn)

Un conjunto finito, m, de estados internos, de aqu que los estados
secuenciales tambin sean denominados autmatas finitos. Estos estados
proporcionan m variables internas (Y1,y2,....,Yn)
Un conjunto finito, p, de funciones de salida (Z1,Z2,....Zn).

Los biestables y los ip ops son los bloques constitutivos de la mayora de los
circuitos secuenciales. Los sistemas digitales tpicos usan biestables y ip ops
que son dispositivos pre-empaquetados y especificados de manera funcional en
un circuito integrado estndar. En el ambiente ASIC (Application Specic
Integrated Circuit), los biestables y los ip ops son celdas tpicamente
predenidas especicadas por el vendedor de ASIC. Sin embargo, dentro de un IC
Integrated Circuit) estndar o un ASIC, cada biestable o ip op est diseado
como un circuito secuencial retroalimentado mediante compuertas lgicas
individuales y lazos de retroalimentacin.

Fuentes de informacin
http://es.scribd.com/doc/142138191/Unidad-2#scribd
https://sites.google.com/site/sistemasdemultiplexado/principios-de-electrnicadigital-y-puertas-lgicas/1-2-algebra-de-boole
file:///C:/Users/Fernando/Downloads/Algebra_Boole.pdf