lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Captulo 2

lgebra Booleana y Compuertas

lgicas.
Temario
2.1 Postulados, operaciones lgicas bsicas y
tablas de verdad.
2.2 Operaciones lgicas complementarias.
2.3 Teoremas y Leyes
2.4 Leyes de DeMorgan
2.5 Funciones lgicas
2.6 Mapas de Karnaugh
2.7 Compuertas lgicas.
2.8 Compuertas universales.
2.9 Ejemplos de aplicaciones industriales.

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Objetivos
Al concluir este captulo el lector estar en capacidad de:
1.- Construir la tabla de verdad de las operaciones lgicas bsicas AND, OR y NOT
2.-. Construir la tabla de verdad de funciones compuestas, aplicando los operandos
bsicos.
3.- Construir las tablas de verdad de los operandos NAND, NOR y EXOR.
4.- Aplicar los teoremas y las leyes asociativa, distibutiva, conmutativa, de absorcin y de
complementaridad para reducir funciones lgicas a su mnima expresin.
5.- Aplicar las leyes de DeMorgan para simplificar funciones lgicas.
6.- Construir y transformar funciones lgicas, en formatos de maxitrminos y
minitrminos.
7.- Obtener la mnima expresin de una funcin lgica empleando los Mapas de
Karnaugh.
8.- Identificar los cdigos y smbolos que representan a las compuertas lgicas AND,
OR, NOT, NAND, NOR y EXOR.
9.- Disear los circuitos con compuertas lgicas considerando a la funcin como dato de
entrada.
10.- Disear circuitos electrnicos empleando exclusivamente compuertas NAND, a
partir de una funcin lgica expresada en minitrminos.
11.- Disear circuitos electrnicos empleando exclusivamente compuertas NAND, a
partir de una funcin lgica expresada en maxitrminos..
12.- Disear circuitos electrnicos empleando exclusivamente compuertas NOR, a partir
de una funcin lgica expresada en maxitrminos.
13.- Disear circuitos electrnicos empleando exclusivamente compuertas NOR, a partir
de una funcin lgica expresada en minitrminos.
14.- Obtener las funciones lgicas y disear los correspondientes circuitos electrnicos,
que controlan el trabajo de una mquina o proceso industrial a partir de los datos de
operacin de los mismos.

Introduccin.
El anlisis, sntesis y diseo de los sistemas digitales est basado en la herramienta
algebraica conocida como lgebra Booleana (George Boole, 1815). Est fundamentada
en postulados bsicos (axiomas), teoremas y leyes. Fue en 1854 cuando public su
trabajo titulado An Investigation into the Laws of Though, el cual sirvi como base para la
teora matemtica de probabilidades. Recientemente, el crecimiento y el correspondiente
xito de los sistemas computacionales e informticos ha hecho que Boole sea considerado
como uno de los padres fundadores de dichas reas, debido a la enorme e innegable
influencia de su teora en el anlisis y diseo de soluciones para sistemas digitales que
van desde la tecnologa de las telecomunicaciones; operacin, manejo y transferencia de
informacin digital; hasta los problemas de automatizacin.

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Se emplearn variables booleanas para representar seales entradas y salidas de sistemas

binarios, esto es, que tendrn la posibilidad de adquirir slo alguno de dos posibles
estados, 0 1. Estos valores son slo simblicos, anlogos a conceptos como Bajo/Alto;
Falso/Verdadero; ON/OFF, entre otras expresiones. As, tomando como ejemplo el
estado de operacin de una lmpara que ilumina la esquina de una calle se puede asociar
el valor lgico de 1 al estado de lmpara encendida, mientras que el estado de lmpara
apagada quedar representado por el valor de 0. Empleando expresiones matemticas,
tendramos lo siguiente:
X = Estado de la lmpara
X = 1 = Lmpara prendida
X = 0 = Lmpara apagada

2.1 Postulados.
1.- El lgebra Booleana es un sistema algebraico formado esencialmente por un conjunto
M de elementos y dos operaciones bsicas, ms no las nicas, + (OR) y (AND) .
Estos operandos actan sobre el conjunto de variables de entradas que pueda poseer el
sistema en cuestin. Lo ms elemental es que se cuente con slo dos de ellas, p ej. X y Y,
de tal forma que el operando sobre ambas generar un resultado asociado a una funcin
lgica de salida, F(X,Y), el cual ser un subconjunto del universo de resultados formado
por dos posibles valores lgicos, 0 1.
Operacin bsica AND. Este operando expresa simblicamente al concepto de
interseccin, empleado en la teora de conjuntos. Si se cuenta con dos variables lgicas X
y Y, el operando lgico sobre ellas generara dos posibles resultados, conjunto vaco
conjunto lleno. Al primero de ellos le corresponde el valor lgico de 0, por consiguiente
al segundo le corresponder el valor de 1. Su expresin simblica sera:
F(X,Y) = XY
El total de combinaciones posibles que se pueden generar al asignarle valores a las
variables, es de 2n, ya que la base es binaria y n es la cantidad de variables existentes en
el operando. Por lo tanto, para el caso de las dos variables, X y Y, la funcin lgica puede
ser analizada mediante una tabla de verdad mostrando cuatro combinaciones posibles, 22
= 4. La figura 2.1 muestra la tabla con las combinaciones correspondientes.
X (ENTRADA)
Y (ENTRADA)
F (SALIDA)
0
0
0
0
1
0
1
0
0
1
1
1
2.1 Tabla de verdad para la funcin lgica de dos variables

En el caso de un operando lgico AND de tres variables, la cantidad de combinaciones

sera 23 = 8. La tabla 2.2 muestra todas estas posibilidades.

lgebra Booleana

MC Guillermo Sandoval Bentez

X (ENTRADA)

Y (ENTRADA)

Z (ENTRADA)

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

Captulo 2

F(X,Y,Z) (SALIDA)
0
0
0
0
0
0
0
1

Tabla 2.2 Tabla de verdad para la funcin lgica de tres variables.

Ejemplo 2.1 Suponga que una instalacin elctrica cuenta con dos botones, B1 y B2, para una
lmpara de emergencia. La condicin de encendido es que se mantengan sostenidos ambos a la
vez. Analizando la tabla 2.1, de manera inmediata se puede concluir que la instalacin
correspondiente obedece a las cuatro combinaciones expresadas en ella:
i)
Si slo se oprime B1, entonces la lmpara no enciende
ii)
Si slo se oprime B2, la lmpara no enciende.
iii)
Si no se oprimen ni B1 ni B2, la lmpara no enciende
iv)
Si se oprimen B1 y B2 a la vez, entonces se prender la lmpara.
La figura muestra la representacin esquemtica de la instalacin elctrica de la solucin.
Figura 2.1 Instalacin elctrica de la funcin lgica AND de dos variables de entrada

