Algebra Booleana

lgebra booleana
Ing. Bruno Lpez Takeyas
Desarrollada por George Boole Herramienta Se
LGEBRA BOOLEANA
para representar proposiciones lgicas en forma algebraica aplica en representacin de circuitos lgicos y diseo digital
Uso Ver
EXPRESIONES BOOLEANAS
de variables booleanas (cuyos valores son 1 0)
ejemplo 5.1 (pg. 179) del libro Matemticas para la computacin de Jos A. Jimnez Murillo
http://www.itnuevolaredo.edu.mx/takeyas
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
Minitrmino:
Es un producto booleano en la que cada variable aparece slo una vez; es decir, es una expresin lgica que se compone de variables y los operadores lgicos AND y NOT. P. ejem. ABC y ABC.
Maxitrmino:
Es una expresin lgica que se compone de variables y los operadores lgicos OR y NOT. P. ejem. A+B+C y A+B+C. lgebra booleana, se conoce como forma cannica de una expresin, a todo producto o suma en la cual aparecen todas sus variables en su forma directa o inversa.
En
Una expresin lgica puede expresarse en forma cannica usando minitrminos o maxitrminos. Todas las expresiones lgicas son expresables en forma cannica como una suma de minitrminos o como un producto de maxitrminos.
lgebra booleana
PROPIEDADES DE LAS EXPRESIONES BOOLEANAS

a) Formadas con variables booleanas b) Valores de 1 (verdadero) 0 (falso) c) Puede tener constantes booleanas (1 0) d) Puede tener operadores lgicos: AND (&, ^), OR (V) y NOT (, , -, ~) Multiplicacin lgica: AND xy = x y = (x)(y) Suma lgica: OR x+y Complemento (negacin): NOT x e) Se puede obtener el resultado lgico de una expresin booleana aplicando las tablas de verdad (valores de certeza) f) Se puede aplicar la Ley de Morgan
lgebra booleana
Suponga
EJEMPLO DE EXPRESIONES BOOLEANAS

que un sistema lgico tiene 3 variables de entrada (A, B y C) y la salida de la funcin (F) se comporta de acuerdo a la siguiente tabla de verdad:
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
F 0 1 0 0 1 0 1 0
Representacin de la expresin booleana:
F = ABC + ABC + ABC
lgebra booleana
LEYES DEL LGEBRA BOOLEANA

1.- Existencia de neutros x+0=x x1=x 2.- Conmutatividad x+y=y+x xy=yx 3.- Asociatividad x + (y + z) = (x + y) + z x (y z) = (x y) z 4.- Distributividad x + (y z) = (x + y) (x + z) x (y z) = (x y) z 5.- Complementos x + x = 1 x x = 0
lgebra booleana
TEOREMAS DEL LGEBRA BOOLEANA

1.- Idempotencia x+x=x xx=x 2.- Identidad de los elementos 0 y 1 x+1=1 x0=0 3.- Absorcin x + (x y) = x x (x + y) = x 4.- Complemento de 0 y 1 0 = 1 1 = 0 5.- Involucin (doble negacin) (x) = x 5.- Leyes de Morgan (x + y) = x y (x y) = x + y
http://www.itnuevolaredo.edu.mx/takeyas 6 Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
a) Cambiar cada + por y viceversa b) Complementar (negar) cada trmino c) Complementar (negar) la expresin completa
TABLA DE TEOREMAS DEL LGEBRA BOOLEANA

Nm Teorema 1 0A = 0 2 1A = A 3 AA = A 4 AA = 0 5 AB = BA 6 ABC = A(BC) 7 (ABC) = A+B+C 8 AB+AC = A(B+C) 9 AB+AB = A 10 A+AB = A 11 A+AB = A+B 12 CA+CAB = CA+CB 13 AB+AC+BC=AB+AC Dual 1+A=1 0+A=A A+A=A A + A = 1 A+B=B+A A+B+C = A+(B+C) (A+B+C) = ABC (A+B)(A+C) = A+BC (A+B)(A+B) = A A(A+B) = A A(A+B) = AB (C+A)(C+A+B) = (C+A)(C+B) (A+B)(A+C)(B+C)=(A+B)(A+C)
lgebra booleana
SIMPLIFICACIN DE EXPRESIONES BOOLEANAS MEDIANTE EL USO DE TEOREMAS

Simplificar la siguiente expresin booleana: F=AB+(ABC)+C(B+A)
Expresin simplificada F=AB+A+B+C+C(B+A) F=AB+A+B+C+CB+CA F=AB+A+B+CB+C+CA F=A(B+1)+B+CB+C+CA F=A(B+1)+B(1+C)+C+CA F=A1+B(1+C)+C+CA F=A+B(1+C)+C+CA F=A+B1+C+CA F=A+B+C+CA F=A+B+C+A F=(A+A)+B+C F=1+B+C F=(1+B)+C F=1+C F=1 Teorema aplicado 7 8 5 8 8 1 2 1 2 11 6 4 1 1 1
lgebra booleana
SIMPLIFICACIN DE EXPRESIONES BOOLEANAS MEDIANTE MAPAS DE KARNAUGH

