Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra Boolean A
Algebra Boolean A
Captulo 2
1
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.
2
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
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.
F(X,Y) = XY
3
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
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:
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
4
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.
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.
5
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
X X
0 1
1 0
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.
6
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
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 Y XY(AND) XY (NAND)
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 0
X Y Z XYZ XYZ
0 0 0 0 1
0 0 1 1 0
0 1 0 1 0
0 1 1 1 0
1 0 0 1 0
1 0 1 1 0
1 1 0 1 0
1 1 1 1 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 Y X + Y (OR) X + Y (NOR)
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
7
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
X Y Z X+Y+Z X +Y + Z
0 0 0 0 1
0 0 1 1 0
0 1 0 1 0
0 1 1 1 0
1 0 0 1 0
1 0 1 1 0
1 1 0 1 0
1 1 1 1 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 Y X Y (EXOR)
0 0 0
0 1 1
1 0 1
1 1 0
X Y X Y =W Z W Z
0 0 0 0 0
0 1 1 0 1
1 0 1 0 1
1 1 0 0 0
0 0 0 1 1
0 1 1 1 0
1 0 1 1 0
1 1 0 1 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 B C (B+C) AB AC A(B+C) AB + AC
0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 1 1 1 0 0 0 0
1 0 0 0 0 0 0 0
1 0 1 1 0 1 1 1
1 1 0 1 1 0 1 1
1 1 1 1 1 1 1 1
9
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
3.- 0*A = 0
C) Absorbentes
A*A = A
A+A=A
D) Complemento
.
(X ) = X
XX =0
X + X =1
10
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
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 BC + AD0 + AB )C
( A BC + AB )C
ABCC + ABC
ABC + A BC
BC ( A + A) = BC
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
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 ..
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
14
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
Ejemplo 2.7
Obsrvese queExpresar la siguiente
la condicin funcin
necesaria f ( A, Bque
y suficiente = A BC + AalBC
, C ) determina + A Bcannico
estado C en su equivalente
es la de
maxitrminos
existencia, en forma literal, de todas y cada una de las variables definidas en la funcin en
f ( A, B, C ) =o m 0 + m1 + m4 = m(0,1,4)
todos los minitrminos
Solucin: maxitrminos, segn se trate.
Tabulemos tanto la funcin f, como su complemento
f = ( A + B + C )( A + B + C )( A + B + C )( A + B + C )( A + B + C )
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
(a + b) = (a + b + c)(a + b + c)
(a + c) = (a + b + c )(a + b + c)
Por lo tanto:
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:
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.
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:
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:
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.
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
a b f f1
0 0 1 1
0 1 1 1
1 0 0 0
1 1 1 1
20
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
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)
21
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
f ( a , b, c , d ) = a c + a b
22
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
Con respecto a las tecnologas, existe un conjunto ms o menos amplio, pero las ms
tiles son las tecnologas TTL y CMOS
23
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
Funcin AND
Funcin OR
X Y F
0 0 0 F=X+Y 7432
0 1 1
1 0 1
1 1 1
24
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
Funcin NOT
Tabla de Operacin Smbolo Identificador IEE/ANSI 91 1984
Verdad Lgica
X F
0 0 7404
0 1 F=X
25
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
Ejemplo 2.13. Sea la funcin lgica F = ab + bc , construir y simular su circuito electrnico con
las compuertas correspondientes.
A
74LS08
B
F
U3A 74LS32
74LS08
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
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
31
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
a) Primer paso
a b c
ab
ac f(a,b,c)
bc'
a) Segundo paso.
c) Tercer paso.
32
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
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
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.
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
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.
B = M S = S P ( N M + S T + BE )O N
38
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
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 Smbolo
Botn de marcha. Bm
Botn de paro de Bp
emergencia
Sensor de nivel Sn
Sensor de presencia Sp
Electrovlvula Ev
Motor Ev
Temporizador 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)
41
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
e e
e e
42
lgebra Booleana MC Guillermo Sandoval Bentez Captulo 2
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)
d) 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
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) 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
g) 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
h) 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
i).- f (a, b, c, d , e) = m(2,3,10,11,14,15,18,21,22,23)
j) f ( a, b, c, d ) = M (0,1,3,6,9,11,14,15)
f (a, b, c, d , e) = (a + b + c + d + e)(a + b + c + d + e)(a + b + c + d + e)..
k).-
(a + b + c + d + e)(a + b + c + d + e)
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 )..
m)
( a + b + c + d )( a + b + c + d )
n) 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