Operacin bsica OR. Expresa simblicamente al concepto de unin. Al igual que con
el operando AND, la operacin lgica OR sobre X y Y, generar dos posibles resultados,
conjunto vaco conjunto lleno, con sus correspondientes valores lgicos, 0 y 1,
respectivamente.
F(X,Y) = X + Y
La cantidad de combinaciones seguir siendo 22 = 4. La figura 2.2 muestra la tabla con
las combinaciones correspondientes.
X (ENTRADA)
Y (ENTRADA)
F (SALIDA)
0
0
0
0
1
1
1
0
1
1
1
1
2.2 Tabla de verdad para la funcin lgica de dos variables

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Analizando con detenimiento la tabla 2.2, se observa que la nica condicionante para que
F(X,Y) = 1 es que cualquiera de las variables posea el valor lgico de 1. De esto ltimo
se deriva la expresin OR: que X = 1 o que Y =1. Como efecto redundante es que
ambas sean igual a uno.
Para el caso de tres variables, la cantidad de combinaciones sigue siendo 23 = 8. La tabla
2.3 muestra los resultados correspondientes.
F(X,Y,Z) = XYZ
X (ENTRADA) Y (ENTRADA)
Z (ENTRADA)
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
1
1
0
0
1
1
0
1
1
1
1
0
1
1
1
1
1
Tabla 2.2 Tabla de verdad para la funcin lgica de tres variables.

Ejemplo 2.2 Considere la situacin de la lmpara y los botones del ejemplo 2.1. La aplicacin de
la funcin lgica generar tambin cuatro posibles combinaciones para el encendido:
i)
Si slo se oprime B1, entonces la lmpara encender
ii)
Si slo se oprime B2, igualmente encender la lmpara
iii)
Si no se oprimen ni B1 ni B2, la lmpara no enciende
iv)
Si se oprimen B1 y B2 a la vez, entonces se prender la lmpara.
La figura muestra la representacin esquemtica de la instalacin elctrica de la solucin para la
funcin OR.

Figura 2.2 Esquema elctrico para una lmpara, aplicando la funcin OR

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Operacin bsica Inversora (NOT). Un primer razonamiento lgico inmediato al

analizar los dos operandos tratados hasta el momento, sera el del manejo de la no
existencia del estado X, dicho de otra forma, su parte complementaria. Esto es, el valor
de exclusin 1 X. La teora establece que cualquier variable X tiene la oportunidad de
poseer alguno de dos posibles valores, 1 0, mencionados con anterioridad. Entonces, si
en algn momento dado X = 1, el valor de exclusin, o complementario sera (1 x) = 0.
Por lo contrario, si X = 0, entonces (1-x) = 1. De aqu en adelante los trminos a emplear
sern los de X y su complemento (1 x) = X , la cual podr diferentes adjetivos, tales
como: inversora; negacin o NOT. Su tabla de verdad correspondiente sera:
X
0
1

X
1
0

Ejemplo 2.3. Considerando el ejemplo de la lmpara, se aplicar un botn para la operacin

del mismo, en este caso las dos posibilidades seran:
i)
ii)

Si B1 no est oprimido, entonces la lmpara estar prendida

Si B1 est oprimido, entonces la lmpara se encender.

Para el cableado elctrico de este operando se requerir de un botn cuya posicin sea
normalmente cerrada, esto es, que bajo condicin normal de operacin permita el paso de
voltaje por el servicio correspondiente. Cuando se active o pulse, los contactos del botn
dejan de transmitir la seal elctrica. La figura 2.3 muestra el esquema elctrico.

Figura 2.3 Instalacin elctrica par la funcin inversora NOT

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

2.2 Operaciones lgicas complementarias.

Adems de las operaciones bsicas, existen otras que son de relevancia para el desarrollo
de la teora y que son obtenidas como consecuencia de las primeras. Entre ellas estaran
las funciones NAND, NOR y EXOR. A continuacin se describen con ms detalle
cada una de ellas.
Operacin NAND
Es una funcin compuesta entre la AND y la NOT. El orden de ejecucin es fundamental,
que en este caso primero se realiza la operacin de interseccin entre dos variables, X y
Y, para posteriormente aplicarle la complementaridad. La tabla de verdad
correspondiente sera tal como se muestra en la siguiente figura.
X
0
0
1
1

Y
0
1
0
1

XY(AND)
0
0
0
1

XY (NAND)
1
1
1
0

La extensin a tres variables es inmediata, siguiendo la tabla anterior.

X
0
0
0
0
1
1
1
1

Y
0
0
1
1
0
0
1
1

Z
0
1
0
1
0
1
0
1

XYZ
0
1
1
1
1
1
1
1

XYZ
1
0
0
0
0
0
0
0

Operacin NOR
Es una funcin compuesta entre la OR y la NOT. Al igual que con al NAND, el orden de
sigue siendo vital. Primero se realiza la operacin de unin entre dos variables, X y Y,
para posteriormente aplicarle la inversin. La tabla siguiente muestra su lgica
correspondiente.
X
0
0
1
1

Y
0
1
0
1

X + Y (OR)
0
1
1
1

X + Y (NOR)
1
0
0
0

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Operacin NOR para tres variables:

X
0
0
0
0
1
1
1
1

Y
0
0
1
1
0
0
1
1

Z
0
1
0
1
0
1
0
1

X+Y+Z
0
1
1
1
1
1
1
1

X +Y + Z
1
0
0
0
0
0
0
0

Operacin EXOR
Es una aplicacin especfica de la operacin OR, tambin se le conoce como funcin
OR Exclusiva. Su nombre obedece a que el resultado lgico 1 se consigue nica y
exclusivamente cuando, en el caso de tener dos variables de entrada, slo una de ellas
posee el valor lgico de uno. Para clarificar esto, revise la siguiente tabla.
X

X Y (EXOR)

0
0
1
1

0
1
0
1

0
1
1
0

La extensin a tres variables requiere de un poco de cuidado, ya la incorporacin y

aplicacin de la EXOR sobre la tercer variable se hace con respecto al resultado obtenido
con dos variables, esto es, no se recomienda aplicar el operando directamente sobre X, Y
y Z. Tome como referencia la tabla siguiente.
X
0
0
1
1
0
0
1
1

Y
0
1
0
1
0
1
0
1

X Y =W
0
1
1
0
0
1
1
0

Z
0
0
0
0
1
1
1
1

W Z
0
1
1
0
1
0
0
1

2.3 Teoremas.
En los trabajos y artculos de George Boole se establecen los fundamentos del lgebra
booleana. Axiomas, teoremas y leyes son establecidas y demostradas con el rigor debido,
empleando la teora de clases y sus respectivas relaciones. En todo caso, en este trabajo
no se persigue el objetivo de volver a ejecutar dichas demostraciones, en todo caso slo
se harn las presentaciones, comprobaciones y por ltimo las aplicaciones de las mismas.
Para el lector ms asiduo, se le recomienda el artculo The Calculus of Logic, George
Boole [Cambridge and Dubln Mathematical Journal, Vol. III (1848), pp. 183 98].
8

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Dentro del conjunto de Leyes, existen tres que son bsicas y que son aplicadas tanto en el
lgebra lineal como en el lgebra booleana, que a saber son: conmutativa, asociativa y
distributiva. A continuacin se revisan y comprueban cada una de ellas.
Ley conmutativa: Sean las variables lgicas X y Y, de tal manera que la relacin
siguiente queda satisfecha:
X+Y=Y+X
Tomando como ejemplo a la lmpara que puede ser encendida mediante un botn B1
un botn B2, lo que nos dice esta ley es que no importa cul botn se oprima primero, el
resultado ser el mismo en cuanto al encendido de la misma.
El lector puede realizar la comprobacin correspondiente empleando tablas de verdad
Ley distributiva. Sean las variables lgicas X y Y, la distributividad entre tres variables
establece que:
A(B + C ) = AB + AC
Para la comprobacin de la relacin se puede revisar la tabla de verdad siguiente
A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

