Escuela Universitaria de Ingeniera Tcnica Industrial de Bilbao

Universidad del Pas Vasco / Euskal Herriko Unibertsitatea

ELECTRONICA INDUSTRIAL

ALGEBRA DE BOOLE

SANCHEZ MORONTA, M - UGALDE OLEA, U.

 Algebra de Boole

1.1. Algebra de Boole

1.2. Algunos teoremas del Algebra de Boole
1.3. Formas cannicas de una funcin Booleana
1.4. Funciones lgicas
1.5. Tablas de verdad
1.6. Obtencin de la tabla de verdad a partir de una funcin lgica
1.7. Obtencin de una funcin lgica como suma de productos
1.8. Obtencin de una funcin lgica como producto de sumas
1.9. Transformacin en forma cannica minterms de funciones
1.10. Transformacin en forma cannica maxterms de funciones

2
 Algebra de Boole

Es un tipo de algebra que basandose en la teora de conjuntos se aplica

a sistemas matemticos en los que solo existen dos elementos
posibles: 0 y 1. De ah la posibilidad de ser aplicada al anlisis y diseo
de circuitos digitales, simplemente utilizando el siguiente convenio:
- Presencia de tensin = 1
- Ausencia de tensin = 0
El algebra de Boole, tiene la peculiaridad de tener solamente dos
operaciones ( + y ), que no debemos asociarlos con la suma y el
producto que conocemos.

3
 Algunos teoremas del algebra de Boole

Teorema : La inversa de la suma lgica (funcin O), es igual al

producto lgico (funcin Y) de las inversas de las variables.
Tabla de verdad del enunciado del Teorema
A B A B A + B (A + B) A B
0 0 1 1 0 1 1
0 1 1 0 1 0 0
1 0 0 1 1 0 0
1 1 0 0 1 0 0
Lo cual nos demuestra como los valores que toma (A + B) son
idnticos a los que toma A B

4
 Algunos teoremas del algebra de Boole

Teorema : La inversa de un producto lgico (funcin Y), es igual a la

suma lgica (funcin O) de las inversas de las variables.
Tabla de verdad del enunciado del Teorema
A B A B A B (A B) A+ B
0 0 1 1 0 1 1
0 1 1 0 0 1 1
1 0 0 1 0 1 1
1 1 0 0 1 0 0
Los dos teoremas mostrados constituyen los Teoremas de Morgan,
pues mediante estos, una funcin O puede transformarse en una
funcin Y, y viceversa.

5
 Formas cannicas de una funcin Booleana

Las ecuaciones o expresiones Booleanas pueden adoptar dos

estructuras o formas tpicas, denominadas Formas Cannicas.
Dichas formas son:
- Ecuacin con estructura minterms: Esta ecuacin est estructurada
como una suma de trminos en forma de productos de las diferentes
variables que intervienen en la ecuacin. Ejemplo: x = a.b.c + a.b.c +
a.b.c
- Ecuacin con estructura maxterms: Se dispone como un producto de
trminos en forma de suma de las diferentes variables que intervienen
en la ecuacin. Ejemplo: y = ( a + b + c ) ( a + b + c) ( a + b + c ) ( a + b
+ c)

6
 Funciones lgicas

-Una variable Booleana X ( o digital, si hablamos de electrnica), es

aquella que solo puede tomar dos valores posibles ( 0 y 1).
- Una funcin Booleana o lgica es una combinacin de operaciones y
+ sobre operandos que son variables Booleanas, por lo tanto una
funcin lgica, no es ms que una funcin en la que empleamos el
algebra de Boole.
Ejemplo, la funcin lgica F = a.b + c.a + b.c tiene tres variables ( a, b,
c), y las dos operaciones posibles ( + y ). Si asignamos los valores a =
1, b = 1, c = 0 y sustituimos en la funcin, obtendremos: F = 1 . 1 + 0 . 1
+ 1 . 0 = 1, pues operando segn la tabla de verdad de las operaciones
+ y se obtiene dicho resultado.

7
 Tabla de verdad

Una tabla de verdad es la representacin de los valores que pueden

tomar las variables de una funcin lgica y los valores de la misma. La
tabla de verdad de la fig. siguiente puede ser la tabla de verdad de una
pequea mquina que multiplicase dos nmeros a y b, siendo F el
resultado.
a b F
0 0 0
0 1 0
1 0 0
1 1 1

A partir de la tabla de verdad podemos obtener la funcin lgica

correspondiente, y a la inversa, a partir de una funcin lgica podemos
obtener su tabla de verdad.