Creados Evita Son Un
en 1950 por Maurice Karnaugh (fsico y matemtico de los Laboratorios Bell). hacer clculos (aprovecha la capacidad humana del reconocimiento de patrones). representaciones bidimensionales de la tabla de verdad de la funcin a simplificar mapa es un diagrama compuesto de celdas, donde cada una representa un minitrmino
La cantidad de celdas del mapa es 2n; donde

n representa la cantidad de variables variables
Se recomiendan para expresiones de hasta 6 Generan

expresiones en una de las formas estndar: suma de productos producto de sumas
lgebra booleana
REPRESENTACIN DE EXPRESIONES CON MAPAS DE KARNAUGH

Un mapa de Karnaugh es una representacin grfica de la tabla de verdad La tabla de verdad tiene un rengln por cada minitrmino El mapa de Karnaugh tiene una celda por cada minitrmino
10
lgebra booleana
EJEMPLO
La funcin X es 1 cuando: o A=0 y B=0 o A=1 y B=1 O sea, la funcin X = AB + AB En estos casos, se coloca un 1 en la celda AB y en la celda AB del mapa Las dems celdas se rellenan con 0 Las celdas del mapa se marcan de tal forma que los cuadros adyacentes (tanto horizontales como verticales) slo difieren en una variable El orden de las etiquetas de las celdas es: 00 (AB), 01 (AB), 11 (AB) y 10(AB)
http://www.itnuevolaredo.edu.mx/takeyas 11 Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
Cuando una expresin tiene 2 variables, entonces existen 4 combinaciones (2n=4) (A=0 y B=0, A=0 y B=1, A=1 y B=0, A=1 y B=1) Por lo tanto, el mapa K tiene 4 celdas (cada celda corresponde a un minitrmino)
12
lgebra booleana
MS EJEMPLOS
13
lgebra booleana
MAPAS DE KARNAUGH DE 2 VARIABLES

Sea f una funcin de 2 variables f(A, B) Se
forma un mapa de 22=4 minitrminos (celdas) forma ms sencilla de representar el minitrmino en la celda es sealando su valor decimal
Una
14
lgebra booleana

Sea f una funcin de 3 variables f(A, B, C) Se forma un mapa de 23=8 minitrminos Es
importante colocar las variables en el orden indicado de ms a menos significativo (A, B, C); ya que de otra forma el valor decimal sera diferente
Note que en las columnas AB no se sigue el orden progresivo de valores, 00, 01, 10 y 11; sino 00, 01, 11 y 10.
15 Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
Esto se debe a que el proceso de minimizacin depende de la ubicacin de las celdas en el mapa; ya que, entre una celda y otra (en forma horizontal o en forma vertical) slo debe cambiar 1 variable (adyacencia lgica).
16
lgebra booleana
PROCEDIMIENTO PARA ELABORAR MAPAS DE KARNAUGH

1. Desde la tabla de verdad
Sea
f una funcin de 3 variables f(A, B, C) cuya tabla de verdad es la 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 f 0 1 1 0 0 0 1 1
Se obtiene el mapa colocando un 1 en las celdas correspondientes a las combinaciones (minitrminos) en las que la funcin f=1
17
lgebra booleana
En este caso, las combinaciones son: ABC, ABC, ABC y ABC
Por lo tanto
f = ABC + ABC + ABC + ABC
18
lgebra booleana
2. Directamente de una funcin

Se pueden representar funciones cannicas o no cannicas. Sea f una funcin cannica de 3 variables f = ABC + ABC + ABC + ABC Se representa el mapa colocando un 1 en la celda de existencia de A, A, B, B, C y C.
Presencia de A
Presencia de A
Presencia de B
Presencia de B
Presencia de C
Presencia de C
19
lgebra booleana
Sea f una funcin no cannica variables f = AB + ABC + ABC
de
Esta expresin no es cannica porque el primer trmino no tiene todas las variables de la funcin. La funcin es la UNIN de las reas que representan cada uno de los trminos y cada trmino es la INTERSECCIN de las reas que representan sus variables. El trmino AB es la interseccin de A=1 y B=1. El trmino ABC es la interseccin de A=0, B=1 y C=0. El trmino ABC es la interseccin de A=0, B=0 y C=1. El mapa final se obtiene mediante la UNIN de los tres resultados.
20
lgebra booleana
Trmino AB
Trmino ABC
Trmino AB
Resultado de la unin
Colocando 1s
21
lgebra booleana