(B+C)
0
1
1
1
0
1
1
1

AB
0
0
0
0
0
0
1
1

AC
0
0
0
0
0
1
0
1

A(B+C)
0
0
0
0
0
1
1
1

AB + AC
0
0
0
0
0
1
1
1

En cuanto a la aplicacin de esta ley se puede seguir empleando el mismo ejemplo de la

lmpara, tal como lo muestra la figura siguiente.

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ley asociativa. Sean las variables lgicas X y Y, la distributividad entre tres variables
establece que:
A + (B + C) = (A + B) + C = (A + C) + B
Esta ley indica que, para efecto del resultado, no importa cmo se agrupen las variables
para aplicar el operando OR, al final siempre ser el mismo.
Propiedades
Existe un conjunto de propiedades bsicas, tiles para la simplificacin de funciones
booleanas. Algunas de ellas son inmediatas de comprobar, mientras que otras requieren
de un poco ms de esfuerzo para verificar su relacin. En la tabla siguiente se muestran
algunas de ellas, e inmediatamente se realiza su comprobacin correspondiente.
A) Operacin con 1.
1.- 1 + 0 = 1
2.- 1 + A = 1
3.- 1*1 = 1
4.- 1*A = A
5.- 1*0 = 0

B) Operaciones con 0
1.- 0 + 0 = 0
2.- 0 + A = A

C) Absorbentes

3.- 0*A = 0

A*A = A
A+A=A

D) Complemento
.

(X ) = X

XX =0
X + X =1

10

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ejemplo 2.4 Demostrar las siguientes relaciones.

a) XY + X Y = X
XY + X Y = X (Y + Y ) = X (1) = X

b) X + XY = X

X + XY = X (1 + Y ) = X (1) = X

c) ( X + Y )Y = XY
( X + Y )Y = XY + Y Y = XY + 0 = XY

d) ( X + Y )( X + Y ) = X
( X + Y )( X + Y ) = XX + X Y + XY + Y Y
= X + X (Y + Y ) + 0 = X + X (1) = X + X = X

e) X ( X + Y ) = X

X ( X + Y ) = XX + XY = X + XY = X (1 + Y ) = X (1) = X

f) X + X Y = X + Y

X + X Y = X (1 + Y ) + X Y = X + XY + X Y = XX + XY + X Y

XX + XY + X X + X Y
X ( X + Y ) + X ( X + Y ) = ( X + Y )( X + X ) = ( X + Y )

X + XY = X + Y

11

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

g) ( X + Y )( X + Z ) = X + YZ

( X + Y )( X + Z ) = X + YZ
( X + Y )( X + Z ) = XX + XZ + XY + YZ
= X + XZ + XY + YZ = X (1 + Z ) + XY + YZ
X + XY + YZ = X (1 + Y ) + YZ = X + YZ

Ejemplo 2.5 Empleando lgebra Booleana, simplificar las siguientes expresiones lgicas.
a) [ AB(C + BD) + A B]C
( A BC + AD0 + AB )C
( A BC + AB )C
ABCC + ABC
ABC + A BC
BC ( A + A) = BC

b) ABC + A BC + ABC + A BC + ABC

BC ( A + A) + ABC + ABC + A BC
BC + A B (C + C ) + ABC
BC + A B + ABC
BC + B ( A + AC )

BC + B( A + C ) = BC + A B + BC

12

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

2.4 Leyes de De Morgan

Augustus De Morgan fue un matemtico muy importante del siglo XIX, cuyas mayores
contribuciones fueron en el rea de la lgica proposicional. Su trabajo ms importante,
Formal logic, incorpora el concepto de cuantificacin de los predicados, sin el cual, hasta
ese entonces resultara prcticamente imposible resolver algunos problemas, desde el
punto de vista de la lgica aristotlica. Dos tipos de proposiciones son las que construyen
el universo de la lgica de De Morgan: simples y compuestas. La primera de ellas
carecen de conectivos, mientas que la segunda emplea los conectores operandos lgicos
AND y OR para conectar a dos o ms proposiciones simples, por ejemplo:
En un grupo especfico de automviles:
La mayora de ellos son de ltimo modelo
La mayora de ellos son rojos.
Las proposiciones mostradas son del carcter simple, ms sin embargo a partir de ellas se
puede inferir una compuesta. Como inferencia se entiende al proceso de obtener una
proposicin cierta a partir de proposiciones simples las cuales son consideradas como
verdaderas. As, una inferencia inmediata compuesta a partir de las dos proposiciones
simples verdaderas sera la siguiente:
Algunos automviles son de ltimo modelo y de color rojo.
En donde se observa que como elemento de composicin se emplea al conector lgico
AND.
En trminos particulares, del trabajo de De Morgan, son dos leyes o reglas las que
guardan un inters especfico en la teora de los sistemas digitales:

( X + Y + Z + ...) = X Y Z ..

XYZ ... = X + Y + Z ....

Usualmente, pueden ser ledas de acuerdo a las siguientes expresiones:
La negacin de una suma es igual a la multiplicacin de las negaciones y La negacin
de una multiplicacin es igual a la suma de las negaciones, respectivamente.
A continuacin se revisan algunos ejemplos de aplicacin.
Ejemplo 2.6. Aplicar las leyes de DeMorgan a las siguientes expresiones:
a) F1 = ( A + B ) + C = ( A + B )C = ( A + B )C

b) F2

= A + B + C = ( A + B) C = ABC
13

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

c) F3 = A B + (C + D)

F3 = A B C + D = ( A + B )(C D) = ( A + B )(C D)

d) F4 = A( B + C ) + B D
F4 = A( B + C ) BD = ( A + ( B + C )) BD

F4 = ( A + ( B + C ))( B + D) = ( A + BC )( B + D)
F4 = AB + A D + BC B + BC D = AB + A D + BC C

e) AB + AC + ABC
AB AC + ABC
( A + B )( A + C ) + ABC

A A + AC + A B + BC + ABC
A + AC + A B(1 + C ) + BC = A + AC + A B + BC
A(1 + C ) + A B + BC = A + AB + BC
A(1 + B) + BC = A + BC

2.5 Funciones lgicas.

Funciones lgicas: Una funcin lgica es aquella que se encuentra sujeta a los principios
del lgebra booleana y que representa a un proceso o secuencia de operaciones.
En trminos generales una funcin lgica puede ser representada en minitrminos o
maxitrminos, ya sea que estn o no en su forma cannica.
Una funcin lgica cannica, en minitrminos, es aquella que se expresa como la
sumatoria de elementos compuestos en operacin ANDde todas las variables que
intervienen en el proceso.

14

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Una funcin lgica cannica, en maxitrminos, es aquella que se expresa como la

multiplicatoria de elementos compuestos en operacin ORde todas las variables que
intervienen en el proceso.

