Está en la página 1de 44

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

Ing. Bruno Lpez Takeyas

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.

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

Ing. Bruno Lpez Takeyas

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)

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

10

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

Ing. Bruno Lpez Takeyas

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)

http://www.itnuevolaredo.edu.mx/takeyas

12

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

MS EJEMPLOS

http://www.itnuevolaredo.edu.mx/takeyas

13

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

14

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 3 VARIABLES


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

http://www.itnuevolaredo.edu.mx/takeyas

lgebra booleana

Ing. Bruno Lpez Takeyas

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).

http://www.itnuevolaredo.edu.mx/takeyas

16

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

17

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

Por lo tanto

f = ABC + ABC + ABC + ABC

http://www.itnuevolaredo.edu.mx/takeyas

18

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

19

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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.

http://www.itnuevolaredo.edu.mx/takeyas

20

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

Trmino AB

Trmino ABC

Trmino AB

Resultado de la unin

Colocando 1s

http://www.itnuevolaredo.edu.mx/takeyas

21

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 4 VARIABLES


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.
22 Email: takeyas@itnuevolaredo.edu.mx

http://www.itnuevolaredo.edu.mx/takeyas

lgebra booleana

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 5 VARIABLES


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.
23 Email: takeyas@itnuevolaredo.edu.mx

Esto

http://www.itnuevolaredo.edu.mx/takeyas

lgebra booleana

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 6 VARIABLES


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.
24 Email: takeyas@itnuevolaredo.edu.mx

http://www.itnuevolaredo.edu.mx/takeyas

lgebra booleana

Ing. Bruno Lpez Takeyas

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.

http://www.itnuevolaredo.edu.mx/takeyas

25

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

26

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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.

http://www.itnuevolaredo.edu.mx/takeyas

27

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

28

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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)

http://www.itnuevolaredo.edu.mx/takeyas

29

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

Otros ejemplos:

http://www.itnuevolaredo.edu.mx/takeyas

30

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

http://www.itnuevolaredo.edu.mx/takeyas

31

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

32

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

33

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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.

http://www.itnuevolaredo.edu.mx/takeyas

34

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

REPRESENTACIN DE EXPRESIONES CON COMPUERTAS LGICAS

http://www.itnuevolaredo.edu.mx/takeyas

35

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

http://www.itnuevolaredo.edu.mx/takeyas

36

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

CMO DETERMINAR LA SEAL DE SALIDA DE UN CIRCUITO

CIRCUITOS INTEGRADOS

http://www.itnuevolaredo.edu.mx/takeyas

37

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

CIRCUITOS INTEGRADOS DE COMPUERTAS LGICAS

http://www.itnuevolaredo.edu.mx/takeyas

38

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

SOFTWARE PARA EL DISEO DE CIRCUITOS: MULTISIM

http://www.itnuevolaredo.edu.mx/takeyas

39

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

EJEMPLOS DE DISEOS EN MULTISIM

http://www.itnuevolaredo.edu.mx/takeyas

40

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

http://www.itnuevolaredo.edu.mx/takeyas

41

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

OTRO SOFTWARE PARA EL DISEO DE CIRCUITOS: ATANUA

Descargar en: http://atanua.softbull.com/

http://www.itnuevolaredo.edu.mx/takeyas

42

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

CMO ARMAR CIRCUITOS EN UN PROTOBOARD

http://www.itnuevolaredo.edu.mx/takeyas

43

Email: takeyas@itnuevolaredo.edu.mx

lgebra booleana

Ing. Bruno Lpez Takeyas

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

http://www.itnuevolaredo.edu.mx/takeyas

44

Email: takeyas@itnuevolaredo.edu.mx