Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Álgebra de Boole. Lógica Combinacional PDF
Álgebra de Boole. Lógica Combinacional PDF
Lgica combinacional 1
TEMA - 2
LGEBRA DE BOOLE. LGICA COMBINACIONAL.
El control digital, y en particular el binario, est presente en todos los campos de la vida,
desde los sistemas de refrigeracin hasta los complejos sistemas de control de vuelo. Aunque
los circuitos electrnicos de estos sistemas pueden tener niveles de complejidad muy
diferentes, todos se basan en combinaciones de elementos ms pequeos llamados puertas
lgicas, las cuales se construyen a partir de transistores y elementos pasivos.
La funcin lgica es aquella que relaciona las entradas y salidas de un circuito lgico.
Puede expresarse mediante:
1. Tabla de verdad: Es ella se representan a la izquierda todos los estados posibles de las
entradas (en el ejemplo, el estado del conmutador) y a la derecha los estados
correspondientes a la salida (en el ejemplo, la lmpara).
2. Funcin booleana: Es una expresin matemtica que emplea los operadores booleanos
(en el ejemplo, L = S).
2 T-2 lgebra de Boole. Lgica combinacional
Smbolo
A B L A B L
A
0 0 0
L 1 cerrado
0 1 0 B
0 abierto
1 0 0
1 1 1
Figura 2-2. Circuito equivalente a una puerta AND de
dos entradas.
La salida de una puerta AND es verdadera (1) si, y slo si, todas las entradas son
verdaderas. Esta operacin corresponde a una multiplicacin lgica binaria que para dos
entradas sera: L= A B .
A
Smbolo
A B L
0 0 0 A B L
L 1 cerrado
0 1 1
B 0 abierto
1 0 1
1 1 1
Figura 2-4. Circuito equivalente a una puerta OR de dos
entradas.
En este caso la relacin es la siguiente: la lmpara se encender si y slo si, el
conmutador A O (OR) el B estn cerrados. Esta funcin se describe en la tabla de verdad.
La salida de una puerta OR es verdadera (1) si, y slo si, al menos una de las entradas
es verdadera. Esta relacin corresponde a una suma lgica binaria: L= A + B.
T-2 lgebra de Boole. Lgica combinacional 3
Smbolo A B L
A A 0 0 1
L L 0 1 1
B B
1 0 1
1 1 0
A B L Smbolo
A B C L
0 0 0 0 0 0 0
A
0 1 1 A 0 0 1 1 B L
L C
1 0 1 0 1 0 1
B
1 1 0 0 1 1 0
Figura 2-5. XOR de tres entradas.
1 0 0 1
1 0 1 0
X
1 1 0 0
A L 1 1 1 1
B
Y
A B C Smbolo
X
0 0 1
0 1 0 A C A C
1 0 0 B B
1 1 1
Y
3. Algebra de Boole.
Proporciona una notacin para describir funciones lgicas y define un nmero de
operaciones que se pueden realizar con el fin de simplificarlas.
A B
NOT A B 1 B=A 0 1
1 0
NAND A B C
A 0 0 1
C & C = A B 0 1 1
B 1 0 1
1 1 0
NOR A B C
A 0 0 1
C 1 C = A +B 0 1 0
B
1 0 0
1 1 0
EXOR A B C
A
C C = A B + AB 0 0 0
B
=1 0 1 1
C = A B 1 0 1
1 1 0
A B C
NOR
A
C
C = A B + A B 0 0 1
B =1 0 1 0
exclusiva
C = A B 1 0 0
1 1 1
En la Tabla 2-1 adems de los smbolos distintivos vistos con anterioridad se muestran
los smbolos rectangulares que con frecuencia se emplea en la documentacin industrial. En
estos smbolos el indicador de negacin en lugar de un crculo ( o ) es un tringulo ( ) que
indica inversin cuando se coloca a la entrada o en la salida de un elemento lgico.
A B C C = ( AB) + (AB) = AB + AB
0 0 0
0 1 1
1 0 0
1 1 1
Esta expresin se ha extrado de la tabla tan slo mediante la descripcin de los estados
de A y B para cada lnea en la que C es 1 y unindolos mediante la funcin OR. Las funciones
booleanas que describen el comportamiento de un sistema binario las podemos expresar de
dos formas: en minterms o en maxterms.
Ejemplo 2-2. Obtencin de la expresin booleana de un circuito a partir del diagrama lgico.
A A A B
C
C = A B + A B
B B A B
Considerar la expresin: C = AB + AB + ( A + B)
AB
A
La funcin tiene tres componentes
unidos por la funcin OR, por tanto, la salida
vendr de un puerta OR de tres entradas. Las AB
C
entradas de esta puerta sern los tres
componentes de la expresin: la 1 , A B
proviene de una puerta AND de dos entradas A
y B ; la 2 de una NAND de entradas A y B, y B A +B
la 3 de una puerta NOR de dos entradas.
Ley conmutativa: AB = BA
A + B = B+A
Ley de DeMorgan A + B = AB
AB = A + B
A + AB = A + B
A( A + B) = AB
4. Simplificacin de funciones.
D =B C + A B C+ A B C+ A BC A
A AB
D
D = B C + A B C + B C ( A + A) D
B
D =BC+A BC+BC
D = A B C + C (B + B) C
D=AB+C
Ejemplo 2-5. Homogeneizacin con puertas NAND de una expresin dada en forma de minterms:
D = A BC+ ABC+BC
A
En primer lugar hay que negar dos veces toda la
B
C expresin:
A
B D = A B C+ A B C + BC
C
Y aplicar el 1 teorema de DeMorgan:
B
C D = (A B C) (A B C) (B C)
A
A A
B
C
A
B B
B
C
C C B
C
T-2 lgebra de Boole. Lgica combinacional 9
Ejemplo 2-6. Homogeneizacin con puertas NAND de una expresin dada en forma de maxterms:
D = (A + B + C) ( A + B + C) (A + B + C)
Se niega dos veces cada elemento del producto y dos veces toda la expresin:
D = (A + B + C) ( A + B + C) (A + B + C)
A
A A
B
C
B B A
B
C
A
C C B
C
Ejemplo 2-7. Homogeneizacin con puertas NOR de una expresin dada en forma de minterms:
D = A BC+ ABC+BC
D = ( A B C) + (A B C) + (B C)
A
A A B
C
B A
B
B
C
C C B
C
10 T-2 lgebra de Boole. Lgica combinacional
Ejemplo 2-8. Homogeneizacin con puertas NOR de una expresin dada en forma de maxterms:
D = (A + B + C) ( A + B + C) (A + B + C)
A A A
B
C
B A
B
B
C
A
C C
B
C
A B C C A
0 0 0 0 1
0 1 0
B 0 0 1
1 0 1
1 1 0 1 0 0
Los 1 adyacentes se suelen marcar con una lnea que los bordea.
E AB E AB
00 01 11 10 00 01 11 10
00 0 1 1 0 CD 00 0 0 1 0 ABD
BCD
01 0 0 0 0 A CD 01 1 0 0 1 BCD
CD
11 1 1 0 1 11 0 0 0 0
ABC
10 0 0 0 1 10 1 0 1 1 BCD
La fila superior e inferior se consideran adyacentes, al igual que las columnas derecha e
izquierda.
E AB E AB
00 01 11 10 00 01 11 10
00 1 1 1 1 CD CD 00 1 0 1 1 BD
01 0 1 1 0 01 0 0 1 0 AB
CD BD
11 0 1 1 0 11 0 0 1 0
10 0 0 0 0 10 1 0 1 1
E AB E AB
00 01 11 10 00 01 11 10
00 0 0 0 0 00 1 0 0 1
01 1 1 1 1 01 1 0 0 1 B
CD D
CD
11 1 1 1 1 11 1 0 0 1
10 0 0 0 0 10 1 0 0 1
Los mapas de Karnaugh tambin se pueden emplear para simplificar expresiones con
ms de cuatro variables de entrada, pero el mtodo se complica. Por lo general para muchas
entradas se emplean tcnicas de ordenador automatizadas, como el mtodo desarrollado por
McCluskey.
Condiciones irrelevantes.
Cuando el estado de una variable de salida no est definido, es decir, puede ser 0 o 1,
se representar con una X y podremos elegir su valor para simplificar al mximo la funcin de
salida.
D AB
00 01 11 10
0 0 1 1 0
C
1 0 1 1 1
T-2 lgebra de Boole. Lgica combinacional 13
A0 B0 M I m
A0 m A<B 0 0 0 1 0
I A=B 0 1 0 0 1
M
B0 1 0 1 0 0
M A>B 1 1 0 1 0
A
m
=
= + = B
I
A (A1, A0) m
A1 = B1 A0 > B0
I I (A = B) A1 = B1 y A0 = B0
B (B1 ,B0)
M A1 < B1
m (A < B)
A1 = B1 A0 < B0
A1 m m
1
I
B1
M A<B A=B A>B
A0
I A<B
B0
A0 m
A1 A=B
I M B1 A>B
B0
M
Semi-sumador binario.
Recordemos las reglas bsicas de la adicin binaria: 0+0=0
0+1=1
1+0=1
1 + 1 = 10
La funcin del semi-sumador es sumar dos nmeros binarios que se aplican a las
entradas A y B y generar la suma y un acarreo de salida Cout.
A Cout
A B Cout S A AB
0 0 0 0
Cout
B 0 1 0 1
S
1 0 0 1
1 1 1 0 AB S
C out = AB B
S = AB + AB = A B
Sumador completo.
A diferencia del anterior, un sumador completo tiene tres entradas porque incluye una
entrada de acarreo Cin.
A B Cin Cout S
A Cout 0 0 0 0 0 C out = A B + A C in + B C in
B 0 0 1 0 1
S = A B C in + A B C in + AB C in + A B C in
Cin S 0 1 0 0 1
0 1 1 1 0 S = ( A B) C in
1 0 0 0 1
1 0 1 1 0
AB
1 1 0 1 0
A
1 1 1 1 1
B
S = ( A B) C in
Cin
(A B)Cin
AB
A S A S S
B Cout B Cout
Cin
Cout
T-2 lgebra de Boole. Lgica combinacional 15
CO S CO S CO S CO S
Ci Ci Ci Ci 0
A3 B3 A2 B2 A1 B1 A0 B0
(MSB) (MSB) (LSB) (LSB)
S1 = A 1 A 0 1 1 0 0 0 1 S2
S 2 = A1 A 0
S3 = A1 A 0 S3
Cdigo BCD
Decodificador BCD-decimal. Salida decimal
A3 A2 A1 A0
0 0 0 0 0 (S0)
Convierte cdigo BCD en uno de los diez posibles
0 0 0 1 1 (S1)
dgitos decimales. Frecuentemente se le denomina
0 0 1 0 2 (S2)
decodificador de 4 lneas a 10 lneas.
0 0 1 1 3 (S3)
0 1 0 0 4 (S4)
0 1 0 1 5 (S5)
0 1 1 0 6 (S6)
0 1 1 1 7 (S7)
1 0 0 0 8 (S8)
1 0 0 1 9 (S9)
T-2 lgebra de Boole. Lgica combinacional 17
A3A2 A3A2
N A3 A2 A1 A0 a b c d e f g 00 01 11 10 00 01 11 10
0 0 0 0 0 1 1 1 1 1 1 0 00 1 0 X 1 00 1 1 X 1
1 0 0 0 1 0 1 1 0 0 0 0 01 0 1 X 1 01 1 0 X 1
2 0 0 1 0 1 1 0 1 1 0 1
A1A0
11 1 1 X X 11 1 1 X X
3 0 0 1 1 1 1 1 1 0 0 1 10 1 1 X X 10 1 0 X X
4 0 1 0 0 0 1 1 0 0 1 1
5 0 1 0 1 1 0 1 1 0 1 1 a = A1 + A 3 + A 0 A 2 + A 0 A 2 b = A 2 + A1A 0 + A1 A 0
6 0 1 1 0 1 0 1 1 1 1 1
7 0 1 1 1 1 1 1 0 0 0 0
8 1 0 0 0 1 1 1 1 1 1 1 A3A2 A3A2
9 1 0 0 1 1 1 1 0 0 1 1 00 01 11 10 00 01 11 10
10 1 0 1 0 X X X X X X X 00 1 1 X 1 00 1 0 X 1
11 1 0 1 1 X X X X X X X 01 1 1 X 1 01 0 1 X 0
A1A0
12 1 1 0 0 X X X X X X X 11 1 1 X X 11 1 0 X X
13 1 1 0 1 X X X X X X X 10 0 1 X X 10 1 1 X X
14 1 1 1 0 X X X X X X X
c = A 2 + A 0 + A1 d = A1 A 0 + A1 A 2 + A 0 A 2 + A 0 A1A 2
15 1 1 1 1 X X X X X X X
f = A 2 A 0 + A1 A 0 + A 3 + A 2 A1
a
e = A 2 A 0 + A1 A 0
g
A0 f f b
A1 e
A2 d
A3 c g
b
a
e c
Display de LEDs
Un tipo comn de display de 7 segmentos es el de d
diodos emisores de luz (light-emitting diode, LED). Cada
segmento es un LED que emite luz cuando lo atraviesa
una corriente elctrica. Hay dos configuraciones +V
posibles:
a a
e e
c c
d d
a) nodo comn b) Ctodo comn
A D
Multiplexor Demultiplexor
B E
C F
5.4.1.- Multiplexor.
Un multiplexor es un circuito que transmite los datos digitales procedentes de varias
lneas de entrada a una nica lnea de salida segn una secuencia especfica. Funcionalmente,
se puede representar mediante una operacin de conmutacin electrnica, que
secuencialmente conecta cada una de las lneas de entrada a la lnea de salida.
Son sistemas digitales de varias entradas y una salida, en los que la salida es igual a
una de las entradas dependiendo de la combinacin de las lneas de control. Para un
multiplexor de n lneas de control Ci , el nmero de entradas ser 2n.
E0 C1 C0 S
E1 0 0 E0
E2 S 0 1 E1
E3 1 0 E2
1 1 E3
Lneas de control C0 C1
S = C0 C1 E0 + C0 C1 E1 + C0 C1 E2 + C0 C1 E3
5.4.2.- Demultiplexor.
Un demultiplexor es un circuito que transmite los datos digitales procedentes de una
lnea de entrada a varias lneas de salida segn una determinada secuencia. Esencialmente,
es un multiplexor invertido.
Entrada S0 S0 = E C0 C1
S0 S1 = E C0 C1
S1
E S1 S2 = E C0 C1
S2
S3 S3 = E C0 C1
C0
S2
Lneas de control C0 C1
C1
S3