Ejemplo 2.7
la siguiente
funcin
f ( A, Bque
, C ) determina
= A BC + AalBC
+ A Bcannico
C en su equivalente
de
Obsrvese
queExpresar
la condicin
necesaria
y suficiente
estado
es la
maxitrminos
existencia,
en forma literal, de todas y cada una de las variables definidas en la funcin en
todos
los minitrminos
maxitrminos,
segn se trate.
Solucin:
f ( A, B, C ) =o m
0 + m1 + m4 = m(0,1,4)
Tabulemos tanto la funcin f, como su complemento

Se observa que el complemento de f, viene expresado por:

f = ABC + ABC + ABC + ABC + ABC
Al aplicar la ley de DeMorgan a esta ltima expresin, nos queda:
f = ABC + ABC + ABC + ABC + ABC
f = ABC ABC A BC ABC ABC

f = ( A + B + C )( A + B + C )( A + B + C )( A + B + C )( A + B + C )
Relacionando la tabla con la funcin f expresada tanto en minitrminos como en
maxitrminos, se concluye que existe una relacin directa entre ambas, dada por:

m(0,1,4) = M (2,3,5,6,7)
En donde cada maxitrmino se obtiene de la suma de los complementos de cada rengln
en donde la funcin se hace cero, de aqu que:
f = ( A + B + C )( A + B + C )( A + B + C )( A + B + C )( A + B + C ) = ABC + A BC + ABC

15

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ejemplo 2.8. Expresar en maxitrminos la funcin f (a, b, c, d ) = m(0,1,2,3,5,9,11,14)

Solucin:

f (a, b, c, d ) = m(0,1,2,3,5,9,11,14) = M (4,6,7,8,10,12,13,15)

M (4,6,7,8,10,12,13,15) = (a + b + c + d )(a + b + c + d )(a + b + c + d )(a + b + c + d )(a + b + c + d )..

(a + b + c + c)(a + b + c + d )(a + b + c + d )

Ejemplo 2.9. Obtener el equivalente en maxitrminos de la siguiente funcin.

f (a, b, c) = ab + bc + abc + abc + abc
Solucin. Como se puede observar, la funcin est expresada en minitrminos, ms no es
cannica ya que a los dos primeros elementos de la suma les falta una de las tres variables, por lo
tanto se procede a completar esos dos minitrminos.
ab = ab(c + c) = abc + abc
bc = (a + a )bc = abc + abc
f (a, b, c) = abc + abc + abc + abc + abc + abc + abc
f (a, b, c) = abc + abc + abc + abc + abc = m(2,4,5,6,7)

m(2,4,5,6,7) = M (0,1,3) = (a + b + c)(a + b + c)(a + b + c)

Ejemplo 2.10 Obtener el equivalente en minitrminos de la siguiente funcin:
f (a, b, c) = (a + b)(a + c)(a + b + c)
Solucin. La funcin est expresada en maxitrminos, no cannica. Primero se tienen que
completar los dos primeros maxitrminos.
(a + b) = (a + b + c)(a + b + c)
(a + c) = (a + b + c )(a + b + c)

Por lo tanto:
f (a, b, c ) = (a + b + c)(a + b + c)(a + b + c)(a + b + c)(a + b + c)
Factorizando: f (a, b, c) = (a + b + c)(a + b + c)(a + b + c)(a + b + c) = M (0,1,2,3)

M (0,1,2,3) = m(4,5,6,7) = abc + abc + abc + abc

16

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

2.6 Mapas de Karnaugh

Generalmente las funciones lgicas siempre pueden ser simplificadas empleando los
teoremas y leyes del lgebra booleana. Sin embargo, cuando se trata de simplificar
funciones relativamente complejas el procedimiento se vuelve muy laborioso, ya que no
existe una metodologa o procedimiento que pueda ser aplicado en forma sencilla y
rpida, e inclusive se puede no tener la certeza de haber llegado a la mnima expresin.
De all entonces la necesidad de revisar procesos alternativos para el tratamiento
algebraico, especficamente para la reduccin o simplificacin de las funciones lgicas.
Como alternativas, el lector podr encontrar en la bibliografa los mtodos de Mapas de
Karnaugh y Quine McCluskey, de los cuales este ltimo queda ms all de los alcances
de este libro.
Los Mapas de Karnaugh son una herramienta para la simplificacin de funciones lgicas.
Tanto el tamao como su formato de presentacin son similares a una tabla de verdad y
dependen de la cantidad de variables contenidas en la funcin a tratar. En l se vaca en
celdas la informacin de las entradas y de sus respectivas salidas, formado una matriz con
unos y ceros, correspondientes al valor lgico de las salida en correspondencia con todas
las combinaciones posibles existentes de las entradas. Si se cuenta con dos variables de
entrada la cantidad de celdas de la matriz o mapa ser igual a 22 = 4; si son tres variables
entonces las celdas sern 23 = 8, en general se tendran 2n celdas, siendo n la cantidad de
variables existentes en la funcin. Para el caso ms simple sera una funcin que depende
de slo dos variables, F(a,b) , y su correspondiente mapa de Karnaugh sera:
F(a,b)

En donde 0 y 1 son los dos posibles estados que puede poseer cada variable. En cada
cuadrante deber de indicarse un 0 o un 1, dependiendo del estado lgico de cada uno de
los minitrminos, o maxitrminos que contenga la funcin. En este caso no es relevante
etiquetar primero con cero o con uno los ttulos de la columna y/o de la fila. Pudo haberse
comenzado con la etiqueta de 1 la primera columna para a y posteriormente asignar el
0 a la segunda columna. Para el caso de tres o ms variables ser importante definir el
concepto de celdas adyacentes.
Suponga que se cuenta con una funcin F(a,b,c,d) a la cual se le desea construir su mapa.
En este caso deber de construirse una matriz de 24 = 16 celdas, en arreglo de 4 x 4, esto
es, cuatro filas y cuatro columnas, en donde cada una de ellas har referencia a los
conjuntos de variables ab y cd, respectivamente, alternando las cuatro combinaciones
posibles: 00 01 11 10. Obsrvese que de par a par slo se da un cambio en uno solo de los
bits, por ejemplo, de 01 a 00 slo cambia el bit menos significativo. As, las Celdas
adyacentes se definen como aquellas en la cual se observa slo un cambio en uno de sus
bits. Siguiendo este principio, para la funcin de cuatro variables, la matriz de Karnaugh
pudiera tener cualquiera de los dos arreglos siguientes, segn la siguiente figura.

17

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Opciones a y b para arreglos de la matriz de Karnaug, para una funcin con cuatro variables.

Por inspeccin visual, se puede determinar que una celda es adyacente a otra siempre y
cuando ambas se encuentren una junto a otra en la misma fila y/o en el mismo rengln,
ms no si son diagonales. Los extremos, 00 y 10 se consideran adyacentes entre s. Esto
mismo se aplica para las celdas extremas definidas por las cuatro intersecciones, 00 con
00; 00 y 10; 10 y 00; 10 interseccin con 10.
Ejemplo 2.11. Obtener la representacin en K de las funciones e indicar grficamente a las celdas que
contienes unos lgicos adyacentes.
a) f (a, b) = m(0,1,3) = 00 + 01 + 11
b) f (a, b, c) = m(1,3,4,6,7) = 001 + 011 +100 + 110 + 111

