Professional Documents
Culture Documents
Unidad 4
Algebra de Boole y Simplificacion Lgica
Operadores y Expresiones
Booleanas
Multiplication
0*0=0
0*1=0
1*0=0
1*1 =1
Ley Conmutativa
Ley Asociativa
Ley Distributiva
Regla 1
OR Truth Table
Regla 2
OR Truth Table
OR Truth Table
OR Truth Table
Regla 7
Regla 8
Muchas veces, a la hora de aplicar el lgebra booleana, hay que reducir una expresin a su
forma ms simple o cambiarla a una forma ms conveniente para conseguir una implementacin
ms eficiente.
Este mtodo de simplificacin utiliza las reglas , leyes y teoremas del lgebra de Boole para
manipular y simplificar una expresin.
Una expresin booleana simplificada emplea el menor numero posible de compuertas en la
implementacin de una determinada expresin.
Ejemplo: Mediante las tcnicas del algebra de Boole, simplificar la siguiente expresin.
Floyd
Digital Fundamentals, 9/e
Slide 24
Floyd
Digital Fundamentals, 9/e
Slide 25
Teorema de DeMorgans
Teorema de DeMorgans
Teorema 1
XY X Y
Teorema 2
X Y XY
Recuerda:
Romper la Barra,
Cambia el Signo
Floyd
Digital Fundamentals, 9/e
Slide 30
Floyd
Digital Fundamentals, 9/e
Slide 31
Floyd
Digital Fundamentals, 9/e
Slide 32
Floyd
Digital Fundamentals, 9/e
Slide 33
Funcin lgica es una expresin booleana que relaciona variables lgicas directas o
complementadas por medio de operaciones AND y OR.
Todas las expresiones booleanas, independientemente de su forma, pueden
convertirse en cualquiera de las dos formas estndar:
Suma de productos o Suma de MinTerminos
Producto de sumas o Producto de MaxTerminos.
Esto posibilita que la evaluacin, simplificacin e implementacin de las
expresiones booleana sea mucho ms sistemtica y sencilla
Floyd
Digital Fundamentals, 9/e
Slide 34
Floyd
Digital Fundamentals, 9/e
Slide 35
Floyd
Digital Fundamentals, 9/e
Slide 36
Floyd
Digital Fundamentals, 9/e
Slide 37
Mapas de Karnaugh
Un mapa de Karnaugh proporciona un mtodo sistemtico de simplificacin de expresiones booleanas.
Aplicado adecuadamente genera las expresiones suma de productos y producto de sumas ms simples
posibles.
Un mapa de Karnaugh es similar a una tabla de verdad, ya que muestra todos los posibles valores de las
variables de entrada y la salida resultante para cada valor.
El mapa de Karnaugh es una secuencia de celdas en la que cada celda representa un valor binario de las
variables de entrada.
Las celdas se disponen de tal manera que la simplificacin de una determinada expresin consiste en
agrupar adecuadamente las celdas.
Los mapas de Karnaugh pueden utilizarse para expresiones de dos, tres, cuatro y cinco variables.
El mtodo de Quine-McClusky puede usarse para un nmero de variables mayor.
Al igual que ocurra con el nmero de filas de una tabla de verdad, el nmero de celdas de un mapa de
Karnaugh es igual al nmero total de combinaciones de las variables de entrada.
Para tres variables, el nmero de celdas necesarias es 2^3=8. Para cuatro variables, el nmero de celdas
es 2^4=16 celdas.
Floyd
Digital Fundamentals, 9/e
Slide 38
Se utilizan A, B y C para denominar las variables, aunque se podran usar otras letras.
Los valores binarios de A y B se encuentran en la parte izquierda y los valores de C en la parte
superior.
El valor de una determinada celda es:
el valor binario de A y B, en la parte izquierda de la misma fila
combinado con el valor de C en la parte superior de la misma columna.
Representacin de un mapa de Karnaugh de tres variables vaco (matriz de 8 celdas) y con los
trminos producto estndar representados para cada celda:
Floyd
Digital Fundamentals, 9/e
Slide 39
Floyd
Digital Fundamentals, 9/e
Slide 40
Adyacencia de Celdas
Las celdas de un mapa de Karnaugh se disponen de manera que slo cambia una nica variable
entre celdas adyacentes.
Las celdas que difieren en una nica variable son adyacentes.
En el mapa de 3 variables, la celda 010 es adyacente a la celda 000, a la 011 y a la 110.
Las celdas cuyos valores difieren en ms de una variable no son adyacentes.
En el mapa de 3 variables, la celda 010 NO es adyacente a la celda 001, a la 111, a la 100 ni a la
101.
Fsicamente, cada celda es adyacente a las celdas que estn situadas inmediatas a ella por
cualesquiera de sus cuatro lados.
Una celda NO es adyacente a aquellas que tocan diagonalmente alguna de sus esquinas.
Adems, las celdas de la fila superior son adyacentes a las de la fila inferior y las celdas
de la columna izquierda son adyacentes a las celdas situadas en la columna derecha.
Adyacencia de celdas en un mapa de Karnaugh de cuatro variables.
Las flechas apuntan a las celdas adyacentes.
Floyd
Digital Fundamentals, 9/e
Slide 41
Agrupacin de 1s
La finalidad es maximizar el tamao de los grupos y minimizar el nmero de estos grupos. Reglas:
1. Un grupo tiene que contener 1, 2, 4, 8 16 celdas.
2. Cada celda de un grupo tiene que ser adyacente a una o ms celdas del mismo grupo, pero no todas las
celdas del grupo tienen que ser adyacentes entre s.
3. Incluir siempre en cada grupo el mayor nmero posible de 1s de acuerdo con la regla 1.
4. Cada 1 del mapa tiene que estar incluido en al menos un grupo. Los 1s que ya pertenezcan a un grupo
pueden estar incluidos en otro, siempre que los grupos que se solapen contengan 1s no comunes.
Floyd
Digital Fundamentals, 9/e
Slide 42
Agrupacin de 1`s
Floyd
Digital Fundamentals, 9/e
Slide 43
I. Un grupo formado por una nica celda da lugar a un trmino producto de cuatro variables.
II. Un grupo formado por 2 celdas da lugar a un trmino producto de tres variables.
III. Un grupo formado por 4 celdas da lugar a un trmino producto de dos variables.
IV. Un grupo formado por 8 celdas da lugar a un trmino de una variable.
V. Un grupo formado por 16 celdas indica que la expresin vale 1.
Floyd
Digital Fundamentals, 9/e
Slide 44
Ejemplo: Determinar los productos para cada uno de los mapas de Karnaugh y escribir las
correspondientes expresiones suma de productos mnima resultante.
Solucin. La expresin suma de productos mnima para cada uno de los mapas de Karnaugh es:
Floyd
Digital Fundamentals, 9/e
Slide 45
Se indica el trmino producto para cada grupo y la expresin suma de productos mnima resultante
es:
Nota: esta expresin mnima es equivalente a la expresin estndar original.
Floyd
Digital Fundamentals, 9/e
Slide 46
Floyd
Digital Fundamentals, 9/e
Slide 47
Floyd
Digital Fundamentals, 9/e
Slide 48
Floyd
Digital Fundamentals, 9/e
Slide 49