8
 Obtencin de la tabla de verdad a partir de una funcin lgica

Si disponemos de una funcin lgica podemos obtener su tabla de

verdad sin ms que dar valores a las variables de la misma, e ir
obteniendo los resultados correspondientes. Sea la funcin de tres
variables: F = a + b.c
Damos valores a cada una de las variables y realizamos las operaciones
correspondientes, colocando los resultados en una tabla.
a b c F
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1

9
 Obtencin de la funcin lgica a partir de una tabla de verdad

Si disponemos de una tabla de verdad, existen dos mtodos para

obtener la funcin lgica de esta tabla de verdad. Estos mtodos
obtienen la funcin lgica como suma de productos o como productos
de sumas (suma y productos lgicos).
- Negacin de una variable: La notacin empleada normalmente en
algebra de Boole y en Electrnica Digital, escribe las variables negadas
con una raya encima o con un apostrofe: a o a es la negacin de a.
Una variable puede tomar dos valores 0 1. Si a es 1 su negado es 0 y
viceversa, si a es 0 su negado es 1.

10
 Obtencin de la funcin lgica como suma de productos

Se tiene en cuenta los 1 de la funcin. Para obtener la funcin lgica,

sumamos los productos de todas las variables de entrada, negadas si
tienen valor 0, y sin negar si tienen valor 1, de cada fila cuyo resultado
sea un 1.
Ejemplo: Sea la tabla de verdad siguiente
a b F
0 0 0
0 1 0
1 0 0
1 1 1

Solo exste una fila que tenga como resultado un uno, que es la ltima.
Luego la funcin resultante ser: F = a.b

11
 Obtencin de la funcin lgica producto de sumas

En este caso lo que se tiene en cuenta son los 0 de la funcin. Ahora

escribiremos el producto de las sumas de todas las variables, negadas si
tienen valor 1 y sin negar si tienen valor cero, cuya fila tenga como
resultado un 0.
Ejemplo: Sea la tabla de verdad siguiente
a b F
0 0 0
0 1 0
1 0 0
1 1 1
F = (a + b).(a + b).(a + b)

12
 Transformacin en forma cannica minterms de funciones

Para transformar en forma cannica minterms una funcin incompleta

a un minterms completo, se multiplica a cada sumando por el
trmino (a + a), (b + b), (c + c), etc. Segn sean las variables que faltan
en cada sumando de la funcin.
Ejemplo:
Transformar en forma cannica minterms la siguiente funcin:
F = a.b.c + a + b.d
Esta funcin se transforma en :
F = a.b.c(d + d) + a (b + b).(c + c).(d + d) +b.d.(a + a).(c + c)
seguidamente se realizarn los productos y se simplifica.

13
 Transformacin en forma cannica maxters de funciones

Para transformar en forma cannica maxterms una funcin incompleta

a maxterms completa, se suma a cada factor el trmino (a.a), (b.b),
(c.c), etc. Segn las variables que falten.
Ejemplo:
Transformar en maxterms completo la funcin:
F = (a + b).b.(c + b)
Esta funcin se transforma en:
F = (a + b + c.c).(b + a.a + c.c).(c + b + a.a)

14
 Simplificacin de funciones

1.1. Mtodos tabulares de simplificacin

1.2. Mapas de Karnaugh
1.3. Representacin de ecuaciones Booleanas en mapas de Karnaugh
1.4. Simplificacin de funciones en mapas de Karnaugh
1.5. Trminos indiferentes en una funcin Booleana

15
 Mtodos tabulares de simplificacin

Existen bastantes mtodos para realizar la simplificacin de ecuaciones

booleanas, si bin, en la prctica, son solo dos los ms utilizados:

- MAPAS DE KARNAUGH: Se pueden utilizar para simplificar funciones

de dos a seis variables, aunque habitualmente solo se emplee para
funciones de dos a cinco variables.

- TABLAS DE QUIN-McCLUSKEY: Se emplean para simplificar ecuaciones

de cualquier nmero de variables, pero se utilizan solamente a partir
de cinco variables.

16
 Mapas de Karnaugh

Estn constituidos por una cuadricula en forma de encasillado, y cuyo

nmero de casillas depende del nmero de variables que tenga la
funcin a simplificar. Cada una de las casillas representa las distintas
combinaciones de las variables que puedan existir.

Las figuras muestran mapas de dos, tres y cuatro variables.

17
 Representacin de ecuaciones Booleanas en mapas de Karnaugh