c) f (a, b, c, d ) = m(1,3,5,6,7,11,13,15) = 001 + 011 +101 + 110 + 111 + 1011 + 1101 + 1111

Solucin a) La distribucin de los unos y ceros de asociados a F, segn la combinacin de las entradas es:

Ahora, agrupando a los unos adyacentes:

Obsrvese que los unos de 00 y 11 son diagonales, por lo tanto no son adyacentes entre ellos.
Solucin b) Distribucin de los unos. Las celdas que se encuentran vacas corresponden a aquellas en las
cuales la funcin tiene un valor lgico de cero.

La seleccin de los unos adyacentes tendra varias opciones.

Opcin a:
Opcin b

Se deja al lector la bsqueda de otra posible opcin

18

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ejemplo 2.11.
c) f (a, b, c, d ) = m(1,3,5,6,7,11,13,15) = 0001 + 0011 + 0101 + 0110 + 0111 + 1011 + 1101 + 1111
Solucin c) La distribucin de los unos y ceros de asociados a f, segn la combinacin de las
entradas es:

Obsrvese que pueden existir varias ms opciones.

En las siguientes secciones se presentarn reglas de seleccin de celdas adyacentes, para poder
aplicar la metodologa de Karnaugh.

Para iniciar el proceso de minimizacin, el cual generar una expresin de tamao

mnimo en cuanto a la cantidad de trminos y variables, primero se debe de dibujar el
mapa con sus correspondientes unos. Posteriormente debern de formarse grupos de
unos, de acuerdo a ciertas reglas. Por ltimo se determinar directamente la expresin
mnima a partir de esas agrupaciones.
A continuacin se indican los pasos a seguir para la agrupacin de los minitrminos
(unos).
1.- La cantidad de minitrminos (unos) a seleccionar debern de ser escogidos de
tal forma que cumplan con la expresin 2n
2.- Los minitrminos seleccionados debern de ser adyacentes contiguos -no
diagonales.
3.- Construir los grupos del tamao ms grande posible, de acuerdo al punto uno.
4.- Todos los minitrminos debern de quedar incluidos en al menos un grupo.
Esto es, es posible que un minitrmino pertenezca a ms de una agrupacin.
Ejemplo 2.12. Aplicar las reglas de agrupacin a la funcin del ejercicio 2.11.
c) f (a, b, c, d ) = m(1,3,5,6,7,11,13,15) = 0001 + 0011 + 0101 + 0110 + 0111 + 1011 + 1101 + 1111
Solucin c) La distribucin de los unos y ceros de asociados a f, segn la combinacin de las
entradas es:

Para obtener la funcin minimizada debern de seguirse los siguientes pasos:

1.- Cada agrupacin deber de generar un minitrmino, por lo tanto para que la
funcin seade
mnima
se de
deben
de aplicar
apropiadamente
las enseguida.
reglas anteriores: a
Un acercamiento
cada una
las cuatro
agrupaciones
se muestra
menor cantidad de grupos, menos minitrminos; entre ms grandes los grupos,
menos variables involucradas en los minitrminos.

Queda al lector encontrar otra distribucin de minitrminos.

19

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

2.- Sea x una variable asociada a un grupo de minitrminos, si sta sufre cambio de
estado conforme se desplaza por su respectivo grupo, ya sea en forma horizontal o
vertical, entonces dicha variable no aparecer en el minitrmino resultante. Las variables
que no conmuten de estado aparecern en la solucin multiplicndose entre ellas. Como
resultado final se tendr una suma de multiplicaciones, en donde cada minitrmino de
esta solucin est asociado a una agrupacin de unos del mapa.
Ejemplo 2.11. Obtener la mnima expresin para f 1 (a, b) = m(0,1,3) = 00 + 01 + 11
Observando el mapa, se detectan dos agupaciones de unos, en forma horizontal y vertical. Ambos
cumplen con la regla de 2n , siendo n = 1. El tamao ms grande posible es de dos. Tambin
cumplen con el principio de celdas adyacentes, no diagonales.

Por lo tanto, la funcin reducida contiene dos minitrminos. Para el grupo horizontal la variable a
se desplaza por los estados 0 y 1, por lo tanto no aparecer en la solucin. Para ese mismo grupo
la variable b no conmuta, y permanece en su valor lgico 1, por lo cual su minitrmino reducido
correspondiente es: b.
Para el grupo vertical la variable b es la que conmuta de 0 a 1, por lo tanto no aparecer en su
minitrmino solucin. La variable a no conmuta de su valor lgico 0, por lo que el resultado de
este grupo es a .
La solucin final es la suma de los minitrminos minimizados de cada agrupacin:
f 1 ( a, b) = a + b
Para verificar el resultado, comparemos la funcin original con la funcin minimizada
a
0
0
1
1

b
0
1
0
1

f
1
1
0
1

f1
1
1
0
1

De donde se concluye que las dos funciones son similares

20

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ejemplo 2.12. Minimizar las siguientes funciones, empleando mapas de Karnaugh.

a) f (a, b, c) = min (0,1,5,6,7)

b) f (a, b, c, d ) = min (0,2,4,5,9,11,15)

c) f (a, b, c, d , e) = min (0, ,4,5,6,7,8,12,13,14,16,21,23,30,31)

a) f (a, b, c) = min (0,1,5,6,7) , primera opcin

f = ab + ab + ac
Segunda opcin

f = ab + ab + bc
Ambas soluciones son equivalentes. Obsrvese que cada una de ellas contiene tres minitrminos
de dos elementos cada uno de ellos.
b) f (a, b, c, d ) = min (0,2,4,5,9,11,15)

f = abc + acd + abd + ab d

Queda al lector encontrar una funcin equivalente, en caso de que exista.

21

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

c) f (a, b, c, d , e) = m(0, ,4,5,6,7,8,12,13,14,16,21,23,30,31)

f = ace + c d e + bcd e + ac d + bce + abde + acde

f (a, b, c, d , e) = ace + c d e + ac d + bcd e + bce + abce + abde

d) f (a, b, c, d ) = (a + b + c + d )(a + b + c + d )(a + b + c + d )(a + b + c + d )(a + b + c + d )(a + b + c + d )
De la expresin se obtiene que: f (a, , b, c, d ) = M (0,1,6,10,13,14)

Por lo tanto, la funcin en su mnima expresin ser:

f (a, b, c, d ) = (a + b + c)(b + c + d )(a + c + d )(a + b + c + d )
e) f (a, b, c, d ) = m(0,1,2,4,5) + d (3,7,9,12)

f ( a , b, c , d ) = a c + a b

22

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

f) f (a, b, c, d ) = M (0,1,3,6,11) D (4,12,14,15)

f (a, b, c, d ) = (a + b + c)(a + b + d )(b + d )(a + c + d )

2.7 Compuertas Lgicas

