Documentos de Académico
Documentos de Profesional
Documentos de Cultura
lgebra de Boole
Funciones Lgicas
Escuela Politcnica Superior
Ingeniera Informtica
Universidad Autnoma de Madrid
TEMA 5: LGEBRA DE
BOOLE. FUNCIONES
LGICAS
5.1 Variables Lgicas
Variables y funciones lgicas.
Bibliografa Tema 5:
- Fundamentos de Sistemas Digitales. T. L. FLOYD.
(Prentice Hall, 2000). Caps. 1, 3 y 4.
Escuela Politcnica Superior
Diagramas de Karnaugh.
Seales Digitales
- La informacin binaria que manejan los sistemas digitales aparece
en forma de seales digitales que representan secuencias de bits.
- Cuando la seal est a nivel ALTO, se representa con 1 binario,
mientras que si la seal est a nivel BAJO, lo indica un 0 binario.
- Cada bit dentro de una secuencia ocupa un intervalo de tiempo
definido denominado periodo del bit.
- En los sistemas digitales, todas las seales se sincronizan con una
seal de temporizacin bsica de reloj.
- El reloj es una seal peridica en la que cada intervalo entre
impulsos (el periodo) equivale a la duracin de 1 bit.
Ejemplo de una seal de reloj sincronizada con la seal A
Variable Lgica
Funciones Lgicas
lgebra de Boole
- Hacia 1850, el matemtico y lgico irlands George Boole (18511864), desarroll un sistema matemtico para formular proposiciones
lgicas con smbolos, de manera que los problemas pueden ser
escritos y resueltos de una forma similar al lgebra tradicional.
- El lgebra de Boole se aplica en el anlisis y el diseo de los
sistemas digitales.
- Una variable booleana es cualquier smbolo que en un instante
determinado slo puede tomar uno de dos valores: 0 y 1.
- Existen varios tipos de circuitos lgicos que se utilizan para
implementar funciones lgicas u operaciones lgicas. Estos circuitos
son los elementos bsicos que constituyen los bloques sobre los que se
construyen sistemas digitales ms complejos, como por ejemplo una
computadora.
Operaciones Lgicas
Funciones Lgicas
A
1
0
X
0
1
NOT
A
0
0
1
1
B
0
1
0
1
X
0
0
0
1
A
0
0
1
1
B
0
1
0
1
X
0
1
1
1
una salida
una salida
- El funcionamiento de las
puertas, operaciones y
funciones lgicas se
describe con las tablas
de verdad.
- Son representaciones
tabulares que especifican
la salida de la puerta o
funcin lgica para todas
las posibles combinaciones7
de entradas.
Operaciones Lgicas
Puertas Lgicas
- Puertas Lgicas: circuitos que aceptan valores lgicos a la entrada
y producen valores lgicos a la salida. Un circuito que realiza una
operacin lgica determinada (NOT, AND, OR) se llama puerta
lgica.
- Lgica Combinatoria: cuando en un circuito lgico el estado de las
salidas depende slo del estado de las entradas, es decir
combinaciones de diferentes valores lgicos a la entrada de un
circuito lgico hacen que aparezcan distintos valores lgicos a la
salida. En este curso se tratar la Lgica Combinatoria.
- Lgica Secuencial: si el estado de la salida depende del estado de
las entradas y tambin del estado anterior del circuito. Esta lgica
no se tratar en este curso.
Puertas Lgicas
Puerta Amplificador
Puerta NOT o Inversor
Puerta AND
Puerta OR
Puerta NAND
Puerta NOR
Puerta XOR
Puerta XNOR
Escuela Politcnica Superior
Puerta Amplificador
A
Escuela Politcnica Superior
X
10
Puerta Amplificador
Tabla de verdad:
A
Ecuacin Lgica:
X = A
Escuela Politcnica Superior
11
12
Funcionamiento:
Cuando la entrada est a nivel BAJO, la salida est a nivel ALTO.
Cuando la entrada est a nivel ALTO, la salida est a nivel BAJO.
13
Salida
Diagrama de tiempos:
Una grfica que representa de forma precisa las relaciones de dos o ms
formas de onda en funcin del tiempo.
14
15
16
Puerta AND
La puerta AND es una de las puertas bsicas
con la que se construyen todas las funciones
lgicas.
Tiene dos o ms entradas y una nica salida.
Realiza la operacin que se conoce como
multiplicacin lgica.
Smbolo lgico estndar:
17
18
Entrada B
0
1
0
1
Salida X=AB
0
0
0
1
19
20
X = AB
21
22
23
Puerta OR
Es otra de las puertas bsicas con las que se
construyen todas las funciones lgicas.
Tiene dos o ms entradas y una nica salida.
Realiza la operacin que se conoce como suma
lgica.
Smbolo lgico estndar:
24
25
Entrada A
0
0
1
1
Entrada B
0
1
0
1
Salida X=A+B
0
1
1
1
26
27
28
X=A+B+C+D
29
30
Puerta NAND
Es un elemento lgico popular debido a que se
puede utilizar como puerta universal:
Se pueden combinar para implementar las operaciones de las
puertas AND, OR y del Inversor.
31
32
Entrada A
0
0
1
1
Entrada B
0
1
0
1
Salida X
1
1
1
0
33
34
35
Ecuacin lgica:
00 = 0 = 1
01 = 0 = 1
10 = 0 = 1
11 = 1 = 0
X = AB
X = A .B
36
37
Puerta NOR
Al igual que la puerta NAND, es un elemento lgico til
porque tambin se puede emplear como puerta
universal:
Se pueden usar combinadas para implementar las operaciones AND, OR
y del Inversor.
38
39
Entrada A
0
0
1
1
Entrada B
0
1
0
1
Salida X
1
0
0
0
40
41
42
Ecuacin lgica:
0+0 = 0 = 1
0+1 = 1 = 0
1+0 = 1 = 0
1+1 = 1 = 0
X = A+B
43
44
45
Puerta XOR
La puerta XOR tiene slo dos entradas.
Smbolo lgico estndar:
46
47
Entrada A
0
0
1
1
Entrada B
0
1
0
1
Salida X
0
1
1
0
48
49
50
B = AB + AB
51
Puerta XNOR
La puerta XNOR, al igual que la XOR, slo tiene
dos entradas.
Smbolo lgico estndar:
52
53
Entrada A
0
0
1
1
Entrada B
0
1
0
1
Salida X
1
0
0
1
54
55
56
57
58
CMOS
Es la tecnologa utilizada en los circuitos de
gran escala de integracin y
microprocesadores.
Es la ms popular en la actualidad.
Su mayor ventaja reside en ofrecer mucha
menor disipacin de potencia.
59
TTL
Es una tecnologa de circuitos integrados muy
popular.
Su mayor ventaja reside en las grandes
velocidades de conmutacin.
Tambin ofrece una enorme variedad de
dispositivos.
60
62
63
lgebra de Boole
El lgebra de Boole es una forma muy adecuada
para expresar y analizar las operaciones de los
circuitos lgicos.
Se puede considerar las matemticas de los
sistemas digitales.
Operaciones bsicas:
Adicin booleana.
Multiplicacin booleana.
Escuela Politcnica Superior
64
Adicin Booleana
La suma booleana es equivalente a la operacin
OR:
Un trmino suma es igual a 1 cuando uno o ms de sus
literales es un 1.
Un trmino suma es igual a 0 si y slo si cada uno de sus
literales es 0.
65
Multiplicacin Booleana
La multiplicacin booleana es equivalente a la
operacin AND:
Un trmino producto es igual a 1 si y slo si cada uno de sus
literales es un 1.
Un trmino producto es igual a 0 si uno o ms de sus literales
es 0.
66
67
Leyes Conmutativas
El orden en que se aplica a las variables la
operacin OR es indiferente:
Ley conmutativa de la suma para dos variables
A+B = B+A
El orden en que se aplica a las variables la
operacin AND es indiferente:
Ley conmutativa de la multiplicacin para dos variables
AB = BA
Escuela Politcnica Superior
68
Leyes Asociativas
Al aplicar la operacin OR a ms de dos variables, el
resultado es el mismo independientemente de la forma
en que se agrupen las variables:
Ley asociativa de la suma para tres variables
A + (B + C) = (A + B) + C
A(BC) = (AB)C
69
Ley Distributiva
Aplicar la operacin OR a dos o ms variables y luego
aplicar la operacin AND al resultado de la operacin y
a otra variable aislada, es equivalente a aplicar la
operacin AND a la variable aislada con cada uno de los
sumandos y luego aplicar la operacin OR a los
productos resultantes.
Esta ley tambin expresa el proceso de sacar factor
comn, en el que la variable comn se saca como factor
de los productos parciales.
Ley distributiva para tres variables
A(B + C) = AB + AC
Escuela Politcnica Superior
70
A+0=A
A+1=1
A0=0
A1=A
5.
6.
7.
8.
A+A=A
A+A=1
AA=A
AA=0
9. A = A
10. A + AB = A
11. A + AB = A + B
12. (A + B)(A + C) = A + BC
71
A+0=A
X=0
2. A + 1 = 1
X=1
3. A 0 = 0
X=0
4. A 1 = A
5. A + A = A
Escuela Politcnica Superior
72
X=0
9. A = A
Escuela Politcnica Superior
73
74
Regla 10: A = A + AB
Sacar factor comn
Regla 6: A + A = 1
Regla 4: A 1 = A
75
Ley distributiva
Regla 7: AA = A
Regla 10: A + AB = A
(aplicada 2 veces)
76
Teoremas de DeMorgan
DeMorgan propuso dos teoremas que
constituyen una parte muy importante del
lgebra de Boole.
Estos teoremas nos demuestran la equivalencia
entre:
Las puertas NAND y Negativa-OR
Las puertas NOR y Negativa-AND
77
78
79
80
A + BC + D (E + F)
Paso 1. Identificar los trminos a los que se puede aplicar los teoremas de DeMorgan y
considerar cada trmino como una nica variable. Definimos:
Paso 5. Como
Paso 6. Utilizando la regla 9 A = A para eliminar la barra doble del termino E + F
Escuela Politcnica Superior
81
82
A (B + CD)
83
84
85
B + CD = 1 + 0 = 1
B + CD = 0 + 1 = 1
B + CD = 1 + 1 = 1
C y D son 1.
Conclusin:
86
87
88
89
90
91
92
X = AB + BCD + AC
Escuela Politcnica Superior
93
94
95
96
97
En este caso, el resultado son cuatro productos estndar. El tercer trmino ABCD, ya
est en formato estndar. La suma de productos estndar que obtenemos es finalmente:
Escuela Politcnica Superior
98
99
100
X = (A + B) (B + C + D) (A + C)
101
102
103
104
105
106
107
108
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
X
0
1
0
0
1
0
0
1
Minterms
(A . B . C)
(A . B . C )
(A . B . C)
109
110
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
X
0
1
0
0
1
0
0
1
Minterms
Maxterms
(A + B + C)
(A . B. C )
(A + B + C)
(A + B + C)
(A . B. C )
(A + B + C)
(A + B + C)
(A . B. C )
111
112
113
114
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
X
0
0
0
1
1
0
1
1
115
116
117
(A+B+C)(A+B+C)(A+B+C)
Escuela Politcnica Superior
118
119
120
121
5
122
123
00
01
11
10
00
01
A B C D A B C DA B C D A B C D
12
13
15
14
11
A B C D A B C DA B C D A B C D
10
11
10
124
125
126
127
128
129
001
110
100
01
11
10
130
131
132
133
Agrupacin de 1s (I)
3.
4.
134
Agrupacin de 1s (II)
0
AB
00 1
01
11 1
10
C
AB
0
00 1
01
11 1
10
1
1
1
1
1
1
AB
0
00 1
01 1
11
10 1
C
AB
00
01
11
10
1
1
1
1
1
1
1
CD
00
01
11
10
0
1
AB
AB
CD
00
01
11
10
CD
00 01 11
00 1
01 1 1
11 1 1
1
10 1
00 01 11 10 AB
1
1
1
1
1
00 01 11 10 AB CD00 01 11
1
1
00 1
1
1
1
1
01 1 1
11 1 1
1 1
1
10 1
10
1
1
1
1
10
1
1
1
1
135
136
137
138
B + AC + ACD
Escuela Politcnica Superior
139
(b) B + AC + AC
(c) AB + A C + ABD
(d) D + ABC + BC
140
BCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD
141
142
143
144
145
146
147
(C + D)(A + B + D)(A + B + C)
Escuela Politcnica Superior
148
149
150
151
152
153
154
155
156