Cuando representamos una ecuacin en forma de minterms,

pondremos un 1 en la casilla correspondiente a cada trmino. Por el
contrario, si la representamos en forma de maxterms, pondremos un
0 en la casilla correspondiente a cada trmino.

Para representar una funcin booleana, esta tiene que estar en su

forma cannica (minterms o maxterms) completa y, por tanto, todos
los trminos han de contener a todas las variables que intervienen en
la funcin.

Representacin en terminos minterms Representacin en terminos maxterms

18
 Simplificacin de funciones en mapas de Karnaugh

Para la simplificacin de funciones que tengan hasta 4 variables es til

el empleo de las tablas de KARNAUHG. Para funciones con ms
variables, es ms til el empleo de ordenadores con programas
especficos.
Para simplificar una funcin, en primer lugar construimos la tabla o
mapa de Karnauhg en la que aparecen los valores que puede tomar
cada variable, asi como los valores de los resultados de la funcin.
En los mapas de Karnaugh se pueden simplificar entre s, por sus
variables comunes, los siguientes grupos de casillas:
- Grupos de 2, 4, 8, 16, 32 64 casillas contiguas segn los ejes
coordenados, pero nunca segn los ejes diagonales.
- Los grupos de casillas de los bordes del mapa opuestas entre si.
- El grupo de casillas constituido por las cuatro esquinas del mapa

19
 Simplificacin de funciones en mapas de Karnaugh

En los mapas representados anteriormente para 3 y 4 variables, hemos

dado todos los valores posibles de la combinacin de las mismas y que
el orden seguido para ellas es 00, 01, 11, 10. Este aspecto es muy
importante, y la ordenacin obedece a que entre dos columnas, o filas,
solo debe cambiar de valor una variable
Cuando en un mapa de Karnaugh tratemos de agrupar casillas para
simplificar, deberemos procurar conseguir grupos del mximo nmero
de casillas, pero respetando las normas citadas anteriormente. Al hacer
los agrupamientos, procuraremos incluir, si es posible, todos los
trminos representados, no existiendo ningun problema el que un
trmino pertenezca a ms de un agrupamiento.
Una vez realizada dicha tabla podemos aplicar dos criterios para la
simplificacin, que podr ser realizada teniendo en cuenta los 0 o los
1 de la funcin.

20
 Simplificacin de funciones en mapas de Karnaugh

Ejercicio
Simplificar la funcin cuya tabla de verdad es la siguiente:
a b c F
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0

21
 Simplificacin de funciones en mapas de Karnaugh

Para simplificar la funcin, primeramente construimos la tabla o mapa

de Karnaugh, en la que aparecen los valores que puede tomar cada
variable, as como los valores de los resultados de la funcin tal y como
podemos observar en la fig. siguiente.

Mapa de Karnaugh correspondiente a

la tabla de verdad anterior

Una vez realizada esta tabla, podemos aplicar dos criterios para realizar
la simplificacin de la funcin, que podr ser realizada teniendo en
cuenta los 0 o los 1.

22
 Simplificacin de funciones en mapas de Karnaugh

Simplificacin por unos

En este caso agruparemos los resultados de la funcin que sean 1
adyacentes, tanto horizontal como verticalmente (nunca en diagonal),
en grupos de 2, 4, 8, etc.
En este caso tenemos dos posibles agrupaciones que es la
representada en la fig. siguiente. Para ello, escribimos las variables que
se encuentren en filas o columnas en que aparezcan 1, pero
eliminando aquellas cuyo valor cambie dentro de una agrupacin de
unos.

23
 Simplificacin de funciones en mapas de Karnaugh

La agrupacin por 1 da lugar a dos productos. En el grupo de cuatro 1 la nica

variable que no cambia de valor es la a que tiene valor 0. Por tanto, el primer
producto es a.

La negacin se debe a que la agrupacin de 1 se encuentra en la fila en la que la

variable a tiene el valor 0. (si tuviese valor 1 no se habra negado a la hora de
escribir la funcin).

El otro grupo formado por dos 1 corresponde a la primera fila y a las columnas
primera y cuarta. Las variables que no cambian su valor son b y c. Como ambas tienen
valor 0, el producto que se obtiene es bc.
La expresin simplificada de esta funcin es F = a + b.c
24
 Simplificacin de funciones en mapas de Karnaugh

Simplificacin por ceros