Las operaciones lgicas contenidas en las funciones lgicas pueden ser implementadas
mediante compuertas lgicas digitales. Todos los elementos y funciones lgicas
establecidas en la teora del lgebra Boolena se encuentran disponibles en circuitos
integrados (IC).
Los IC se clasifican de acuerdo a varios criterios: forma en que se montan en una
aplicacin; Tecnologas de fabricacin; de acuerdo a la complejidad. Con respecto a este
ltimo criterio, la clasificacin es como sigue:
SSI: Small Scale Integration. Hasta doce compuestas lgicas.
MSI: Medium Scale Integration. Hasta 99 compuertas lgicas.
LSI: Large Scale Integration. Hasta 9999 compuertas lgicas.
VLSI: Very Large Scale Integration. Hasta 99,999 compuertas lgicas.
ULSI: Ultra Large Scale Integration. Opera bajo memorias demasiado
grandes, as como bajo el concepto de microprocesadores.
PLD: Programmable logic device. Dispositivos que se programan
Con respecto a las tecnologas, existe un conjunto ms o menos amplio, pero las ms
tiles son las tecnologas TTL y CMOS
TTL: Transistor Transistor Logic
CMOS: Complementary Metal Oxide semiconductor

23

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Funcin AND
Tabla de Verdad

X
0
0
1
1

Y
0
1
0
1

F
0
0
0
1

Operacin
Lgica

Smbolo

F = XY

Identificador

IEE/ANSI 91 1984

7408

Funcin OR
Tabla de
Verdad

X
0
0
1
1

Y
0
1
0
1

Operacin
Lgica

F
0
1
1
1

F=X+Y

Smbolo

Identificador

IEE/ANSI 91 1984

7432

24

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Funcin OR exclusiva (EXOR)

Tabla de
Verdad

X
0
0
1
1

Y
0
1
0
1

Operacin Lgica

F
0
1
1
0

Smbolo

F = X Y
F = X Y + X Y + XY

Identificador

IEE/ANSI 91 1984

7486

Funcin NOT
Tabla de
Verdad

X
0
0

F
0
1

Compuerta 7404

Compuerta 7421

Operacin
Lgica

Smbolo

Identificador

IEE/ANSI 91 1984

7404

F=X

Compuerta 7408

Compuerta 7432

25

lgebra Booleana

MC Guillermo Sandoval Bentez

Compuerta 7400

Captulo 2

Compuerta 7402

Compuerta 7410

Compuerta 7486

Ejemplo 2.13. Sea la funcin lgica F = ab + bc , construir y simular su circuito electrnico con
las compuertas correspondientes.
A
74LS08
B
F
74LS32

U3A
74LS08
C

Funcin lgica F =a*b +b'c

26

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ejemplo 2.14. Simular las funciones siguientes, tanto en su forma original como en su forma
equivalente. Hacer un comparativo de ambas.
__________

a) F1 = ( A + B )C = ( A + B )C ; F1 = ( A + B ) C = ( A + B )C

__

__

__

b) F2 = ( A + B) C = A B C

27

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

c) F3 = AB C + D = ( A + B)(C D) = ( A + B)(C D)

d) F4 = A( B + C ) BD = AB + A D + B C D

28

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

2.8 Compuertas Universales

Se dice que las compuertas NAND y NOR son universales porque cualquier sistema
digital puede implementarse con ellas.
A continuacin se muestran los arreglos correspondientes para generar las compuertas
NOR, AND y OR, empleando la compuerta universal NAND.

Compuertas NAND.
Se dice que es universal porque cualquier funcin lgica booleana puede ser
implementada con ella. Esto se logra debido a que los operandos bsicos, AND, OR y
NOT tienen pueden ser implementados empleando compuertas NAND, exclusivamente,
ms no necesariamente. Para comprobar esto, ser necesario hacer referencia a las
siguientes figuras y manipulando las leyes de DeMorgan.
Compuerta
NOT
empleando NAND

Compuerta AND
empleando NAND

Compuerta OR
empleando NAND

Smbolos
grficos
empleados
para
representar a la
compuerta NAND

29

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Funcin NOT
empleando
compuertas NOR

Funcin OR
empleando
compuertas NOR

Funcin AND
empleando
compuertas NOR

Smbolos grficos
empleados para
representar a la
compuerta NOR

30

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ejemplo 2.14
Expresar la funcin lgica f = ab + cd empleando compuertas NAND, exclusivamente.
Paso 1. Funcin f sin compuertas NAND

Paso 2. Funcin f con compuertas NAND y smbolo equivalente

Paso 3. Funcin f con compuertas NAND, exclusivamente.

Por lo tanto, los dos circuitos siguientes son equivalentes

31

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ejemplo 2.15. Disear el circuito equivalente para la funcin f (a, b, c) = ab + bc + ac

a) Empleando slo compuertas NAND
b) Empleando slo compuertas NOR.
a) Primer paso
a

ab
ac

f(a,b,c)

bc'

a) Segundo paso.

c) Tercer paso.

32

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ejemplo 2.16 Disear el circuito equivalente para la funcin f (a, b, c) = ab + bc + ac

empleando slo compuertas NOR.
Con compuertas NOR

Ejemplo 2.17. Disear el circuito equivalente para la funcin f (a, b, c) = (a + b)(a + c)(b + c) ,
empleando slo compuertas NOR
a) Primer paso.

33

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

a) Segundo paso.

a) Tercer paso.

Ejemplo 2.18. Disear el circuito equivalente para la funcin f (a, b, c) = (a + b)(a + c)(b + c) ,
empleando slo compuertas NAND

34

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

2.9 Ejemplos de aplicaciones.

Ejemplo 1 de aplicacin.
Antes del inicio de cada turno, un operador debe de revisar en modo automtico la buena
operacin de un proceso de transporte y estampado de cajas con producto terminado. Ver
figura siguiente.

La rutina que debe de cumplirse es la siguiente:

El avance del cilindro A se debe de dar si B0, B1 y B2 estn activos. El retroceso de A
se dar cuando se activen B3, B4 y B5. Esta misma condicin se dar para el avance del
cilindro B. El retroceso de B se dar cuando estn activos B4, B5 y B7.
a) Obtenga la funcin (es) para la operacin de los cilindros.
b) Disee el circuito electrnico solucin para cada cilindro, a partir de la funcin lgica
mnima.
De acuerdo a las especificaciones de operacin, a cada desplazamiento de cilindro le
corresponde su propia funcin lgica, por lo tanto sern cuatro de ellas, las cuales se
definirn de la siguiente manera:
Y1 = avance del cilindro A.
Y2 = retroceso del cilindro A.
Y3 = avance del cilindro B.
Y4 = retroceso del cilindro B.
As, tanto para el avance como para el retroceso, todas las funciones lgicas son en
operando AND, de tres variables cada una de ellas. Por otro lado, se tiene que el
retroceso de A y el avance de B son simultneos, por lo cual ambas funciones sern las
mismas. El resultado final es como se muestra a continuacin.

Y1 = B0 B1 B2
Y2 = B3 B4 B5
Y3 = B3 B4 B5
Y4 = B4 B5 B7

35

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

b) Los circuitos electrnicos se obtienen de manera inmediata, a partir del inciso anterior.
No es necesario realizar ni una operacin algebraica, ya que slo contienen un solo
minitrmino, cada una de ellas.

Ejemplo 2 de aplicacin. Se cuenta con un sistema de empaque, el cual consiste de dos

cilindros neumticos de doble efecto, A y B, de empuje y llenado, respectivamente. As
mismo se cuenta con un alimentador de cajas, y un receptor de las mismas. El modo de
operacin del sistema es tal como se muestra en el diagrama espacio fase. Ver figura
siguiente

