Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LGEBRA BOOLEANA
para representar proposiciones lgicas en forma algebraica aplica en representacin de circuitos lgicos y diseo digital
Uso Ver
EXPRESIONES BOOLEANAS
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.
http://www.itnuevolaredo.edu.mx/takeyas
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
Suponga
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
http://www.itnuevolaredo.edu.mx/takeyas
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
lgebra booleana
a) Cambiar cada + por y viceversa b) Complementar (negar) cada trmino c) Complementar (negar) la expresin completa
http://www.itnuevolaredo.edu.mx/takeyas
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
10
Email: takeyas@itnuevolaredo.edu.mx
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)
http://www.itnuevolaredo.edu.mx/takeyas
12
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
MS EJEMPLOS
http://www.itnuevolaredo.edu.mx/takeyas
13
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
Una
http://www.itnuevolaredo.edu.mx/takeyas
14
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
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
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
Sea
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
Por lo tanto
http://www.itnuevolaredo.edu.mx/takeyas
18
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
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
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
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
Obsrvese
variables.
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
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
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
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
http://www.itnuevolaredo.edu.mx/takeyas
26
Email: takeyas@itnuevolaredo.edu.mx
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.
http://www.itnuevolaredo.edu.mx/takeyas
27
Email: takeyas@itnuevolaredo.edu.mx
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
http://www.itnuevolaredo.edu.mx/takeyas
28
Email: takeyas@itnuevolaredo.edu.mx
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)
http://www.itnuevolaredo.edu.mx/takeyas
29
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
Otros ejemplos:
http://www.itnuevolaredo.edu.mx/takeyas
30
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
31
Email: takeyas@itnuevolaredo.edu.mx
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
http://www.itnuevolaredo.edu.mx/takeyas
32
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
33
Email: takeyas@itnuevolaredo.edu.mx
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.
http://www.itnuevolaredo.edu.mx/takeyas
34
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
35
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
36
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
CIRCUITOS INTEGRADOS
http://www.itnuevolaredo.edu.mx/takeyas
37
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
38
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
39
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
40
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
41
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
42
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
http://www.itnuevolaredo.edu.mx/takeyas
43
Email: takeyas@itnuevolaredo.edu.mx
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
http://www.itnuevolaredo.edu.mx/takeyas
44
Email: takeyas@itnuevolaredo.edu.mx