CI RCUI TOS LGI COS

COMBI NACI ONALES

Un sistema binario se caracteriza por tener dos valores
posibles que, en trminos de voltaje, se corresponden a dos
valores de tensin, los que se representan numricamente por
un 1 y por un 0.
Generalmente, la lgica positiva hace corresponder un valor
de tensin alto al 1 y un valor de tensin bajo al 0 (y
viceversa para la lgica negativa):
Introduccin a los
sistemas digitales
Sistemas binarios
Positiva Lgica
alto) voltaje ( 1
bajo) voltaje ( 0
)
`

H
L
V
V
Nmeros binarios
La correspondencia entre los
primeros 16 nmeros decimales
y binarios se muestra en la
siguiente tabla:
N m er o de ci ma l N me ro bi n ar i o
0 00 00
1 00 01
2 00 10
3 00 11
4 01 00
5 01 01
6 01 10
7 01 11
8 10 00
9 10 01
10 10 10
11 10 11
12 11 00
13 11 01
14 11 10
15 11 11

Mientras ms dgitos tiene un
sistema, ms compacta es su
notacin. As, los dgitos bina-
rios tienden a ser ms largos (en
un factor log
2
10=2,3222) que
su correspondiente nota-cin
decimal.
Las principales razones por las cuales utilizar sistemas de
representacin binaria son:
Porqu usar la representacin binaria
Los sistemas de procesamiento de informacin se
construyen en base a conmutadores;
Los procesos de toma de decisin, en un sistema
digital, son binarios; y
Las seales binarias son ms confiablesque las que
tienen ms niveles de cuantificacin.
Conmutadores
Porqu usar la representacin binaria
Supngase un sistema de
iluminacin basado en
dos interruptores o con-
mutadores (como el que
existe en la parte inferior y
superior de una escalera):

S
1 S
2
1
0
1
0
Ampolleta
220V
S
1 S
2
1
0
1
0
A


es Conclusion o Acciones
A
A
premisas o s Condicione
S
S
S
S
encendida) (ampolleta 1
apagada) (ampolleta 0
0) posicin en 2 r (conmutado 0
1) posicin en 2 r (conmutado 1
0) posicin en 1 r (conmutado 0
1) posicin en 1 r (conmutado 1
2
2
1
1
=
=
=
=
=
=
Tomadedecisiones
Porqu usar la representacin binaria
Gran parte de los procesos de decisin tienen carcter binario

= . Respuestas etc
INCORRECTO
CORRECTO
FALSO
VERDADERO
NO
SI
Un sistema puede ca-
racterizarse lingsti-
camentecomo:
Si (S1=1y S2=0) o (S1=0y S2=1),
entonces B=1; caso contrario, B=0.
Confiabilidad
Las seales binarias son mucho ms confiables para ser
transmitidas entre dos puntos distantes. Al usar slo dos
niveles de voltaje para representar un dgito, el sistema es ms
inmune a la presencia de ruidos.
Descripciones formales
Definicin de modelos lgicos
Una descripcin abstracta de un sistema digital, expresado
con enunciados lgicos formales, se denomina DI SEO
LGI CO.
Los smbolos ms
comunes son:

v
.
entonces
O
Y
Usando estos smbolos, el circuito de encendido de la
ampolleta puede representarse como:
( ) ( ) | | ( ) ( ) | | ( )
( ) ( ) | | ( ) ( ) | | ( ) 0 0 0 1 1
1 0 1 1 0
2 1 2 1
2 1 2 1
= = . = v = . =
= = . = v = . =
B S S S S

B S S S S
Usando este tipo de representacin, podra definirse la
operatoria de un sumador binariocomo:
o, en forma simblica (para el caso de la suma), por:
0 | 1 1 1
1 | 0 0 1
1 | 0 1 0
0 | 0 0 0
|
= +
= +
= +
= +
= + Suma Acarreo y x
X Y Acarreo Suma
0 0 0 0
0 1 0 1
1 0 0 1
1 1 1 1
Entradas Salidas
( ) ( ) | | ( ) ( ) | | ( )
( ) ( ) | | ( ) ( ) | | ( ) 0 0 0 1 1
1 0 1 1 0
= = . = v = . =
= = . = v = . =
Suma y x y x

Suma y x y x
Definicin de modelos lgicos
En caso de sistemas multivariables (varias entradas y salidas),
x ser un vector de entradas y habr una funcin asociada a
cada salida. Estas funciones tambin suelen denominarse
funciones booleanas, ya que responden al lgebra de
Boole.
Definicin de modelos lgicos
Un comportamiento de un sistema combinacional puede
expresarse formalmente como z=f(x), donde z representa la
salida del sistema y x la entrada (para un sistema de una
entrada y una salida).
Para el caso del circuito de la ampolleta:
) , (
2 1
S S f B =

=
=
=
=
1 ) 1 , 1 (
1 ) 0 , 1 (
1 ) 1 , 0 (
0 ) 0 , 0 (
f
f
f
f
S
1
S
2 B
0 0 0
0 1 1
1 0 1
1 1 0
TABLA DE VERDAD
Puede apreciarse que
el comportamientode
un circuito combina-
cional puede repre-
sentarse tambin a
travs de una tabla
conocida como tabla
deverdad.
Definicin de modelos lgicos
Componentes lgicos
Sistemas con conmutadores
Los conmutadores son elementos que pueden tener dos estados
posibles(son adecuados para entender dispositivos lgicos).
Los tipos de conmutadoreselctricosms comunes son:
Cor rien te x
Cor rien te z
Cor rien te z
Volt aje x
+
-
El ect ro imn
Transis tor MOS
Conmutador electromec nico Conmut ador electr nico

Circuitos de conmutacin
Circuito AND
En la siguiente figura se muestra este tipo de circuito, junto
con el smbolo lgico ms utilizado para una compuertaAND
y la tabla de verdad correspondiente.
FUENTE CARGA
S1 S2
Circuito AND
AN
AND
Compuerta AND
S1
S2
z
z
Circuitos de conmutacin
Circuito OR
En la siguiente figura se muestra este tipo de circuito, junto
con el smbolo lgico ms utilizado para una compuertaOR y
la tabla de verdad correspondiente.
FUENTE CARGA
S
1 S
2
Circuito OR
Compuerta OR
S
1
S2
z
z
Circuitos de conmutacin
Circuito NOT
En la siguiente figura se muestra este tipo de circuito, junto
con el smbolo lgico ms utilizado para una compuertaNOT
y la tabla de verdad correspondiente.
FUENTE CARGA
S
Ci rcui to NOT
Co mp uerta NOT
S
z
z

1
Expresiones lgicas
Para expresar las funciones lgicas asociadas a cada uno de
los circuitos anteriores, se usan operadoreslgicos.
z
AND
(x
1
, x
2
)=1 s y slo s x
1
=1 Y x
2
=1 z
AND
(x
1
, x
2
)=1 s y slo s x
1
=1 Y x
2
=1
Z
OR
(x
1
, x
2
)=1 s y slo s x
1
=1 O x
2
=1 Z
OR
(x
1
, x
2
)=1 s y slo s x
1
=1 O x
2
=1
2 1 2 1
) , ( x x x x z
AND
=
2 1 2 1
) , ( x x x x z
OR
+ =
Z
NOT
(x)=1 s y slo s x=0
x x z
NOT
= ) (
Es importante
tener en cuenta
que los smbolos
. y + son
operadores
lgicosy NO
algebraicos.
Convenios de voltaje
Para la lgica TTL (Transistor Transistor Logic) se
ha determinado un convenio de voltajes, para especificar
cundo una entrada o salida se considera que tiene el valor
lgico correspondiente.
0,0
5,0
[V]
2,4
2,0
0,8
0,4
Invervalo V
H
garanti zado
para salidas = 1
Invervalo V
H
acept ado para
entradas = 1
In ve rval o V
L
ac epta do
pa ra e ntr adas = 0
Inve rval o V
L
gar anti za do
para sal idas = 0
LGICA TTL

lgebra de Boole
Axiomas
Nmero Enunciado del Teorema Nombre
1a Si a y b estn en K , entonces a+b est en K
1b
Si a y b estn en K , entonces a.b est en K
2a Hay un elemento 0 en K , tal que a+0=a Axioma del cero
2b Hay un elemento 1 en K , tal que a.1=a
Axioma de la unidad
3a Para todos a y b en K , a+b=b+a
3b
Para todos a y b en K , a.b=b.a
4a Para todos a, b y c en K, a+b.c=(a+b).(a+c)
4b
Para todos a, b y c en K , a.(b+c)=a.b+a.c
Para cada a en K, hay un inverso o complemento a'
en K, tal que
5a a+a=1
5b a.a=0
6
Hay por lo menos dos elementos distintos en K
---
7a El elemento 0 es nico
7b El elemento 1 es nico
8a Para cada a en K , a+a=a
8b Para cada a en K , a.a=a
9a Para cada a en K , a+1=1 Propiedad de unicidad
9b
Para cada a en K , a.0=0
Propiedad de cero
10a Para todos a y b en K , a+a.b=a
10b
Para todos a y b en K , a.(a+b)=a
11 Para cada a en K , el inverso a' es nico
Unicidad de la inversin
12a Para todos a, b y c en K , a+(b+c)=(a+b)+c
12b
Para todos a, b y c en K , a.(b.c)=(a.b).c
13a Para todos a y b en K, (a+b)'=a'.b'
13b
Para todos a y b en K , (a.b)'=a'+b
14
Para cada a en K , ( a' )' =a
Involucin
Absorcin
Asociatividad
Leyes de De Morgan
Unicidad de 0 y 1
Idempotencia
Conmutatividad
Distributividad
Axiomas de inversin
LGEBRA DE BOOLE
Cierre

Se definen a
continuacin:
Dos expresiones booleanas, E
1
y E
2
, se dicen que son
equivalentes (es decir, E
1
=E
2
) cuando, ante las mismas
entradas, provocan las mismas salidas. Esto se puede
comprobar a partir de la tabla de verdad, o bien, partiendo de
una de ellas y aplicar lgebra de Boole, hasta llegar a la otra.
Equivalencia de expresiones booleanas
Ejemplo: Demostrar que E
1
=E
2
, donde:
h g f e h g f d h g f c h b a E . . . . . . . . . . .
1
+ + + =
h g f e d c b a E . ) . . . ).( (
2
+ + =
es prctico usar la tabla de verdad
para comprobarlo en este caso?
Una funcin lgica presenta una correspondencia uno a uno
con un circuito lgicoo con una tabla de verdad.
Correspondencia de la lgica combinacional
d c a c b a z ). ( ). ( + + + =
a
b
c
d
b a +
c b a ). ( +
c a +
d
d c a ). ( +
z
c
CIRCUITO LGICO
a
b
c
d
b a +
c b a ). ( +
c a +
d
d c a ). ( +
z
c
CIRCUITO LGICO
a
b
c
d
b a +
c b a ). ( +
c a +
d
d c a ). ( +
z
c
CIRCUITO LGICO

Sea la siguiente funcin
lgica:
el circuito lgico y su tabla
de verdad sern:
Representacin de un
sistema combinacional
Introduccin
Los circuitos de Lgica Combinacional se caracterizan
porque sus salidas se definen por una combinacin lgica de
sus entradas.
Minitrminos
Una funcin combina-
cional distintiva son los
minitrminos de n
variables, y se los
denota como m
i
. Son
funciones booleanas
cuya tabla de verdad
tiene un 1 en la
i-sima fila, y un 0
en las restantes.
4 3 2 1 4
x x x x m =
4 3 2 1 13
x x x x m =
A B C D .... m3 m4 ....
0 0 0 0 0 .... 0 0 ....
1 0 0 0 1 .... 0 0 ....
2 0 0 1 0 .... 0 0 ....
3 0 0 1 1 .... 1 0 ....
4 0 1 0 0 .... 0 1 ....
5 0 1 0 1 .... 0 0 ....
6 0 1 1 0 .... 0 0 ....
7 0 1 1 1 .... 0 0 ....
8 1 0 0 0 .... 0 0 ....
9 1 0 0 1 .... 0 0 ....
10 1 0 1 0 .... 0 0 ....
11 1 0 1 1 .... 0 0 ....
12 1 1 0 0 .... 0 0 ....
13 1 1 0 1 .... 0 0 ....
14 1 1 1 0 .... 0 0 ....
15 1 1 1 1 .... 0 0 ....
MINITRMINOS
n
Entradas
Forma cannica Suma de minitrminos
Dada una funcin z de n variables, cuya tabla de verdad
tiene 1 en las filas a, b, ..., k, y 0 en las dems. Apartir de
la definicin de minitrmino, y usando la funcin OR, es
evidente que:
z = m
a
+ m
b
+ ... + m
k
Ejemplo: Sean las funciones para z
1
=Z
1
(A,B,C,D),
z
2
=Z
2
(A,B,C,D) y z
3
=Z
3
(A,B,C,D), caracterizadas por la
siguiente tabla de verdad, determinar las funciones booleanas
correspondientes:
Forma cannica Suma de minitrminos
Solucin: Aplicando el concepto de
minitrminos, las funciones busca-
das sern:
A B C D
z
1
z
2
z
3
0 0 0 0 0 1 1
0 0 0 1 0 1 1
0 0 1 0 0 0 1
0 0 1 1 0 0 0
0 1 0 0 0 0 1
0 1 0 1 0 0 0
0 1 1 0 1 1 1
0 1 1 1 1 1 0
1 0 0 0 0 0 1
1 0 0 1 0 0 0
1 0 1 0 1 1 1
1 0 1 1 1 1 0
1 1 0 0 0 0 1
1 1 0 1 0 0 0
1 1 1 0 1 1 1
1 1 1 1 1 1 0
ENTRADA SALIDAS
TABLA DE VERDAD

d abc d c ab d c b a d c b a
d bc a d c b a d c b a d c b a d c b a z
abcd d abc cd b a
d c b a bcd a d bc a d c b a d c b a z
abcd d abc cd b a d c b a bcd a d bc a z
+ + + +
+ + + + + =
+ + +
+ + + + + =
+ + + + + =
3
2
1
Construccin algebraica
Cualquier expresin booleana puede convertirse a su forma
cannica suma de minitrminos empleando las propieda-
des del lgebra de Boole. Aesta forma cannica tambin suele
denominarse SumaDeProductos(SDP).
Ejemplo: Encontrar la forma cannica suma de
minitrminos de:
c b a c b c a z + + =
Solucin:
( ) ( ) ( ) ( ) ( ) d d c b a d d c b a a d d c b b a z + + + + + + + =
d c b a d c b a d c b a d c b a d c b a d c b a d c b a d c b a z + + + + + + + =
o bien:
Maxitrminos
Una segunda funcin son los
maxitrminos den variables,
denotada como M
i
. Son
funciones booleanas cuya tabla
de verdad tiene un 0 en la i-
sima fila, y un 1 en las
restantes.
4 3
2 1 3
x x x x M + + + =
4 3
2
1 4
x x x x M + + + =
A B C D .... M3 M4 ....
0 0 0 0 0 .... 1 1 ....
1 0 0 0 1 .... 1 1 ....
2 0 0 1 0 .... 1 1 ....
3 0 0 1 1 .... 0 1 ....
4 0 1 0 0 .... 1 0 ....
5 0 1 0 1 .... 1 1 ....
6 0 1 1 0 .... 1 1 ....
7 0 1 1 1 .... 1 1 ....
8 1 0 0 0 .... 1 1 ....
9 1 0 0 1 .... 1 1 ....
10 1 0 1 0 .... 1 1 ....
11 1 0 1 1 .... 1 1 ....
12 1 1 0 0 .... 1 1 ....
13 1 1 0 1 .... 1 1 ....
14 1 1 1 0 .... 1 1 ....
15 1 1 1 1 .... 1 1 ....
MAXITRMINOS
n
Entradas
Forma cannica Producto de maxitrminos
Toda funcin z tiene un conjunto nico de maxitrminos M
i
,
que corresponde al conjunto de ceros que aparecen en la
columna de salida de su tabla de verdad. La forma cannica
de producto de maxitrminos ser la funcin AND o producto
lgico de estos maxitrminos. A esta forma cannica tambin
suele denominarse ProductoDeSumas(PDS).
Ejemplo: Sea la la siguiente funcin booleana de tres
variables:
c b a z + =
la expresin cannica de producto de maxitrminos ser:
( ) ( ) ( ) c b a c b a c b a M M M z + + + + + + = =
6 5 4
Circuitos combinacionales
Las formas cannicas anteriores se representan con circuitos
combinacionales de dos niveles de compuertas:

S
U
M
A
P
R
O
D
U
C
T
O
S
DE
P
R
O
D
U
C
T
O
S
U
M
A
S
DE
Notacin decimal
Las funciones boo-
leanas, dadas en
cualesquiera de sus
formas cannicas,
pueden escribirse de
manera simplificada
usando el smbolo E
para indicar la suma
de productos, y H
para el producto de
sumas.

Formas de dos niveles
La profundidadde un circuito se mide por el mximo nmero
de compuertas que una seal tiene que atravesar desde la
entrada hasta la salida.
Las formas cannicas vistas tienen una profundidad de dos,
considerando que se dispone de las entradas necesarias
complementadas.
A pesar de que suelen ser los circuitos ms rpidos que
pueden lograrse con este tipo de implementacin, esta
disposicin no implica ser la mejor desde el punto de vista
del nmero de compuertas empleadas.
Formas de dos niveles

Los tres circuitos
tienen la misma
tabla de verdad.