1

Lgica FCE



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:
[B
1
] Conmutatividad:
(1a) a + b = b + a (1b) a * b = b * a
[B
2
] Distributividad:
(2a) a + (b * c) = (a + b) * (a + c) (2b) a * (b + c) = (a * b) + (a * c)
[B
3
] Identidad:
(3a) a + 0 = a (3b) a * 1 = a
[B
4
] Complemento:
(4a) a + a = 1 (4b) a * a = 0

1.3 Terminologa y convenciones
Las operaciones + y * se denominan suma y producto, respectivamente.
La operacin a se denomina complemento de a.
El elemento 0 se denomina elemento cero (neutro respecto de la suma).
2
El elemento 1 se denomina elemento unidad (neutro respecto del producto).
Por convencin, omitimos el smbolo *, usndose en su lugar la yuxtaposicin; de este
modo, (2a) y (2b) se escriben:
(2a) a + bc = (a + b) (a + c) (2b) a (b + c) = ab + ac
Por convencin, establecemos que + es ms fuerte que * y * es ms fuerte que ; por
ejemplo:
a + b * c significa a + (b * c) y no (a + b) * c
a * b significa a * ( b ) y no ( * ) 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
Con esta definicin de dualidad puede observarse que, en la definicin de lgebra de
Boole, los axiomas del grupo (1) son duales de los axiomas del grupo (2) y viceversa. En
otras palabras, el dual de cualquier axioma de B tambin es un axioma. En consecuencia,
se cumple el siguiente teorema:
Teorema 1.1 (Principio de dualidad): En un lgebra de Boole, el dual de cualquier
teorema es tambin un teorema.
Esto significa que, si cualquier teorema es una consecuencia de los axiomas de un lgebra
de Boole, entonces el dual tambin es una consecuencia de estos axiomas ya que se puede
probar usando el dual en cada paso de la demostracin original.

1.5 Teoremas bsicos
Utilizando los axiomas de la definicin de un lgebra de Boole, pueden demostrarse
los siguientes teoremas:
Teorema 1.2: Sean a, b, c elementos cualesquiera de un lgebra de Boole B, se cumple:
(i) Idempotencia:
(5a) a + a = a (5b) a * a = a
(ii) Acotamiento:
(6a) a + 1 = 1 (6b) a * 0 = 0
(iii) Absorcin:
(7a) a + (a * b) = a (7b) a * (a + b) = a

3
(iv) Asociatividad:
(8a) (a + b) + c = a + (b + c) (8b) (a * b) * c = a * (b * c)
Teorema 1.3: Sea a un elemento cualquiera de un lgebra de Boole B, se cumple:
(i) Unicidad del complemento:
Si a + x = 1 y a * x = 0, entonces x = a
(ii) Involucin:
a = a
(iii) (9a) 0 = 1 (9b) 1 = 0
Teorema 1.4: Leyes de De Morgan
(10a) * a b a b + = (10b) * a b a b = +
Es importante insistir que el lgebra de Boole es la estructura algebraica de la lgica
de enunciados. En efecto, si se reemplazan las variables a, b, c, por variables
proposicionales, la suma y el producto por la disyuncin y la conjuncin respectivamente,
el complemento por la negacin, la igualdad por el bicondicional, y 1 y 0 por V y F
respectivamente, todos los axiomas y teoremas del lgebra de Boole se transforman en
axiomas o teoremas de la lgica de enunciados. Por ejemplo:
(2b) a * (b + c) = (a * b) + (a * c) p (q r) (p q) (p r)
(5a) a + a = a p p p
(7a) a + (a * b) = a p (p q) p
(10b) * a b a b = + (p q) p q

