Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 5
Algebra de Boole
En Algebra habis aprendido leyes y propiedades. Por ejemplo, la propiedad Conmutativa de la Suma A + B = B + A (A y B son nmeros enteros o reales)
En 1860 George Boole desarroll un Algebra en la que los valores de A y B slo podan ser verdadero o falso (1 0). Se llama Algebra de Boole y se utiliza en Electrnica Digital
Commutativa de la suma
A+B = B+A El orden en la OR no importa
Asociativa de la suma
A + (B + C) = (A + B) + C Agrupar variables en la OR no importa
Distributiva
A(B + C) = AB + AC
B
C
X=Y
X Y
Distributiva
(A+B)(C+D) = AC + AD + BC + BD
A
B C D X Y
X=Y
A+0=A
Hacer una operacin OR con 0 no cambia nada.
X=A
A+1=1
Hacer una operacin OR con 1 da siempre 1.
A
X=1 X
A0=0
Hacer una operacin AND con 0 siempre da 0
X=0
A1 =A
Hacer una operacin AND con 1 no cambia nada
A
X=A X
A+A = A
Hacer una operacin OR consigo mismo da el mismo resultado
A=A
A+A=1
O bien A o A sern 1, luego la salida ser 1
A
X=1 X
AA = A
Hacer una operacin AND consigo mismo da el mismo resultado
A=A
AA =0
Bien A o A son 0 luego la salida ser 0.
A A X X=0
A=A
Si negamos algo dos veces volvemos al principio
A
X=A
A + AB = A
B
X
A + AB = A + B (absorcin)
Si A es 1 la salida es 1 Si A es 0 la salida es B
A B
X Y
X=Y
(A + B)(A + C) = A + BC
B
C
X Y
Leyes de De Morgan
De Morgan ayuda a simplificar circuitos digitales usando NORs y NANDs. AB=A+B y A+B=AB
Igual para ms de 2 variables.
A +B +C + D = A B C D
(A + B)(CD) = (A + B) + (CD)
= A + B + CD
X e Y son iguales
X = (A+B) C + CD + B
= (A+B) C CD + B
= (A+B) C (CD + B) = A B C (C +D +B) = A B C C + A B C D +A B B C =AB C D
Ejemplo 1
X= AB+(C+D)
X= AB + C+ D
Ejemplo 2
X = (AB)(CD)
X = ABCD
Ejemplo 3
Ejemplo 4
X = (AB+B)BC
X = ABC + BBC
X = ABC + 0C X = ABC + 0
X = ABC
Ejemplo 5
X = (A +AB) +(B(C+D))
X = (A + B) + (B(C + D))
X = (A + B) + (BC + BD)
X = A + B + BC + BD
X = A + B + C + BD
X =A+ B + C + D
Sumas de productos
La funcin es 1 cuando ABCD=1111 o cuando ABCD=1110 o cuando ABCD=1011 o cuando ABCD=0011 y en ningn otro caso
Cuando ABCD=1111, el producto ABCD y slo se es 1. Cuando ABCD=1110, el producto ABCD y slo se es 1, y as sucesivamente resultando que ABCD + ABCD + ABCD + ABCD
Productos de sumas
La funcin es 0 cuando ABCD=0010 o cuando ABCD=0100 o cuando ABCD=0111 o cuando ABCD=1010 o cuando
Cuando ABCD=0010, la suma A+B+C+D y slo sa es 0. Cuando ABCD=0100, la suma A+B+C+D y slo sa es 0, y as sucesivamente resultando que (A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)
ABCD=1101
y en ningn otro caso
Mapa de Karnaugh
El mapa se hace con una tabla con tantas celdas como Sumas de Productos posibles, teniendo en cuenta el nmero de variables que se utilice.
Mapa de Karnaugh
Lo interesante del mapa es moverse de una celda a otra contigua con el cambio de una sola variable. Los movimientos son arriba-abajo o derecha-izquierda (nunca en diagonal). El mapa tambin se dobla sobre s mismo con la misma regla: solo una variable cambia de la ltima columna a la derecha a la primera a la izquierda, o de la fila de abajo a la de arriba. Emplearemos un cdigo Gray, que se caracteriza porque entre dos cdigos consecutivos (incluidos los extremos) slo hay un bit de diferencia.
A 0
A 1 La celda de arriba a la izquierda es A B. Si F= A B, entonces hay que poner 1 en esa celda
B
1
A0 1
A1
Si F=AB + AB A0 1 entonces hay que A1 1 poner 1 en las dos celdas Sabemos por el Algebra de Boole que A B + A B = B
En el mapa de Karnaugh podemos agrupar celdas adyacentes y ver que F=B B0 1B
B0 1 B
A0 1 A1 1
Mapas de 3 variables
Cdigo Gray C
0
C
1
A B 00 A B 01
A B 11
A B 10
X=ABC+ABC+ABC+ABC
Cdigo Gray C
0
C
1
A B 00 1 A B 01
A B 11
A B 10 1 1
X=ABC+ABC+ABC+ABC
Cdigo Gray C
0
C
1
A B 00 1 A B 01
A B 11
A B 10 1 1
X=ABC+ABC+ABC+ABC
Cdigo Gray C
0
C
1
A B 00 1 A B 01
A B 11
A B 10 1 1
X=ABC+ABC+ABC+ABC
Cdigo Gray C
0
C
1
00 01
A B 00 1 A B 01
11
10
A B 11
A B 10 1 1
X =B
En un mapa de 3 variables
Una celda a 1 implica a 3 variables Dos celdas adyacentes a 1 implican a 2 variables
CD
01
CD CD
11 10
A B 00 A B 01 A B 11
A B 10
Simplificar
X=ABCD+ABCD+ABCD+ABCD+ ABCD+ABCD
Cdigo Gray 00 CD
00
01 CD
01
11
11
10
10
A B 00 A B 01 A B 11 A B 10
1
1
X = ABD + ABC + CD
En un mapa de 4 variables
Una celda a 1 implica a 4 variables Dos celdas adyacentes a 1 implican a 3 variables Cuatro celdas adyacentes a 1 implican a 2 variables Ocho celdas adyacentes a 1 implican a 1 variable Diecisis celdas adyacentes a 1 constituyen funcin de valor 1
Simplificar
Z=BCD+BCD+CD+BCD+ABC
CD CD CD CD
00 01 11 10
1 1
1 1
1
1
X =C +AB + BD
Y= A + B + B C + ( A + B ) ( C + D)
Y = AB + B C + AB (C+D )
Y=AB +B C +AB C +A B D
Y=AB+B C+AB CABD Y = A B + B C + (A + B + C ) ( A + B + D) Y=AB +B C +A+AB +AD + B + B D +AC +C D Y=AB +B C +A+ B + C D =A+B +B +C D = 1
CD
00
CD
01
CD CD
11 10
A B 00 A B 01 A B 11 A B 10 Z=1
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1
2.
3.
No dejar ningn 1 sin agrupar. Puede ocurrir que un 1 pertenezca a ms de una agrupacin. No se pueden coger agrupaciones dentro de agrupaciones.
Por cada agrupacin de 1's resulta un producto de variables. Cuanto ms 1's se agrupen, ms sencilla resultar la expresin de esa agrupacin. En MK de 5 variables, las agrupaciones que tomen 1s de las dos porciones deben ser simtricas respecto al eje central. En cada agrupacin, cada una de las variables puede aparecer en alguno de los siguientes casos:
a) b) c) Si siempre vale 1 -----> Se pone afirmada. Si siempre vale 0 -----> Se pone negada. Si cambia de valor (50% de los casos un valor y el otro 50% otro valor) -----> No se pone.
a)
4.
5.
La expresin de la funcin booleana ser la suma lgica de todos los productos que hayan salido.
C=1 ENCENDIDA)
4. A = Aire acondicionado (A=0 APAGADO, A=1 ENCENDIDO) 5. I = Alarma de proximidad de intruso (I=0 NO HAY INTRUSO, I=1 SI HAY INTRUSO)
El sistema de alarma debe activarse cuando: 1. La puerta est abierta y la calefaccin encendida (P=1, C=1)
V P 00 V P 01 V P 11 V P
10
1 1
1 1
1 1
1 1
V P 00 V P 01 V P 11 V P
10
1 1
1 1
1 1
1 1
1 1
1 1
V P 00 V P 01 V P 11 V P
10
1 1
1 1
1 1
1 1
1 1
1 1
1 1
V P 00 V P 01 V P 11 V P
10
1 1
1 1
1 1
1 1 1
1 1 1
1 1 1
1 1 1
V P 00 V P 01 V P 11 V P
10
1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
V P 00 V P 01 V P 11 V P
10
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
Podemos agrupar as
CAI CAI CAI CAI CAI CAI CAI CAI
000 001 011 010 110 111 101 100
V P 00 V P 01 V P 11 V P 10 1 1 1 1 1 1 1 1 1 1 1 1 1 1
X = PA+ VA + P C + V C + P I + V I
V P 00 V P 01 V P 11 V P 10
0 0 0 0
0 1 1
0 1 1
0 1 1
0 1 1
0 1 1
0 1 1
0 1 1
Conexionado fsico
Circuito diseado
Ya sabes
Leyes y propiedades del Algebra de Boole Simplificar funciones utilizando el Algebra de Boole Analizar circuitos mediante Algebra de Boole y simplificarlos Pasar de una tabla de verdad a Suma de Productos y Producto de Sumas Utilizar Mapas de Karnaugh para simplificar funciones lgicas