Sea f una funcin de 4 variables f(A, B, C, D) Se forma un mapa de 24=16 minitrminos. Se
sigue el mismo procedimiento que para una funcin de 3 variables.
Obsrvese
variables.
el orden de colocacin de las
Los
renglones siguen el mismo orden de las columnas (00, 01, 11 y 10) para que haya adyacencia lgica.
lgebra booleana

Sea f una funcin de 5 variables f(A, B, C, D, E) Se forma un mapa de 25=32 minitrminos.
Obsrvese
que ahora cada celda, adems de ser adyacente en forma horizontal o vertical, tambin es adyacente a la celda que ocupa la misma posicin en el cuadro cercano.
Por
ejemplo, la celda 15 (01111) es adyacente a las celdas 13, 7, 14, 11 y a la 31 (11111). se debe a que solo cambia una variable entre una celda y otra.
Esto
lgebra booleana

Sea f una funcin de 6 variables f(A, B, C, D, E,
F)
Se forma un mapa de 26=64 minitrminos.
Obsrvese
que ahora cada celda, adems de ser adyacente en forma horizontal o vertical, tambin es adyacente a la celda que ocupa la misma posicin en el cuadro cercano horizontal y en el cuadro cercano vertical.
lgebra booleana
Por
ejemplo, la celda 10 (001010) es adyacente a las celdas 11 (001011), 14 (001110), 8 (001000), 2 (000010) y a las celdas 26 (011010) y 42 (101010).
Esto
se debe a que solo cambia una variable entre una celda y otra.
25
lgebra booleana
METODOLOGA PARA SIMPLIFICAR EXPRESIONES MEDIANTE MAPAS DE KARNAUGH

1. Convertir la expresin a una suma de productos (si es necesario): a. Algebraicamente b. Contruyendo la tabla de verdad 2. Dibujar el mapa 3. Cubrir todos los 1s del mapa mediante rectngulos de 2n elementos (donde n=0.. nmero de variables); es decir, 2, 4, 8, 16, etc. a. Ningn rectngulo debe tener un 0 b. Usar la mnima cantidad de rectngulos c. Hacer cada rectngulo tan grande como sea posible 4. Encontrar la suma de productos minimal a. Cada rectngulo es un trmino producto
26
lgebra booleana
b. Cada trmino se define encontrando las variables que hay en comn en dicho rectngulo 5. Agrupar los rectngulos a. Para simplificar la expresin, se agrupan los 1s de celdas adyacentes en bloques cuadrados o rectangulares de 2, 4, 8, 16, , 2n. Estos se llaman implicantes primos. b. Si alguno de los rectngulos contiene algn 1 que no aparece en ningn otro rectngulo, entonces es un implicante primo esencial, los cuales deben aparecer de manera obligatoria en el resultado final. NOTA: Cuando se desea obtener una suma de productos, entonces se agrupan los 1s. Cuando se desea obtener un producto de sumas, entonces se agrupan los 0s. Aunque las expresiones resultantes no son iguales, son lgicamente equivalentes.
27
lgebra booleana
Simplificar la funcin f = ABCD + ABC + CD + ABCD + ABCD como una suma de productos y como un producto de sumas a) Suma de productos CD AB 00 01 00 1 01 11 10
EJEMPLO
11 1 1 1 1
10 1
Por lo tanto la funcin simplificada (representada como una suma de productos) es: f = BC + CD + ABD
28
lgebra booleana
b) Producto de sumas CD AB 00 01 00 0 01 0 0 11 0 0 10 0 0
11
10 0 0
Por lo tanto la funcin simplificada (representada como un producto de sumas) es: f = CD + BD + BC + AC Ntese que la funcin est negada (f ), por lo tanto, deben complementarse ambos lados de la expresin, quedando: (f ) = (CD + BD + BC + AC) Aplicando la ley de Morgan queda la funcin simplificada como un producto de sumas: f = (C+D)(B+D)(B+C)(A+C)
29
lgebra booleana
Otros ejemplos:
30
lgebra booleana
31
lgebra booleana
Simplificar la funcin f = XYZ + XYZ + XYZ + XYZ + XYZ como una suma de productos Tabla de verdad
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 f 1 1 1 0 1 0 1 0
EJERCICIO
Mapa y agrupar
Solucin: f = Z + XY
32
lgebra booleana
SOFTWARE DE MAPAS DE KARNAUGH
Descargar de manera gratuita en: http://k-map.sourceforge.net/
TUTORIAL DE MAPAS DE KARNAUGH