1.6 Forma de suma de productos
Considrese un conjunto de variables a, b, c, d, .
Una expresin booleana E en estas variables es o una variable o una expresin
construida con estas variables y usando las operaciones booleanas +, * o . Por
ejemplo, las siguientes son expresiones booleanas:
( ) ( ) a bc abc ab + + + (( ) ) abc b ac + +
Un literal es una variable o una variable complementada. Por ejemplo, a, a , b, b son
literales.
Un producto fundamental es un literal o un producto de dos o ms literales en el cual no
hay dos literales con la misma variable. Por ejemplo, ac , abc , a, b , bc , abc son
4
productos fundamentales. En cambio, abac y abcb no son productos fundamentales: el
primero contiene a y a , mientras que el segundo contiene b dos veces.
Una expresin booleana E est en forma de suma de productos si E es un producto
fundamental o una suma de dos o ms productos fundamentales. Por ejemplo, la
siguiente expresin est en suma de productos:
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
Un circuito lgico es un dispositivo que tienen una o ms entradas y exactamente una
salida. En cada instante cada entrada tiene un valor, 0 o 1; estos datos son procesados por
el circuito para dar un valor en su salida, 0 o 1.
Los valores 0 y 1 pueden representar ciertas situaciones fsicas como, por ejemplo, un
voltaje nulo y no nulo en un conductor.






Los circuitos lgicos se construyen a partir de ciertos circuitos elementales
denominados compuertas lgicas, entre las cuales diferenciaremos:
Compuertas lgicas bsicas: OR, AND, NOT.
Compuertas lgicas derivadas: NOR, NAND.

2.2 Compuerta OR
En una compuerta OR con entradas A y B, la salida Y resulta:
Y A B = +
donde la suma se define por la siguiente tabla:

V
t
1
0 0
1 1 1
0 0
5





La compuerta OR se representa del siguiente modo:




La compuerta OR tambin puede tener ms de dos entradas:




donde la salida Y=A+B+C+D puede obtenerse asociando los sumandos:
( ) ( ) (( ) ) Y A B C D A B C D A B C D = + + + = + + + = + + +

2.3 Compuerta AND
En una compuerta AND con entradas A y B, la salida Y resulta:
Y A B =
donde el producto se define por la siguiente tabla:





La compuerta AND se representa del siguiente modo:




A B Y=A+B
0 0 0
0 1 1
1 0 1
1 1 1
A B Y=A*B
0 0 0
0 1 0
1 0 0
1 1 1
A
B
Y
A
D
Y
B
C
A
B
Y
6
La compuerta AND tambin puede tener ms de dos entradas:




donde la salida Y=A*B*C*D puede obtenerse asociando los factores:
( ) ( ) (( ) ) Y A B C D A B C D A B C D = = =

2.4 Compuerta NOT
En una compuerta NOT con entrada A, la salida Y resulta:
Y A =
donde el complemento se define por la siguiente tabla:




La compuerta NOT se representa del siguiente modo:





2.5 Compuertas NOR y NAND
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.






A Y
1 0
0 1
Y
A
B
C
D
A Y
NOR
NAND
7
Por lo tanto, cuando las entradas son A y B, las salidas de estas compuertas resultan:
NOR: Y A B = +
NAND: Y A B =

2.6 Circuitos lgicos
Los circuitos lgicos se forman combinando compuertas lgicas. La salida de un
circuito lgico se obtiene combinando las tablas correspondientes a sus compuertas
componentes.
Por ejemplo:
( ) Y A B C = +






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



A
B
C
Y
8
Ejemplo: (( ) ) Y A B C DE DEE = + + +












La salida de este circuito, expresada en el lenguaje de la lgica de enunciados, resulta:
(( ) ) A B C DE DEE + + + (((p q r) (s t)) s t t)

3. SIMPLIFICACIN DE CIRCUITOS

3.1 Expresiones booleanas minimales
Considrese una expresin E en un lgebra de Boole B. Como E puede representar un
circuito lgico, es posible que pretendamos obtener una expresin F que, siendo
equivalente a la expresin original, sea en algn sentido mnima; de esta forma,
lograramos minimizar la cantidad de compuertas lgicas utilizadas para implementar la
operacin buscada, con la consiguiente economa de recursos. Aqu nos concentraremos en
la forma minimal de las expresiones booleanas que estn en forma de suma de productos.
Si E es una expresin booleana en forma de suma de productos, E
L
denota el nmero
de literales en E (contados con sus repeticiones) y E
S
denota el nmero de sumandos en E.
Por ejemplo, si E es la siguiente expresin:
abc abd abcd abcd + + +
entonces E
L
=14 y E
S
=4.
Sea ahora F una expresin booleana de suma de productos equivalente a E. Decimos
que E es ms simple que F si se cumple que:
E
L
F
L
y E
S
F
S