Las condiciones de arranque sern las siguientes: El cilindro A iniciar su movimiento de

avance slo si primero se garantiza que tanto A como B se encuentran retrados, adems
de que exista presencia de caja en el alimentador, lo cual queda establecido por el sensor
Sc.
Sean a0, a1, b0 , b1 los sensores de deteccin de inicio y final de carrera de los cilindros A y
B, respectivamente. Segn lo estipulado con anterioridad, la condicin de arranque se
dar mediante Y1, el avance de A, al aplicar el operando lgico AND entre los sensores
que garantizan la posicin inicial de ambos cilindros y el sensor de presencia de caja.
Y1 = S c a0b0
As, entonces, de acuerdo a Y1, en caso de no tener existencia de cajas, el cilindro no
iniciar su desplazamiento de avance.
Posteriormente, y de acuerdo al diagrama de espacio fase, una vez que el cilindro A
alcanza su carrera final debern de suceder dos eventos a la vez: retroceso inmediato de
A y avance de B. Esto implica que exista la combinacin AND entre los sensores final de
carrera de A e inicio de B, por lo tanto, la funcin lgica para ambos ser:
Y2 = Y3 = a1b0
36

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

El retroceso de B se lograr una vez que se tenga garantizado que el cilindro A haya
regresado a su posicin de origen. Mientras tanto el cilindro B tendra que esperar en
reposo extendido, por lo cual se concluye que para Y4 se tenga:
Y4 = a0b1
Los circuitos electrnicos par implantar cada una de las funciones son los siguientes:

Ejemplo de aplicacin 3.
Se tiene una pequea mquina dispensadora de refrescos en vaso la cual opera de la
siguiente manera:

Una bomba elctrica sirve gaseosa siempre y cuando un sensor de presencia de vaso est
activado. Se apagar cuando se active el sensor de nivel mximo que el sensor trmico
de la bomba lo indique, o que bien la desconectemos mediante un botn de emergencia.
Deber de existir indicaciones luminosas que muestren que la bomba est sirviendo
refresco. As mismo, deber de existir una seal adicional que indique existencia de
problemas de temperatura en la bomba, a travs del sensor trmico. Esta indicacin es
fundamental, ya que exceso de temperatura podra causar daos al motor.
Por ltimo, existir un botn de encendido/apagado, y por operacin obvia, mientras ste
se encuentre en estado OFF toda la funcionalidad quedar inhibida.
a) Determine las funciones lgicas para las seales luminosas de mquina
sirviendo; problemas trmicos; y mquina encendida.
b) Disear los circuitos electrnicos del inciso anterior.
37

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Solucin.
En primera instancia, se realiza una recopilacin de las seales que intervienen en el
proceso, tanto en forma cuantitativa como cualitativa. De manera imprescindible, en una
aplicacin existen seales de entrada y de salida. De manera complementaria, pueden
existir seales adicionales auxiliares utilizadas principalmente como elementos de apoyo
en la estructura lgica de alguna funcin aplicada a algn elemento o proceso a controlar.
Se puede decir que las seales de entrada y de salida se asocian directamente a elementos
fsicos de campo, sensores y actuadores/cargas, mientras que las seales auxiliares estn
ms relacionadas con variables internas auxiliares programadas en el mismo circuito de
control, diseadas ex profeso para la construccin de lgicas complejas.
De esta manera, analizando la redaccin del ejercicio se determina la existencia de
cuatro seales de salida, que a saber son:
Foco de alarma: AL
Foco de mquina sirviendo: MS
Foco de mquina encendida: ME
Bomba: B
Las seales de entrada seran:
Sensor de nivel mximo: NM
Sensor de presencia de botella: SP
Sensor trmico: ST
Botn de emergencia: BE
Botn de encendido: ON
a) En la redaccin se establece que debe de existir una lmpara asociado al estado de
servicio de la bomba, esto significa que la operacin lgica de ambos ser la misma.
As, el servicio de refresco se realizar cuando se valide es sensor de presencia de botella
en combinacin lgica AND con el NOR de todas las seales que deshabilitan al estado
de servicio (mquina sirviendo). El botn de ON siempre deber de estar presente.
B = M S = S P ( N M + S T + BE )O N
El encendido de las lmpara de alarma y de mquina operando se lleva a cabo de manera
directa de acuerdo a las condiciones del sensor trmico y del botn de arranque,
resepectivamente.
AL = S T O N
M E = ON
c) En el caso del circuito de la bomba se puede implementar tal y como lo indica el
inciso anterior o bien se puede aplicar DeMorgan para obtener una expresin en
minitrminos.
B = M S = S P N M ST BE ON

38

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Circuitos para el encendido de las lmparas aplicando DeMorgan para la bomba.

Ejemplo de aplicacin 4.
Disear el circuito electrnico que controle el llenado de botellas de refresco, hasta un
cierto nivel, de acuerdo a las siguientes condiciones de trabajo:
Se cuenta con un botn de arranque (marcha), Bm, el cual genera la seal de
arranque para el motor M del sistema de transporte.
Cuando el sensor de presencia Sp detecte una botella el motor M se detendr e
inmediatamente comenzar el proceso de llenado, mediante una vlvula de
servicio controlada por una bobina electomagntica (electrovlvula), Ev.
El control de nivel se hace con un detector (Sn) colocado a una altura equivalente
a la posicin superior de la botella. Cuando este se active, la electrovlvula Ev
deber de detenerse.
Un instante T relativamente pequeo posterior a la desactivacin de la
electrovlvula deber de volver a prender el motor M. Este tiempo debe ser lo
suficientemente grande como para garantizar que los diferentes elementos
dinmicos hayan llegado de una forma estable al reposo antes de imprimir de
nuevo una inercia a la botella.
En caso de accidente o de necesidad de detener la marcha del motor, se contar
con un botn de paro de emergencia, Bp. Cuando este se activa, todas las cargas
se deshabilitan. El re-arranque podr darse de nuevo mediante Bm.

39

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Solucin. Este ejercicio involucra el manejo de una seal variable interna de proceso, el
Temporizador, la cual se puede implementar ya sea va Hardware o Software. En el caso
de seleccionar la primera opcin, en el mercado se cuenta con relevadores temporizados,
los cuales poseen un selector de tiempo, preset, ajustable de acuerdo a las necesidades.
Una vez que el dispositivo (relevador) recibe una orden externa de trabajo, ste ejecutar
la accin durante el tiempo T preestablecid, el cual una vez que se cumple el relevador
dejar de enviar su seal de actuacin.
En general los temporizadores pueden ser analizados y diseados con los principio de los
sistemas digitales, bajo el principio de sistemas secuenaciales que sern revisados en el
captulo 4 de este texto. Por lo pronto, y para efecto de plantear una solucin al ejercicio,
se considerar que al temporizador como una variable existente propiamente en el
proceso, por lo cual solamente haremos uso del mismo en el diseo de la solucin sin
entrar en sus detalles especficos de operacin.
Dispositivo
Botn de marcha.
Botn de paro de
emergencia
Sensor de nivel
Sensor de presencia
Electrovlvula
Motor
Temporizador

Smbolo
Bm
Bp
Sn
Sp
Ev
Ev
T

Por efectos de simplicidad de diseo, y sin prdida de generalizacin, se considerar que

