Académique Documents
Professionnel Documents
Culture Documents
CIRCUITOS LGICOS
1. ALGEBRA DE BOOLE
1.1 Introduccin
Tanto la teora de conjuntos como la lgica de enunciados tienen propiedades
similares. Tales propiedades se utilizan para definir una estructura matemtica denominada
lgebra de Boole, en honor al matemtico George Boole (1813-1864).
1.2 Definicin de lgebra de Boole
Sea B un conjunto en el cual se definen dos operaciones binarias, + y *, y una
operacin unitaria denotada ; sean 0 y 1 dos elementos diferentes de B. Entonces la
sextupla:
B, +, *, , 0, 1
se denomina lgebra de Boole si se cumplen los siguientes axiomas para cualesquiera
elementos a, b, c del conjunto B:
[B1]
Conmutatividad:
(1a) a + b = b + a
(1b)
a*b=b*a
[B2]
Distributividad:
(2a) a + (b * c) = (a + b) * (a + c)
(2b)
a * (b + c) = (a * b) + (a * c)
[B3]
Identidad:
(3a) a + 0 = a
(3b)
a*1=a
[B4]
Complemento:
(4a) a + a = 1
(4b)
a* a =0
(2b) a (b + c) = ab + ac
a + b * c significa a + (b * c) y no
a* b
significa a * ( b )
y no
; por
(a + b) * c
( a * b)
1.4 Dualidad
En un lgebra de Boole B, el dual de cualquier enunciado es el enunciado obtenido de
intercambiar las operaciones + y *, e intercambiar los elementos neutros 0 y 1 en el
enunciado original. Por ejemplo:
el dual de
(1 + a) * (b + 0) = b
es
(0 * a) + (b * 1) = b
Idempotencia:
(5a) a + a = a
(5b)
a*a=a
Acotamiento:
(6a) a + 1 = 1
(6b)
a*0=0
Absorcin:
(7a) a + (a * b) = a
(7b)
a * ( a + b) = a
(iv)
Asociatividad:
(8a) (a + b) + c = a + (b + c)
(8b)
(a * b) * c = a * (b * c)
(ii)
Involucin:
a =a
(iii)
(9a)
0 =1
(9b)
1 =0
(10a) a + b = a * b
(10b) a * b = a + b
p (q r) (p q) (p r)
(5a) a + a = a
ppp
(7a) a + (a * b) = a
p (p q) p
(10b) a * b = a + b
(p q) p q
(( abc + b) + ac)
ac + abc + abc
Pero la siguiente expresin no est en forma de suma de productos:
ac + aba + abc
ya que el segundo trmino no es un producto fundamental.
2. CIRCUITOS LGICOS
2.1 Introduccin
1
0
1
0
0
t
A
0
0
1
1
B
0
1
0
1
Y=A+B
0
1
1
1
C
D
A
0
0
1
1
B
0
1
0
1
Y=A*B
0
0
0
1
A
1
0
Y
0
1
Las compuertas NOR y NAND no son bsicas. Una compuerta NOR equivale a una
compuerta OR seguida de una compuerta NOT. Una compuerta NAND equivale a una
compuerta AND seguida de una compuerta NOT.
NOR
NAND
Por lo tanto, cuando las entradas son A y B, las salidas de estas compuertas resultan:
NOR:
Y = A+ B
NAND:
Y = A B
Es fcil notar que las tablas correspondientes a las compuertas OR, AND y NOT son
respectivamente idnticas a las tablas de verdad de la disyuncin, la conjuncin y la
negacin en la lgica de enunciados, donde slo se ha cambiado V y F por 0 y 1. Por lo
tanto, los circuitos lgicos, de los cuales tales compuertas son elementos, forman un
lgebra de Boole al igual que los enunciados de la lgica de enunciados.
Adoptaremos, entonces, aqu las mismas convenciones adoptadas en el caso del
lgebra de Boole:
Omitimos el smbolo *, usndose en su lugar la yuxtaposicin de variables.
Establecemos que + es ms fuerte que * y * es ms fuerte que .
Puesto que tanto el lgebra de Boole es la estructura algebraica tanto de los circuitos
como de la lgica de enunciados, la salida de un circuito lgico tambin puede expresarse
en el lenguaje de la lgica de enunciados. Por ejemplo, la salida del circuito anterior
resulta:
( A + B) C
(p q) r
Ejemplo: Y = (( A + B + C ) + DE ) DE E
A
B
C
D
E
(((p q r) (s t)) s t t)
3. SIMPLIFICACIN DE CIRCUITOS
3.1 Expresiones booleanas minimales
ES FS
El mtodo de los mapas de Karnaugh es un mtodo grfico para encontrar las formas
minimales de sumas de productos para expresiones booleanas que involucran un mximo
de seis variables. Aqu slo trataremos los casos de dos, tres y cuatro variables.
Dado un conjunto de variables {A1, A2, , AN}, pueden con ellas formarse los
productos fundamentales Pi que contienen todas las variables, o bien en su forma
complementada o bien en su forma no complementada. De tales productos fundamentales,
se dice que P1 y P2 son adyacentes si difieren exactamente en un literal, el cual tiene que
ser una variable complementada en uno de los productos y no complementada en el otro.
Por ejemplo, si el conjunto de variables es {A, B, C, D}:
Entre los productos fundamentales ABC , ABC , ACD no puede predicarse la relacin
de adyacencia, porque tales productos no contienen todas las variables.
Los pares de productos ABCD y ABC D , o ABCD y ABC D , o ABCD y ABCD no
son adyacentes porque difieren en ms de un literal.
Los pares de productos ABCD y ABCD , o ABCD y ABCD , o ABCD y ABCD son
adyacentes, porque difieren exactamente en un literal, que es una variable
complementada en uno de los productos y no complementada en el otro.
En un mapa de Karnaugh, cada uno de los productos fundamentales Pi que contienen
todas las variables es representado grficamente por un cuadrado, y la relacin de
adyacencia entre tales productos es representada por la adyacencia geomtrica.
3.3 Mapas de Karnaugh de dos variables
Sean las variables A y B. Con ellas pueden formarse cuatro productos fundamentales
Pi que contienen todas las variables:
AB
AB
AB
AB
Cada uno de estos productos ser representado por un cuadrado en la siguiente grfica,
respetando la relacin de adyacencia:
B
B
En esta grfica, todos los productos fundamentales se representan mediante grupos de 2n (20
o 21) cuadrados adyacentes:
A
P = AB (20=1 cuadrado)
P = AB (20=1 cuadrado)
B
B
A
X
P = AB (20=1 cuadrado)
P = AB (20=1 cuadrado)
B
X
P = A (21=2 cuadrados)
10
P = A (21=2 cuadrados)
P = B (21=2 cuadrados)
P = B (21=2 cuadrados)
B
B
ABC
ABC
ABC
ABC
ABC
ABC
ABC
Cada uno de estos productos ser representado por un cuadrado en la siguiente grfica,
respetando la relacin de adyacencia:
AB
AB
AB
AB
11
Ntese que, en este caso, los cuadrados de los extremos izquierdo y derecho tambin se
consideran adyacentes entre s, como si la grfica fuera un cilindro unido por ambos
extremos.
AB
AB
AB
AB
En esta grfica, todos los productos fundamentales se representan mediante grupos de 2n (20
o 21 o 22) cuadrados adyacentes.
AB
C
AB
AB
AB
AB
AB
AB
AB
AB
C
AB
AB
X
AB
12
AB
AB
AB
AB
X
AB
AB
AB
AB
AB
AB
AB
AB
C
X
AB
AB
AB
AB
C
X
AB
AB
AB
AB
13
AB
C
AB
AB
AB
P = AB (21=2 cuadrados)
AB
AB
AB
AB
AB
AB
P = AB (21=2 cuadrados)
AB
AB
P = AB (21=2 cuadrados)
AB
AB
AB
AB
AB
AB
AB
P = AB (21=2 cuadrados)
AB
P = AC (21=2 cuadrados)
14
AB
AB
AB
AB
P = AC (21=2 cuadrados)
AB
AB
AB
AB
AB
AB
P = BC (21=2 cuadrados)
AB
AB
P = BC (21=2 cuadrados)
AB
AB
AB
AB
AB
AB
P = AC (21=2 cuadrados)
AB
AB
P = AC (21=2 cuadrados)
15
AB
C
AB
AB
AB
X
P = BC (21=2 cuadrados)
AB
AB
AB
AB
P = BC (21=2 cuadrados)
AB
AB
AB
AB
AB
AB
AB
AB
AB
AB
AB
P = A (22=4 cuadrados)
AB
P = B (22=4 cuadrados)
P = A (22=4 cuadrados)
16
AB
C
AB
AB
AB
AB
AB
AB
AB
AB
AB
AB
AB
P = B (22=4 cuadrados)
P = C (22=4 cuadrados)
P = C (22=4 cuadrados)
ABCD
ABCD
ABCD
ABCD
ABCD
ABCD
ABCD
ABC D
ABC D
ABC D
ABC D
ABC D
ABC D
ABC D
ABC D
Cada uno de estos productos ser representado por un cuadrado en la siguiente grfica,
respetando la relacin de adyacencia:
17
AB
AB
AB
AB
CD
CD
CD
CD
Anlogamente al caso de tres variables, en este caso los cuadrados de los extremos
izquierdo y derecho tambin se consideran adyacentes entre s, y los cuadrados de los
extremos superior e inferior tambin se consideran adyacentes entre s.
En esta grfica, todos los productos fundamentales se representan mediante grupos de 2n (20
o 21 o 22 o 23) cuadrados adyacentes. Dada la cantidad de productos fundamentales, slo
presentaremos algunos casos.
AB
AB
AB
AB
CD
CD
CD
CD
18
AB
AB
AB
AB
CD
CD
CD
CD
AB
AB
AB
AB
CD
CD
CD
CD
AB
CD
CD
AB
AB
AB
X
CD
CD
19
AB
AB
AB
AB
CD
CD
CD
X
CD
AB
AB
AB
AB
CD
P = BC D (21=2 cuadrados)
CD
CD
CD
AB
AB
AB
AB
CD
CD
CD
P = AD (22=4 cuadrados)
CD
20
AB
CD
AB
AB
AB
P = BD (22=4 cuadrados)
CD
CD
CD
AB
AB
AB
AB
CD
CD
CD
P = BD (22=4 cuadrados)
CD
AB
CD
AB
AB
AB
X
P = BD (22=4 cuadrados)
CD
CD
CD
21
AB
AB
CD
CD
AB
AB
AB
AB
CD
CD
AB
AB
AB
AB
CD
CD
AB
CD
CD
AB
P = B (23=8 cuadrados)
P = C (23=8 cuadrados)
CD
CD
CD
CD
P = A (23=8 cuadrados)
22
AB
AB
AB
AB
CD
CD
CD
P = D (23=8 cuadrados)
CD
1.a) E = AB + AB + B
A
F = A+ B
X
23
A
F
B
AB
AB
AB
AB
X
F = AC + B
A
C
AB
AB
X
X
AB
AB
F1 = AC + AB + AC
F1 = AC + BC + AC
En este caso, puede elegirse cualquiera de los dos valos punteados, obtenindose F1 si se
elige el valo vertical y F2 si se elige el valo horizontal. Dibujamos el circuito
correspondiente a F1.
24
A
C
F1
AB
CD
CD
CD
CD
AB
AB
F = AD + ACD + ABD
25
CD
AB
AB
CD
CD
AB
F = D + ABC
CD
AB
AB
X
CD
CD
AB
X
X
F = ABD + C D + BD
X
X
X
CD
26