En este caso agruparemos los resultados de la funcin que sean 0
adyacentes, tanto horizontal como verticalmente (nunca en diagonal),
en grupos de 2, 4, 8, etc.
En este caso tenemos dos posibles agrupaciones que es la
representada en la fig. siguiente. Para ello escribimos las variables que
se encuentren en filas o columnas en que aparezcan 0, pero
eliminando aquellas cuyo valor cambie dentro de una agrupacin de
0.

25
 Simplificacin de funciones en mapas de Karnaugh

En el primer grupo correspondiente a la tercera columna y ambas filas, la variable

que cambia de valor es la c (queda eliminada), mientras que a y b no cambian de
valor (no se eliminan) y como ambas tienen valor 1 se escriben negadas en la
suma. Por lo tanto obtenemos la suma a+b.

En el otro grupo de 0 correspondiente a la segunda fila y columnas tres y cuatro, la

variable que cambia de valor es la b (queda eliminada), mientras que a y c no
cambian de valor (no se eliminan) y como ambas tienen valor 1 se escriben
negadas en la suma a+c.

La expresin simplificada es el producto de ambas sumas F = (a+b).(a+c)

26
 Simplificacin de funciones en mapas de Karnaugh

La expresin simplificada es el producto de ambas sumas

F = (a+b).(a+c)

Si desarrollamos esta expresin tenemos que:

F = a.a + a.c + b.a + b.c

Como: a.a = a
F = a+ a.c+ b.a + b.c y como a+ a.c + b.a = a

nos queda finalmente que F = a + b.c

Esta expresin podemos realizarla directamente, sin embargo si

aplicamos el teorema de Morgan obtenemos una expresin mas
sencilla si cabe puesto que nos evitar el empleo de inversores:
F = (a.(b+c))

27
 Trminos indiferentes en una funcin Booleana

Las funciones booleanas tienen su campo de aplicacin en los circuitos

digitales. En estos circuitos, cada una de las variables que componen la
ecuacin booleana de funcionamiento se corresponde con las entradas
del circuito, siendo su salida la propia funcin.
A veces en los circuitos digitales sucede que ciertas combinaciones de
sus variables de entrada no pueden producirse nunca debido a que
otros circuitos anteriores impiden su llegada a nuestro circuito.
A estas combinaciones de entrada que, apareciendo en la tabla de
verdad de funcionamiento del mencionado circuito, no producen en la
salida ni 0 ni 1, se denominan combinaciones indiferentes, y se
representan en las tablas de verdad por X. A su vez, estas
combinaciones indiferentes dan lugar a trminos indiferentes, que
pueden ser representados en los mapas de Karnaugh y se les puede
considerar bien como 0 o como 1 segn convenga para las
simplificaciones y sin que ello conlleve alteraciones del circuito.
28
 Trminos indiferentes en una funcin Booleana

Ejercicio
Simplificar mediante mapas de Karnaugh la funcin definida por la
siguiente tabla de verdad:
a b c F
0 0 0 X
0 0 1 1 En la tabla vemos que aparecen
0 1 0 0 trminos indiferentes que debern
0 1 1 1 ser siempre representados en la
1 0 0 0 tabla, independientemente de
1 0 1 1 realizar la simplificacin por
1 1 0 0 minterms o maxterms.
1 1 1 X

29
 Trminos indiferentes en una funcin Booleana

a b c F
0 0 0 X Si analizamos la tabla, vemos que el nmero de
0 0 1 1 trminos minterms es igual que el de trminos
0 1 0 0 maxterms. En estos casos debe intentarse simplificar
0 1 1 1 por ambos tipos de ecuaciones y decidir cual es el ms
1 0 0 0 simplificado.
1 0 1 1
1 1 0 0
1 1 1 X

Como podemos observar, los trminos indiferentes han sido utilizados

unas veces como 1 y otras como 0, incluso no se les utiliza a todos en
las simplificaciones. Por lo tanto la funcin simplificada es:
Ecuacin por minterms F = c Ecuacin por maxterms F = c
30
 Implementacin de funciones

1.1. Operadores lgicos

1.2. Caractersticas de las puertas lgicas
1.3. Cronogramas de circuitos lgicos
1.4. Diseo de circuitos digitales
1.5. Realizacin de circuitos con puertas NOR
1.6. Realizacin de circuitos con puertas NAND
1.7. Puertas Tri-estado

31
 Operadores lgicos

Estos operadores son pequeos circuitos digitales integrados cuyo

funcionamiento se adapta a las operaciones y postulados del lgebra
de Boole.
Los operadores o puertas lgicas ms importantes son las que se citan
seguidamente.

http://ditec.um.es