http://www.youtube.com/watch?v=DwdyHY3-nGs
33
lgebra booleana
COMPUERTAS LGICAS
Es una representacin grfica de una o ms variables de entrada a un operador lgico para obtener como resultado una seal determinada de salida.
34
lgebra booleana
REPRESENTACIN DE EXPRESIONES CON COMPUERTAS LGICAS
35
lgebra booleana
36
lgebra booleana
CMO DETERMINAR LA SEAL DE SALIDA DE UN CIRCUITO
CIRCUITOS INTEGRADOS
37
lgebra booleana
CIRCUITOS INTEGRADOS DE COMPUERTAS LGICAS
38
lgebra booleana
SOFTWARE PARA EL DISEO DE CIRCUITOS: MULTISIM
39
lgebra booleana
EJEMPLOS DE DISEOS EN MULTISIM
40
lgebra booleana
41
lgebra booleana
OTRO SOFTWARE PARA EL DISEO DE CIRCUITOS: ATANUA
Descargar en: http://atanua.softbull.com/
42
lgebra booleana
CMO ARMAR CIRCUITOS EN UN PROTOBOARD
43
lgebra booleana
BIBLIOGRAFA
Constantini, Sandro. Mapas de Karnaugh. Universidad Metropolitana, Venezuela. Recuperado el 13 de octubre del 2011 de: http://medusa.unimet.edu.ve/sistemas/bpis03/mdkrep resentacion.htm
Mano, Morris. Diseo digital. Tercera edicin. Editorial Pearson-Prentice Hall. 2003. Jimnez Murillo, Jos A. Matemticas para la computacin. Primera edicin. Editorial AlfaOmega. 2009. Ortega Gonzlez, Luisa Stephany & Arcos Garca, Jos Emanuel. Tutorial para la elaboracin de funciones mediante la utilizacin de mapas de Karnaugh y tablas de verdad. Tecnolgico de Estudios Superiores de Ecatepec, Mxico. Recuperado el 13 de octubre de 2011 de http://www.youtube.com/watch?v=DwdyHY3nGs Tocci, Ronald J. Sistemas digitales. Principios y aplicaciones. Tercera edicin. Editorial Prentice Hall. 1987. Turn, Angelines. Mapas de Karnaugh. Universidad Politcnica de Madrid, Espaa. Recuperado el 12 de octubre de 2011 de http://www.dma.fi.upm.es/java/matematicadiscreta/ka rnaugh/metodokar.htm
44

Algebra Booleana

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Algebra Booleana

Uploaded by

Copyright:

Available Formats

lgebra booleana

Ing. Bruno Lpez Takeyas

Desarrollada por George Boole Herramienta Se

de variables booleanas (cuyos valores son 1 0)

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

PROPIEDADES DE LAS EXPRESIONES BOOLEANAS

Ing. Bruno Lpez Takeyas

EJEMPLO DE EXPRESIONES BOOLEANAS

Representacin de la expresin booleana:

F = ABC + ABC + ABC

Ing. Bruno Lpez Takeyas

LEYES DEL LGEBRA BOOLEANA

Ing. Bruno Lpez Takeyas

TEOREMAS DEL LGEBRA BOOLEANA

Ing. Bruno Lpez Takeyas

TABLA DE TEOREMAS DEL LGEBRA BOOLEANA

Ing. Bruno Lpez Takeyas

SIMPLIFICACIN DE EXPRESIONES BOOLEANAS MEDIANTE EL USO DE TEOREMAS

Ing. Bruno Lpez Takeyas

SIMPLIFICACIN DE EXPRESIONES BOOLEANAS MEDIANTE MAPAS DE KARNAUGH

La cantidad de celdas del mapa es 2n; donde

Se recomiendan para expresiones de hasta 6 Generan

Ing. Bruno Lpez Takeyas

REPRESENTACIN DE EXPRESIONES CON MAPAS DE KARNAUGH

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 2 VARIABLES

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 3 VARIABLES

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

PROCEDIMIENTO PARA ELABORAR MAPAS DE KARNAUGH

f una funcin de 3 variables f(A, B, C) cuya tabla de verdad es la 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 f 0 1 1 0 0 0 1 1

Ing. Bruno Lpez Takeyas

En este caso, las combinaciones son: ABC, ABC, ABC y ABC

f = ABC + ABC + ABC + ABC

Ing. Bruno Lpez Takeyas

2. Directamente de una funcin

Ing. Bruno Lpez Takeyas

Sea f una funcin no cannica variables f = AB + ABC + ABC

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 4 VARIABLES

el orden de colocacin de las

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 5 VARIABLES

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 6 VARIABLES

Se forma un mapa de 26=64 minitrminos.

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

METODOLOGA PARA SIMPLIFICAR EXPRESIONES MEDIANTE MAPAS DE KARNAUGH

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

SOFTWARE DE MAPAS DE KARNAUGH

Descargar de manera gratuita en: http://k-map.sourceforge.net/