y por lo menos una de las relaciones es una desigualdad estricta.
A
B
C
D
E
Y
9
Definicin: Una expresin booleana E est en forma minimal de suma de
productos si est en forma de suma de productos y no hay ninguna otra
expresin equivalente en forma de suma de productos que sea ms simple que
E.

3.2 Mapas de Karnaugh
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 {A
1
, A
2
, , A
N
}, pueden con ellas formarse los
productos fundamentales P
i
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 P
1
y P
2
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 ABCD, o ABCD y ABCD, 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 P
i
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
P
i
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:
A A

B

B

10
En esta grfica, todos los productos fundamentales se representan mediante grupos de 2
n
(2
0

o 2
1
) cuadrados adyacentes:
A A

B P = AB (2
0
=1 cuadrado)

B


A A

B P = AB (2
0
=1 cuadrado)

B


A A

B P = AB (2
0
=1 cuadrado)

B


A A

B P = AB (2
0
=1 cuadrado)

B


A A

B P = A (2
1
=2 cuadrados)

B


X
X
X
X
X
X
11
A A

B P = A (2
1
=2 cuadrados)

B


A A

B P = B (2
1
=2 cuadrados)

B


A A

B P = B (2
1
=2 cuadrados)

B


3.4 Mapas de Karnaugh de tres variables
Sean las variables A, B y C. Con ellas pueden formarse ocho productos
fundamentales P
i
que contienen todas las variables:
ABC 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

C

C


X
X
X X
X X
12
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 2
n
(2
0

o 2
1
o 2
2
) cuadrados adyacentes.

AB AB AB AB

C P = ABC (2
0
=1 cuadrado)

C


AB AB AB AB

C P = ABC (2
0
=1 cuadrado)

C


AB AB AB AB

C P = ABC (2
0
=1 cuadrado)

C



X
X
X
13
AB AB AB AB

C P = ABC (2
0
=1 cuadrado)

C


AB AB AB AB

C P = ABC (2
0
=1 cuadrado)

C


AB AB AB AB

C P = ABC (2
0
=1 cuadrado)

C


AB AB AB AB

C P = ABC (2
0
=1 cuadrado)

C


AB AB AB AB

C P = ABC (2
0
=1 cuadrado)

C



X
X
X
X
X
14
AB AB AB AB

C P = AB (2
1
=2 cuadrados)

C


AB AB AB AB

C P = AB (2
1
=2 cuadrados)

C


AB AB AB AB

C P = AB (2
1
=2 cuadrados)

C


AB AB AB AB

C P = AB (2
1
=2 cuadrados)

C


AB AB AB AB

C P = AC (2
1
=2 cuadrados)

C



X
X
X
X
X
X
X
X
X X
15
AB AB AB AB

C P = AC (2
1
=2 cuadrados)

C


AB AB AB AB

C P = BC (2
1
=2 cuadrados)

C


AB AB AB AB

C P = BC (2
1
=2 cuadrados)

C


AB AB AB AB

C P = AC (2
1
=2 cuadrados)

C


AB AB AB AB

C P = AC (2
1
=2 cuadrados)

C



X X
X X
X X
X X
X X
16
AB AB AB AB

C P = BC (2
1
=2 cuadrados)

C


AB AB AB AB

C P = BC (2
1
=2 cuadrados)

C


AB AB AB AB

C P = A (2
2
=4 cuadrados)

C


AB AB AB AB

C P = B (2
2
=4 cuadrados)

C


AB AB AB AB

C P = A (2
2
=4 cuadrados)

C



X X
X X
X
X
X
X
X
X
X
X
X
X
X
X
17
AB AB AB AB

C P = B (2
2
=4 cuadrados)

C


AB AB AB AB

C P = C (2
2
=4 cuadrados)

C


AB AB AB AB

C P = C (2
2
=4 cuadrados)

C


3.5 Mapas de Karnaugh de cuatro variables
Sean las variables A, B, C y D. Con ellas pueden formarse diecisis productos
fundamentales P
i
que contienen todas las variables:
ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD
ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD
Cada uno de estos productos ser representado por un cuadrado en la siguiente grfica,
respetando la relacin de adyacencia:







X
X
X
X
X X X X
X X X X
18

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 2
n
(2
0

o 2
1
o 2
2
o 2
3
) cuadrados adyacentes. Dada la cantidad de productos fundamentales, slo
presentaremos algunos casos.


AB AB AB AB

CD

CD P = ABCD (2
0
=1 cuadrado)

CD

CD







X
19
AB AB AB AB

CD

CD P = ABCD (2
0
=1 cuadrado)

CD

CD


AB AB AB AB

CD

CD P = ABD (2
1
=2 cuadrados)

CD

CD


AB AB AB AB

CD

CD P = BCD (2
1
=2 cuadrados)

CD

CD





X
X
X
X X
20
AB AB AB AB

CD

CD P = ABD (2
1
=2 cuadrados)

CD

CD


AB AB AB AB

CD

CD P = BCD (2
1
=2 cuadrados)

CD

CD


AB AB AB AB

CD

CD P = AD (2
2
=4 cuadrados)

CD

CD





X
X
X X
X X
X X
21
AB AB AB AB

CD

CD P = BD (2
2
=4 cuadrados)

CD

CD


AB AB AB AB

CD

CD P = BD (2
2
=4 cuadrados)

CD

CD


AB AB AB AB

CD

CD P = BD (2
2
=4 cuadrados)

CD

CD





X X
X X
X
X
X
X
X X
X X
22
AB AB AB AB

CD

CD P = B (2
3
=8 cuadrados)

CD

CD


AB AB AB AB

CD

CD P = C (2
3
=8 cuadrados)

CD

CD


AB AB AB AB

CD

CD P = A (2
3
=8 cuadrados)

CD

CD





X X
X X
X X
X X
X X
X X X X
X X
X X
X X
X X
X X
23
AB AB AB AB

CD

CD P = D (2
3
=8 cuadrados)

CD

CD


3.6 Minimizacin de circuitos mediante mapas de Karnaugh
Considrese una expresin booleana E en forma de suma de productos. A fin de
encontrar la expresin booleana F equivalente a E en forma minimal de suma de productos,
se siguen los siguientes pasos:
Se construye la grfica de Karnaugh, de acuerdo con el nmero de variables de E.
En dicha grfica se representan todos los productos fundamentales de E mediante cruces.
Se encierran todas las cruces mediante valos que contengan 2
n
cruces adyacentes.
Cada valo debe encerrar la mayor cantidad posible de cruces.
Se escribe la expresin F como suma de los productos fundamentales representados por
los valos resultantes.
Veamos cmo funciona este mtodo mediante ejemplos.

Ejemplos N1: Sea la siguiente expresin E, encuentre su forma minimal de suma de
productos F y dibuje el circuito correspondiente.

1.a) E = AB AB B + +
A A

B F A B = +

B



X X
X X
X X
X X
X
X X
24







1.b) E = ABC ABC AB AB + + +

AB AB AB AB

C F AC B = +

C









1.c) E = ABC ABC AB ABC AC + + + +

AB AB AB AB

1
F AC AB AC = + +
C

1
F AC BC AC = + +
C

En este caso, puede elegirse cualquiera de los dos valos punteados, obtenindose F
1
si se
elige el valo vertical y F
2
si se elige el valo horizontal. Dibujamos el circuito
correspondiente a F
1
.
A
B
F
X X
X
X
X
A
C
B
F
X X
X X X
25











Ejemplos N2: Sea la siguiente expresin E, encuentre su forma minimal de suma de
productos F.

2.a) E = ABCD ABD ABCD ABCD ABCD ABCD + + + + +

AB AB AB AB

CD

CD F AD ACD ABD = + +

CD

CD








X
X
X
X
X
X
X
A
C
B
F
1
26
2.b) E = ABC ABD AD BD ABD + + + +

AB AB AB AB

CD

CD F D ABC = +

CD

CD



2.c) E = ABCD ABD BCD ABD ACD ABC + + + + +

AB AB AB AB

CD

CD F ABD CD BD = + +

CD

CD







X
X X
X
X
X
X
X
X
X
X X
X
X
X
X
X
X