Escolar Documentos
Profissional Documentos
Cultura Documentos
LGEBRA DE BOOLE
Sistemas Digitales
lgebra de Boole
Es una importante herramienta usada en el anlisis y diseo de circuitos lgicos El lgebra de conmutacin, tiene que ver con variables con dos valores posibles, El lgebra de conmutacin es un caso especial de un lgebra general de Boole En el lgebra de Boole que se estudiar, las constantes y variables booleanas slo pueden tener dos valores posibles: 0 o 1
Sistemas Digitales 2
lgebra de Boole
El 0 y 1 no representan nmeros, sino estados lgicos 0 lgico 1 lgico Falso Verdadero Desactivado Activado Bajo Alto No Si
Interruptor abierto Interruptor cerrado
Sistemas Digitales 3
lgebra de Boole
El lgebra de Boole permite analizar y disear funciones lgicas con circuitos lgicos digitales Una estructura matemtica como el lgebra de Boole, se puede definir a travs de un conjunto de axiomas y postulados. Por definicin, un axioma es una verdad acerca de las propiedades de la estructura
Sistemas Digitales
Sea S={0.1} un conjunto con los elementos 0 y 1 y con dos operaciones binarias (. , +) y una operacin unitaria () definidas como: A B A.B A B A+B A A 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1
Sistemas Digitales
Sistemas Digitales
Axioma 1 Axioma 1d
A . B est en S A + B est en S
Existencia de Identidades
Axioma 2
Axioma 2d
Existe una identidad 0 para + tal que A+0=A Existe una identidad 1 para . tal que A. 1=A
Sistemas Digitales 7
Leyes Conmutativas
Axioma 3 Axioma 3d
Existencia de un complemento
por cada elemento A que est en S, hay un complemento A que est en S tal que Axioma 5 A + A = 1 Axioma 5d A . A = 0
El dual (d) de una expresin se obtiene intercambiando (+) por (.) y 0 por 1
Sistemas Digitales
Leyes de Idempotencia
Teorema 1 Teorema 1d
A + A =A A . A=A
Teoremas de DeMorgan
Teorema 2 Teorema 2d
(A + B) = A . B (A . B) = A + B
Sistemas Digitales 10
Teorema 3 Teorema 3d
A+1=1 A . 0=0
Leyes de Absorcin
Teorema 4 Teorema 4d
A + (A . B) = A A . (A +B) = A
Sistemas Digitales 11
Leyes de Eliminacin
Teorema 5 Teorema 5d
A + (A . B) = A + B A . (A+B) = AB
Teorema 6 si A + X = 1 y A . X = 0, entonces X= A
Sistemas Digitales 12
Teorema de Involucin
Teorema 7 Teorema 7d
(A) = A 0 = 1
Sistemas Digitales
13
Sistemas Digitales
14
Sistemas Combinacionales
A B C N . . .
Sistema Combinacional
. . .
F1 F2 Fn
Sistemas Digitales
15
Sistemas Combinacionales
Una funcin lgica combinacional puede ser conceptualizada como un modelo lgico en la forma de Tablas de Verdad que especifica las salidas requeridas para cada combinacin de posibles entradas Una Tabla de Verdad define una nica funcin lgica combinacional F(A,B,C) que puede ser representada en las formas cannicas SOP (suma de productos) o POS (producto de sumas)
Sistemas Digitales 16
Sistemas Combinacionales
Tal expresin puede ser simplificada (reducida) a una expresin mnima lgicamente equivalente usando:
teoremas del lgebra de Boole mtodo de mapas de Karnaugh mtodo tabular de Quin-McCluskey
Sistemas Digitales
17
Tablas de Verdad
N=3 Comb=23=8
Sistemas Digitales
18
Un literal denota una variable con o sin un x y x son dos literales que se refieren a la misma variable Trmino cannico de una funcin lgica se define como todo producto o suma en el que aparecen todas las variables en su forma directa o complementada
P.e. Una funcin de tres variables, abc y a+b+c son trminos cannicos
Sistemas Digitales 19
producto de trminos cannicos Maxterm o suma cannica es una suma de trminos cannicos Funcin Cannica es una funcin formada exclusivamente por trminos de sumas cannicas o bien de productos cannicos. Si esta funcin tiene n variables, c/u de sus productos o sumas cannicas tendr n variables
Sistemas Digitales 20
mi = Mi
i
0 1 2
y
x
0 0 1
mi = Mi
y
0 1 0
Minterm
(i=0, 1, 2, 3)
Maxterm
M0 = x+y M1 = x+y M2 = x+y
m0 = xy m1 = xy m2 = xy
m3 = xy
M3 = x+y
21
Sistemas Digitales
F(x,y,z,.....) =
(ak . mk ), donde ak =0 o 1
F(x,y,z,.....) =
(bk + Mk ), donde bk =0 o 1
Sistemas Digitales
22
Maxterm
M0 = x+y
F
0
0
1 1
1
0 1
m1 = xy
m2 = xy m3 = xy
M1 = x+y
M2 = x+y M3 = x+y
1
1 0
Sistemas Digitales
23
La expresin cannica SOP para F son los trminos suma de productos con una funcin con valor 1 F = m1+ m2 = xy + xy Esta expresin puede ser escrita en forma abreviada: F(x,y) = (1,2) = m1+ m2
Sistemas Digitales 24
La expresin cannica POS para F son los trminos producto de sumas con una funcin con valor 0 F = M0 . M3 = (x + y) (x+ y) Esta expresin puede ser escrita en forma abreviada: (0,3) = M0 . M3 F(x,y) =
Sistemas Digitales 25
Es un circuito digital que tiene 2 o ms entradas y cuya salida responde a la funcin OR de sus entrada de acuerdo a la tabla de verdad siguiente: A B F=A+B A F = A+B B 0 0 0 0 1 1 Compuerta OR de 2 entradas 1 0 1 1 1 1
Sistemas Digitales 26
A B C
F = A+B+C
Compuerta OR de 3 entradas
Sistemas Digitales
27
La operacin OR produce un resultado 1 cuando cualquiera de las variables de entrada es 1 La operacin OR genera un resultado 0 slo cuando todas las variables de entrada son 0 En la operacin OR, se cumple que
1+1=1 1 + 1+ 1 = 1
Sistemas Digitales
28
F=A.B
Es un circuito digital que tiene 2 o ms entradas y cuya salida responde a la funcin AND de sus entrada de acuerdo a la tabla de verdad siguiente:
A B
A B F=A.B 0 0 0 0 1 0 1 0 0 1 1 1
F = A .B
Sistemas Digitales
29
A 0 1
F= A 1 0
Sistemas Digitales
30
Es un circuito digital con 2 o ms entradas y su salida responde a la funcin NOR de sus entrada de acuerdo a la tabla de verdad siguiente:
A B 0 0 0 1 1 0 1 1
F=(A+B) 1 0 0 0
A B
F = (A+B)
Sistemas Digitales
31
La operacin NOR produce un resultado 1 cuando todas las variables de entrada son 0 La operacin NOR genera un resultado 0 cuando cualquiera de las variables de entrada es 1 La operacin NOR combina las operaciones OR y NOT
Sistemas Digitales 32
F = (A B)
Es un circuito digital con 2 o ms entradas y su salida responde a la funcin NAND de sus entrada de acuerdo a la tabla de verdad siguiente:
A B 0 0 0 1 1 0 1 1
F = (AB)
La operacin NAND produce un resultado 0 cuando todas las variables de entrada son 1 La operacin NAND genera un resultado 1 cuando cualquiera de las variables de entrada es 0 La operacin NAND operaciones AND y NOT
Sistemas Digitales
combina
las
34
F = A B
Es un circuito digital que tiene 2 o ms entradas y cuya salida responde a la funcin EXOR de sus entrada de acuerdo a la tabla de verdad siguiente:
A F=A B
La operacin EXOR produce un resultado 0 cuando las dos variables de entrada son iguales La operacin EXOR genera un resultado 1 cuando slo una de las variables de entrada es 1
Sistemas Digitales
36
Cualquier circuito lgico puede describirse mediante las operaciones descritas A partir de algunas combinaciones de compuertas lgicas conectadas entre si es posible obtener una expresin algebraica que describe la operacin del sistema total
Sistemas Digitales
37
Ejemplos:
A B C F = AB + C
A B C
F = (A+B) C
Sistemas Digitales
38
Obtenida la expresin booleana para la salida de un circuito, el nivel lgico de salida se puede determinar para cualquier combinacin de valores de entrada Si se hace para todas las combinaciones, entonces es posible obtener la tabla de verdad del sistema
Sistemas Digitales
39
F = AB + C
C
1
2 3 4 5 6 7 8
0
0 0 0 1 1 1 1
0
0 1 1 0 0 1 1
0
1 0 1 0 1 0 1
0
1 0 1 0 1 1 1
40
Sistemas Digitales
Si la operacin de un circuito se define por medio de una expresin booleana, se puede hacer directamente un circuito lgico a partir de la expresin P.e. si se necesita un circuito definido por F= ABC, inmediatamente se sabe que se requiere una compuerta AND de tres entradas
Sistemas Digitales
41
Anlogamente F= A+B, se ve que se empleara una compuerta OR de 2 entradas con un inversor en la entrada B El razonamiento aplicado a estos casos aislados se puede aplicar a circuitos ms complejos
Sistemas Digitales 42
Sea la expresin F= AC+BC+ABC Se ve que hay 3 trminos (AC, BC y ABC) los cuales se operan todos con OR. Esto indica que se requiere una compuerta OR de 3 entradas iguales a los trminos mencionados
AC BC ABC F
Sistemas Digitales
43
A
B C
Pensando del mismo modo, se puede obtener el circuito para cada entrada El resultado es el siguiente
AC BC F
ABC
Sistemas Digitales
44
Ejemplo completo
Disear un sistema lgico que activar una alarma si una puerta o ventana es abierta durante hora no comercial Conceptualizacin: la activacin de la alarma F depende de 3 variables lgicas independientes Reloj (Clock) C
Puerta (Door) D
Ventana (Window)
0 (cerrada) o 1 (abierta)
0 (cerrada) o 1 (abierta)
Sistemas Digitales 45
Ejemplo completo
Tablas de verdad
Clock Door Window Alarma C 0 0 0 0 1 1 1 D 0 0 1 1 0 0 1 W 0 1 0 1 0 1 0 F 0 0 0 0 0 1 1
Comercial
Comercial Comercial Comercial No comercial No comercial No comercial No comercial
Cerrado
Cerrado Abierto Abierto Cerrado Cerrado Abierto Abierto
Cerrado
Abierto Cerrado Abierto Cerrado Abierto Cerrado Abierto
Off
Off Off Off Off On On On Sistemas Digitales
46
Ejemplo completo
C F
D W
Sistemas Digitales
47
Ejemplo completo
Simplificacin
F = CDW + CDW + CDW F = CDW + CDW + CDW + CDW F = CDW + CDW + CDW + CDW F = CW(D +D) + CD(W + W) F = CW (1) + CD (1) F = CW + CD F = C (W +D)
C D W
Sistemas Digitales
48
Las compuertas NAND y tambin las NOR generan cualquier funcin A booleana (AA) = A
A A (A+A) = A
Sistemas Digitales
49
A
B
B AB A
(AB)
AB
A B
(A+B) = AB
Sistemas Digitales
50
AB
A
B
(A+B)
((A+B)) = A+B
Sistemas Digitales
51
Existen varias formas para lograr una simplificacin de una expresin booleana
Sistemas Digitales
52
Si se toma una tabla de verdad, sta puede expresarse como una suma de productos de aquellas variables de entradas que hacen que la salida sea 1
B 0 1 F 0 1
A 0 0
1
1
0
1
1
1
0
1
0 0 2
1 1 3
Sistemas Digitales
54
(1, 2, 3)
Las celdas que tiene un lado comn son lgicamente adyacentes Dos celdas adyacentes difieren en una sola variable
Sistemas Digitales 55
Esto hace posible aplicar en forma reiterada la propiedad de adyacencia AB+AB = A Esto se logra en un mapa de Karnaugh combinando lgicamente dos celdas adyacentes
Sistemas Digitales
56
F=A+B
Sistemas Digitales 57
El ordenamiento es tal que siempre al cambiar de celda sta slo vara en una variable
Sistemas Digitales 58
Ejemplo: F(A,B,C)=
A\BC 00 0 1 01 1 1 1 11
10 1
(3,5,6,7)
F = BC + AC + AB
Sistemas Digitales 59
El mapa de Karnaugh ha sido construido tal que, las expresiones booleanas puedan ser simplificadas combinando celdas adyacentes conteniendo un 1 en un par de dos celdas Dos pares de 2 celdas pueden ser combinadas en un bloque de 4 celdas siempre que cada celda en un par sea lgicamente adyacente al otro par. En combinaciones repetidas, bloques de 4, 8,....2n-1 celdas puede ser combinadas en bloques, en el cual 2, 3, ......, n-1 variables son eliminadas
Sistemas Digitales 60
11
10
Sistemas Digitales
61
10
F= ABD
Sistemas Digitales 62
Ejemplo: F(A,B,C,D)=
AB\CD 00 01 11 00 01 11
10
1
1
1
1
BC(A+A)
10
Las celdas 7 y 15 y la 6 y 14 son adyacentes, por lo tanto P1 y P2 son adyacentes y pueden combinarse F = BC
Sistemas Digitales 63
Pares
01 1 11 10 AB\CD 00 00 1 01 1 11 01 1 11 10
AB\CD 00 00 1 01 11 10
1
1
1
1 1
10
Sistemas Digitales
64
Cuartetos
00 01 11 10 AB\CD
AB\CD
00 1
01 11 10 1 1
1
1 1 1
1
1 1 1 1
00 01
11
10
00 1
01 11 10 1 1
1
1 1 1
1
1 1 1 1
Sistemas Digitales
65
Octetos
AB\CD 00 1 1 1 1 01 1 1 1 1 1 1 1 1 11 10 1 00 1 01 11 10
Sistemas Digitales
66
Lo marcado con X en la salida F corresponde a salidas que nunca ocurrirn debido a que las combinaciones de entradas correspondiente no pueden ocurrir. Esto se denomina dont care
A 0 0 1 1 B 0 1 0 1 F 1 X 0 1
Sistemas Digitales
67
Los dont care pueden ser muy tiles al momento de reducir trminos Pueden ser considerados para realizar agrupaciones de celdas, lo cual resulta en una expresin con menos literales
Sistemas Digitales
68
00 1 01
11
10
Sistemas Digitales
69
Este mtodo tiene la ventaja que puede ser programado en un computador y puede aplicarse a n variables independientes. La complicacin del mtodo no aumenta cuando el nmero de variables se incrementa Este mtodo aplica sistemticamente los teoremas: A+A =A AB+ AB = A A + AB = A
Sistemas Digitales 70
A partir de la tabla de verdad de la funcin considerar los minterm cuya salida es F=1 P.e. F(A,B,C,D)= (1,4,6,7,8,9,10,11,15) Reordenar de acuerdo a la cantidad de 1s que contenga cada minterm
Sistemas Digitales
71
Un 1
1 4 8 6
0 0 1 0 1 0
0 1 0 1 0 0 1 0 1
0 0 0 1 0 1 1 1 1
1 0 0 0 1 0 1 1 1
8
9 10 11 15
1
1 1 1 1
0
0 0 0 1
0
0 1 1 1
0
1 0 1 1
Dos 1s Tres 1s
9 7
10 1 11 1
Cuatro 1s 15 1
Sistemas Digitales
72
1 4 8 6 9 10 7 11 15
* *
Sistemas Digitales
73
La suma de todos los implicantes primos, dar una expresin algebraica vlida para la funcin F Sin embargo, esta expresin no es necesariamente la que contiene el mnimo nmero de trminos Por lo tanto hay que seleccionar los implicantes esenciales Esta seleccin se hace a partir de una tabla de implicantes primos (IP)
Sistemas Digitales 74
En la tabla, cada IP se representa en una fila y cada trmino mnimo en una columna Se colocan X en cada fila para mostrar la composicin de los trminos mnimos que constituyen los IP Un mnimo grupo de IP se escoge de manera que abarque todos los trminos mnimos de la funcin
Sistemas Digitales 75
1 4 X X X 6 7 8 9 10 11 15
X
X X
IPE IPE
X X IP
X X
IPE
Sistemas Digitales
76