los botones de marcha y paro son de giro monoestable (enclavados), esto es, una vez que
se establecen en un estado operativo, permanecen all mientras no exista fuerza muscular
externa que los obliga a conmutar, contrario a lo que realiza un botn pulsador,
pushboton, que se restablece a su estado original una vez que desaparece la fuerza que lo
empuja.
E v = S P S n B p M = ( B S P + T ) Bm B P

40

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Ejercicios

1.- El equivalente de la funcin lgica (a + b)(a + c)(b + c) es:

a) (a + b)(a + c)
b) (a + b)(a + c)
c) (a + b)(a + c)
d) (a + b)
2.- El equivalente de la funcin lgica a (b + c) + ab es:
a) b(a + c) + ab
b) b(a + c)
c) b(a + c)
d) b(a + c)
3.- Segn el lgebra Booleana, la relacin ab + ac es igual a:
a) ab + a c + bc
b) ab + ac + bc
c) ab + ac + bc
d) ab + ac + bc
4.- La funcin lgica f = ab + abc tiene como equivalente a:
a) f = ab + a c
b) f = ab + ac
c) f = a + ac
d) f = 0
5.- El equivalente en maxitrminos de la funcin f (a, b, c) = m(0,1,4,6,7) es:
a) (a + b + c)(a + b + c)(a + b + c)
b) (a + b + c)(a + b + c)(a + b + c)
c) abc + abc + abc
d) (a + b + c )(a + b + c)(a + b + c)
6.- El equivalente en maxitrminos de la funcin f (a, b, c) = m(0,2,4,5,7) es:
a) (a + b + c)(a + b + c)(a + b + c)
b) abc + abc + abc
c) (a + b + c )(a + b + c)(a + b + c)
d) (a + b + c)(a + b + c)(a + b + c)

41

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

7.- El equivalente de la funcin lgica f (a, b, c) = a (a + c) es:

a) f (a, b, c) = M (0,1,2,3)

b) f (a, b, c) = M (0,1,2,8)

c) f (a, b, c ) = M (0,2,3)

d) f (a, b, c) = M (0,1,2,3)
8.- El equivalente de la funcin lgica f (a, b, c) = ab + a c + a c es:
a) f (a, b, c) = m(1,3,4,6,7)
b) f (a, b, c) = m(1,2,4,6,7)
c) f (a, b, c) = m(1,3,4,6)

d) f (a, b, c) = M (1,3,4,6,7)
9.-Determine el equivalente en minitrminos de la funcin lgica
f (a, b, c, d ) = (a + bc)(a + b + c + d )(a + b + d )(a + b + c + d )
10.- Obtenga la funcin correspondiente a partir del siguiente mapa de Karnaugh.

11.- Determinar la funcin F de acuerdo al mapa de Karnaugh que se muestra.

12.-Determinar la funcin F de acuerdo al mapa de Karnaugh que se muestra.

42

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

13.- El mapa de Karnaugh que se muestra en la siguiente imagen representa a la funcin:

a) f = (a + c)(b + c)(b + c)
b) f = (a + c)(b + c)(b + c + d )
c) f = (a + c)(b + c)(b + c + d )
14.- Utilice Mapas de Karnaugh para llevar a su mnima expresin a las funciones
siguientes:
a) f = a b c + a b d + abc d + bcd
b) f (a, b, c, d ) = m(0,1,2,4,5,6,12,13,14)
c) f (a, b, c, d , e) m(0,4,12,8,1,13,15,16,17,29,31,23)

f (a, b, c, d , e) = a bc d e + abc d e + abcde + abcde + abc d e + abc d e + abcd e + abc d e

f (a, b, c, d , e) = abc d e + abc d e + abcde + abcde + abc d e + abc d e + abcd e + abc d e
f (a, b, c, d , e) = abc d e + abc d e + abcde + abcde + abc d e + abc d e + abcd e + abc d e
f (a, b, c, d , e) = a bc d e + abcde + abcde + abc d e + abc d e + abcd e + abc d e + abc d e
f (a, b, c, d , e) = a bc d e + abcde + abcde + abc d e + abc d e + abcd e + abc d e + abc d e

d)
e)
f)
g)
h)

i).- f (a, b, c, d , e) = m(2,3,10,11,14,15,18,21,22,23)

j) f ( a, b, c, d ) =
k).-

l)

f (a, b, c, d , e) = (a + b + c + d + e)(a + b + c + d + e)(a + b + c + d + e)..

(a + b + c + d + e)(a + b + c + d + e)

f (a, b, c, d , e) = (a + b + c + d + e)(a + b + c + d + e)(a + b + c + d + e)..

(a + b + c + d + e)(a + b + c + d + e)

m)
n)

M (0,1,3,6,9,11,14,15)

f ( a , b, c , d ) = ( a + b + c + d )( a + b + c + d )( a + b + c + d )( a + b + c + d )( a + b + c + d )( a + b + c + d )..
( a + b + c + d )( a + b + c + d )

f ( a , b, c , d ) = ( a + c + d )( a + b + d )( a + b + c + d )( a + b + c + d )( a + b + c + d )( a + b + c + d )

o) f ( a, b, c, d ) =

M (0,1,3,6,9,11)D(4,8,14,15)

15.-Empleando
mapas
de
Karnaugh,
simplificar
la
funcin
f (a, b, c, d ) = m(1,3,4,7,11) + d (5,12,13,14,15) y expresar el resultado en maxitrminos.

43

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

16. Considere que en una lnea de produccin se desea instalar una nueva mquina para
cumplir con los nuevos objetivos de trabajo. Dicha mquina posee tres cilindros
neumticos, A, B y C, respectivamente, y debe de cumplir con una secuencia especfica,
de acuerdo a su diagrama de espacio fase. Determinar las funciones lgicas para cada una
de las seales de avance y retroceso de cada cilindro.
El inicio de cada ciclo se dar mediante la activacin de un botn pulsador Bm;
Y1 = Avance de cilindro A.
Y2 = Retroceso de cilindro A.
Y3 = Avance de cilindro B.
Y4 = Retroceso de cilindro B.
Y5 = Avance de cilindro C.
Y6 = Retroceso de cilindro C.
A0 y A1, detectores inicial y final de carrera del cilindro A.
B0 y B1, detectores inicial y final de carrera del cilindro B.
C0 y C1, detectores inicial y final de carrera del cilindro C.
A

44

lgebra Booleana

MC Guillermo Sandoval Bentez

Captulo 2

Bibliografa

Floyd, T., Digital Fundamentals, 8th edition, Prentice Hall, New Jersey, 2003.
Mano, M., Digital Design, Third Edition, Prentice Hall, Englewood Cliffs, NJ, 2002
Nelson, P., Nagle H., Carroll D., and Irwin J., Digital Logic Analysis and Design,
Prentice Hall, Englewood Cliffs, NJ, 1995.
Roth, C., Fundamentals of Logic Design, 5th edition, Thomson Brooks/Cole, Belmont
CA, 2004.
Tocci J., Widmer S., Sistemas Digitales, principios y aplicaciones, Octava edicin,
Naucalpan de Jurez, Mxico, 2003.
Wakerly F., Diseo Digital y Prcticas, Prentice Hall, Naucalpan de Jurez, Mxico,
1992.

45