32
 Caractersticas de las puertas lgicas

MARGENES DE TENSIONES Y CORRIENTES

FAN-IN / FAN-OUT
POTENCIA
TIEMPOS
TIEMPOS DE SUBIDA Y BAJADA
TIEMPO DE PROPAGACION
FAMILIAS LOGICAS

33
 Cronogramas de circuitos lgicos

Las puertas y los circuitos lgicos, en general reciben seales digitales

que varan en el tiempo. Se denomina cronograma a la representacin
grfica, con respecto al tiempo, de las seales de entrada y salida de un
circuito digital.

34
 Diseo de circuitos digitales

El diseo de un circuito digital ha de cumplir una serie de condiciones:

1. Obtener la tabla de verdad
2. Deducir la ecuacin
3. Simplificar la ecuacin
4. Implementar el circuito con puertas lgicas, buscando alguno de los
objetivos siguientes:
- Implementar con el menor nmero de puertas posible
- Implementar con un solo tipo de puertas
-Implementar con el menor nmero de C. integrados
- Implementar el circuito ms econmico

35
 Realizacin de circuitos con puertas NOR

Para realizar circuitos con puertas NOR, deberemos seguir las

siguientes pautas.
1. A la expresin global de la funcin que pretendamos resolver, se le
practica una doble inversin, con lo cual no sufre variacin.
2. Si la expresin viene dada en forma de productos lgicos, se opera
una de las inversiones dadas, para transformar los productos en
sumas. (A.B) = A + B
3. Si despus de realizar la segunda transformacin todava existen
productos parciales, a estos se les da otra doble inversin, y con
una de estas dos inversiones se transforman los productos en
sumas.

36
 Realizacin de circuitos con puertas NOR

Ejemplo
Dada la funcin F = A(B+AD), implementarla con puertas NOR

Dando una doble inversin y transformando el producto en suma

tenemos: F = ((A(B+AD))) = (A + (B + AD))
y dando por ltimo una doble inversin al producto que an nos queda,
obtenemos su total transformacin en suma.

F = (A + (B + (AD))) = (A + (B +((A) + D))

37
 Realizacin de circuitos con puertas NAND

Para realizar circuitos con puertas NAND, deberemos seguir las

siguientes pausas:
1. A la expresin global de la funcin que pretendamos resolver, se le
practica una doble inversin, con lo cual no sufre variacin.
2. Si la expresin viene dada en forma de sumas lgicas, se opera una
de las inversiones, para transformar las sumas en productos:
(A+B) = A.B
3. Si despus de realizar la segunda transformacin quedan sumas
parciales, a estas se les da una doble inversin, y con una de estas
dos inversiones se transforman las sumas en productos.

38
 Realizacin de circuitos con puertas NAND

Ejemplo:
Dada la funcin F = A(B+C)+C, implementarla con puertas NAND

Dando una doble inversin y transformando la suma en producto,

tenemos: F = ((A(B+C)+C)) = ((A(B+C)).C)

y dando por ltimo una doble inversin a al suma que an nos queda,
obtenemos su total transformacin en producto.

F = ((A((B+C)))C) = ((A.(B.C)).C)

39
 Puertas Tri-estado

Este tipo de puertas se llama as porque pueden presentar en su salida

tres estados diferentes. A diferencia de las puertas lgicas normales
que presentan solo un nivel lgico 0 o 1, las puertas triestado
presentan tambin el estado de alta impedancia.

Este estado es equivalente a desconectar la salida de la puerta y dejarla

al aire, de ah su denominacin de alta impedancia, pues presenta una
elevada resistencia de salida. Este tipo de puertas presentan a parte de
las entradas que le corresponden, una entrada adicional que va a
controlar si en la salida se dispone de la funcin lgica normal o bien
del estado de alta impedancia.

40
 Puertas Tri-estado

Existen puertas en la cuales el funcionamiento normal se obtiene

cuando en c hay un 0, mientras que en otras el funcionamiento
normal corresponde cuando en c hay un 1.

41
 Puertas Tri-estado

La utilidad de estas puertas se hace patente al observar los siguientes

circuitos.

42
 ACTVIDAD NO PRESENCIAL

1) Consulta la bibliografa propuesta e internet sobre lo comentado en

esta unidad temtica al objeto de ampliar la informacin suministrada.

43
HOJAS DE DATOS

44
HOJAS DE DATOS

45
HOJAS DE DATOS

46
HOJAS DE DATOS

47
HOJAS DE DATOS

48
HOJAS DE DATOS

49