Sei sulla pagina 1di 69

Tema 4:

Introduccin a los
Sistemas Digitales
FUNDAMENTOS DE ELECTRNICA

TEMA 4. Objetivos
Estudiar los sistemas de numeracin y
codificacin de la informacin.
Conocer el lgebra de Boole como base
matemtica de los sistemas digitales.
Manejo y representacin de funciones
booleanas.
Puertas Lgicas.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

TEMA 4. Sistemas Digitales


Sistemas de numeracin.
Representacin de nmeros enteros.

Signo-magnitud.
Complemento

a dos.

Codificacin
Cdigos

numricos
Cdigos alfanumricos
Deteccin de errores
Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

TEMA 4. Sistemas Digitales

lgebra de Boole.
Definiciones

y axiomas.
Propiedades.

Variables y funciones booleanas.


Definiciones

y Propiedades.
Formas de representacin.
Funciones booleanas y circuitos
combinacionales.

Puertas lgicas.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

TEMA 4. Sistemas Digitales

Sistema Electrnico Digital es un sistema de transmisin


o procesamiento de informacin representada por
cantidades fsicas que toman valores discretos.
V
Vcc
1 Lgico
VH
VL

0 Lgico
t0 t1

t2 t3

Seal binaria representa informacin con 2 valores: 0 y 1.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

TEMA 4. Sistemas Digitales


Sistema

combinacional

La salida en un instante de tiempo t slo depende del valor de la


entrada en dicho instante t.
Z(t) = G(x(t))

Sistema

secuencial

La salida en un instante de tiempo t depende del valor de la


entrada en dicho instante t y de las entradas previas
Z(t) = G1(x(t),s(t))
s(t+1) = G2(x(t),s(t))
Donde:
G1
Funcin de Salida.
G2
Funcin de Transicin de Estados.
s(t)
Estado del sistema en el instante t

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

TEMA 4. Sistemas Digitales


Diseo

lgico: Consiste en la construccin de circuitos


digitales utilizando como elementos base, las puertas
lgicas.
Puerta lgica: Circuito electrnico, de comportamiento
especfico, que permite ejecutar operaciones lgicas
especficas para unas seales de entrada, produciendo
como resultado unas seales de salida.
Las puertas lgicas estn disponibles comercialmente
empaquetadas en circuitos integrados (CI)
La teora de diseo lgico de circuitos digitales se
conoce como teora de conmutacin y su base tericomatemtica es el lgebra de conmutacin o de Boole.
Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

TEMA 4. Sistemas Digitales

Sistemas de Numeracin

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

TEMA 4. Sistemas de Numeracin

Alfabeto

Los elementos de un alfabeto A pueden ser representados


mediante combinaciones de smbolos pertenecientes a un conjunto
B tal que |B| << |A|.
Una codificacin del alfabeto A es una aplicacin uno a uno:
: A Bn

donde los elementos de A se representan por n-uplas de smbolos


pertenecientes a B.

Representacin numrica en base B

Es una codificacin de ZN = {0, 1, ..... , N-1}, en el conjunto de


smbolos B = {x0, x1, x2, ... , xB-1} utilizando un alfabeto A = {s0, s1, s2,
... , sK}, donde cualquier natural X tiene asociada una palabra en A.
X ZN s j =[xn-1,xn-2, ... ,x1,x0 ] / xi B , s j A
Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

TEMA 4. Sistemas de Numeracin

Propiedades de los sistemas de numeracin

La representacin de cada X es nica.


A cada elemento de B se denomina dgito.
El nmero de elementos de B se denomina base del sistema |B|.
El dgito de mayor valor es |B|-1.
La combinacin de los dgitos nos genera un alfabeto.
A cada elemento del alfabeto se le denomina palabra.
El nmero de palabras de un alfabeto viene dado por |B|n donde:
|B|
nmero de dgitos de la base B.
n
longitud de palabra de los elementos del alfabeto.
El nmero de dgitos necesarios para codificar un alfabeto A en
base B es:

n logB A

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

10

TEMA 4. Sistemas de Numeracin

Valor numrico

Dado el elemento X representado por la palabra [xn-1, xn-2, ... , x1, x0],
su valor numrico viene dado por:
[xn-1,xn-2, ... ,x1,x0 ] = xn-1Bn-1+xn-2Bn-2 + ... +x1B1+x0B0

Orden lexicogrfico

Dados dos X = [xn-1 , xn-2 , ... , x1 , x0], Y = [yn-1 , yn-2 , ... , y1 , y0]
representados en una determinada base, se establece la siguiente
regla de orden:
X < Y existe un ndice j / x j <y j y adems

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

xk =yk

k>j

11

TEMA 4. Sistemas de Numeracin

Sistema Binario
B = {0,1}
|B| = 2
Cada uno de los dgitos recibe el nombre de bit
El bit ms a la izquierda de una palabra, se denomina bit ms
significativo y el bit ms a la derecha del nmero, se denomina
bit menos significativo
Ejp.
0100011101110001

Bit ms significativo

Bit menos significativo

Sistema Octal
B = {0,1,2,3,4,5,6,7}

|B| = 8

Sistema Hexadecimal
B = {0,1,2,3,4,5,6,7,8,9,A,B,C,D,E,F}

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

|B| = 16
12

TEMA 4. Sistemas de Numeracin


Decimal

Binario

Octal

Hexadecimal

000

00

001

01

010

02

011

03

100

04

101

05

110

06

111

07

000

10

001

11

10

010

12

11

011

13

12

100

14

13

101

15

14

110

16

15

111

17

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

13

TEMA 4. Sistemas de Numeracin

Conversiones entre bases numricas


De

cualquier base a decimal:


[xn-1,xn-2, ... ,x1,x0 ] = xn-1Bn-1+xn-2Bn-2 + ... +x1B1+x0B0

De

decimal a cualquier base:


Mtodo de las divisiones sucesivas:
1. Se divide el nmero por la base.
2. El cociente resultante se divide sucesivamente por la
base.
3. El nmero en la nueva base se obtiene leyendo
inversamente el ltimo cociente y todos los restos.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

14

TEMA 4. Sistemas Digitales

Aritmtica Binaria

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

15

TEMA 4. Sistemas de Numeracin

Aritmtica Binaria

Suma:
Para sumar dos nmeros binarios X = Xm-1Xm-2...X1X0 e Y = Ym-1Ym2...Y1Y0 se suman los dos bits menos significativos x0 e y0 con un
acarreo c0 igual a 0, que generan el bit de acarreo de salida C1 y el bit
de suma S0 como se indica en la siguiente tabla.
xi +
0
0
0
0
1
1
1
1

yi +
0
0
1
1
0
0
1
1

ci
0
1
0
1
0
1
0
1

Ci+1
0
0
0
1
0
1
1
1

Si
0
1
1
0
1
0
0
1

Ej:

x = 98710 ; y = 12310

acarreos
x
y
x+y

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

1111111011
1111011011
1111011
10001010110

16

TEMA 4. Sistemas de Numeracin

Aritmtica Binaria

Resta:
Se va obteniendo cada vez el bit de adeudo (borrow) en vez del bit de
acarreo. Se comienza por los bits menos significativos, se genera el bit
de adeudo b1 y el bit de resta d0 y se sigue de derecha a izquierda
hasta que se generan el bit de adeudo ms significativo bm y el bit de
resta ms significativo dm-1.
Ej:
x = 98710 ; y = 12310
x
y
b
b
d
i-

0
0
0
0
1
1
1
1

i-

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

i+1

0
1
1
1
0
0
0
1

0
1
1
0
1
0
0
1

x
y
adeudos
x-y

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

1111011011
1111011
001100000
1101100000

17

TEMA 4. Sistemas de Numeracin

Aritmtica Binaria

Multiplicacin:
El mtodo ms comn para multiplicar dos nmeros consiste en sumar
los productos parciales desplazados que resultan de multiplicar el
multiplicando por cada uno de los dgitos del multiplicador segn la
siguiente tabla de multiplicacin.
Ej:
x = 3710 ; y = 1310
x
100101
xi *
yi
pi
y
1101
0
0
0
0
1
0
100101
1
0
0
000000
1
1
1
100101
+ 100101
111100001

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

18

TEMA 4. Sistemas de Numeracin

Aritmtica Binaria

Divisin:
El mtodo ms comn obtener la divisin de Y entre X, es el de
desplazamiento y resta.
1110111
-1001

1001
1101

Cociente

01011
-1001
001011
-1001
0010

Resto

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

19

TEMA 4. Sistemas Digitales

Representacin de nmeros con signo

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

20

TEMA 4. Sistemas de Numeracin

Representacin signo-magnitud
Para el caso binario, dado un tamao de palabra de n bits,
podemos representar el siguiente rango de nmeros sin signo
0 x 2n - 1

La representacin signo-magnitud consiste en aadir un bit


adicional (bit de signo), que tendr el valor 0 para los nmeros
positivos y el valor 1 para los nmeros negativos
Para un tamao de palabra de n bits, podemos representar el
siguiente rango de nmeros signados en formato signo-magnitud
-(2n-1- 1) x (2n-1- 1)

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

21

TEMA 4. Sistemas de Numeracin


n

Bin.

Dec.

Rango

Bin.

Dec.

Rango

0
1

0
1

0 x 21-1
0x1

00
01
10
11

0
1
2
3

0 x 22-1
0x3

0
1
0
-1

-(22-1-1) x (22-1-1)
-1 x 1

00
01
10
11

0
1
2
3
4
5
6
7

0 x 23-1
0x7

0
1
2
3
0
-1
-2
-3

-(23-1-1) x (23-1-1)
-3 x 3

000
001
010
011
100
101
110
111

000
001
010
011
100
101
110
111

Sin signo

Signo-magnitud

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

22

TEMA 4. Sistemas de Numeracin

Representacin complemento a dos


La representacin complemento-a-dos de un nmero
con signo consiste en:

Los nmeros con el bit ms significativo con valor 0, sern


considerados como positivos.
Los nmeros con el bit ms significativo con valor 1, sern
considerados como negativos.
Para un tamao de palabra de n bits, podemos representar el
siguiente rango de nmeros signados en formato
complemento-a-dos:
-(2n-1) x (2n-1- 1)

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

23

TEMA 4. Sistemas de Numeracin


Representacin

en complemento a dos

Dado un nmero, el clculo de su opuesto, se


efecta en 2 etapas (mtodo 1):
1) Se obtiene el complementario del nmero.
2) Se suma 1 al resultado obtenido en el paso 1.

Dado un nmero, el clculo de su opuesto, se


efecta en 2 etapas (mtodo 2):
1) Se busca el primer bit con valor 1 partiendo del bit menos
significativo (bit diferenciador).
2) Se complementan todos los bits a la izquierda del bit
diferenciador.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

24

TEMA 4. Sistemas de Numeracin


n

Bin.

Dec.

Rango

00
01
10
11

0
1
-2
-1

-(22-1) x (22-1-1)
-2 x 1

000
001
010
011
100
101
110
111

0
1
2
3
-4
-3
-2
-1

-(23-1) x (23-1-1)
-4 x 3

0000
0001
0010
0011
0100
0101
0110
0111
1000
1001
1010
1011
1100
1101
1110
1111

0
1
2
3
4
5
6
7
-8
-7
-6
-5
-4
-3
-2
-1

-(24-1) x (24-1-1)
-8 x 7

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

25

TEMA 4. Sistemas Digitales

Codificacin

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

26

TEMA 4. Codificacin

Caractersticas de los cdigos

Se entiende por cdigo una representacin unvoca de las


cantidades de tal forma que, a cada una de stas, se asigna una
combinacin de smbolos determinada y viceversa.
Cada combinacin de dgitos asociada a un nmero decimal se
denomina palabra de cdigo. Su longitud ln es el nmero de bits
de cada palabra, y su peso g es el nmero de 1s de la palabra.
La palabra nula tiene todo ceros, y la palabra unidad todo unos.
Si todas las palabras tienen la misma longitud, se dice que el
cdigo es uniforme. Si la cantidad de combinaciones aceptadas
por el cdigo es igual a 2ln, entonces el cdigo es completo.
Dadas dos palabras de un cdigo completo, su distancia d indica el
nmero de diferencias entre ambas combinaciones. La distancia
mnima, o simplemente distancia, es la menor que puede haber
entre dos palabras del cdigo.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

27

TEMA 4. Codificacin

Cdigos numricos
Cdigo BCD
Dado un nmero sin signo en base 10 N10= dn-1dn-2...d1d0 se
convierte a BCD estndar representando en binario de 4
bits cada uno de sus dgitos di.
dn-1

.......

di

.......

d0

n-1 n-1 n-1


bn-1
....... bi3bi2b1i bi0 ....... b30b02b10b00
3 b2 b1 b0

Cdigo Exceso 3
Dado un nmero sin signo en base 10 N10= dn-1dn-2...d1d0 se
convierte a E3 estndar representando en binario de 4 bits
cada uno de sus dgitos di ms tres.
Presenta como ventaja al cdigo BCD que genera
automticamente el acarreo cuando se suman dos dgitos.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

28

TEMA 4. Codificacin

Cdigo Gray
Frmula de generacin recursiva:
Gn+1= {0Gn,1Gnref }

donde G1= {0,1} n 1

Es un cdigo reflejado, no posicional.


Presenta la propiedad de que dos nmeros consecutivos,
representados en este cdigo, slo difieren en 1 bit.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

29

TEMA 4. Codificacin
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

BCD

E3

GRAY

0000 0000
0000 0001
0000 0010
0000 0011
0000 0100
0000 0101
0000 0110
0000 0111
0000 1000
0000 1001
0001 0000
0001 0001
0001 0010
0001 0011
0001 0100
0001 0101

0000 0011
0000 0100
0000 0101
0000 0110
0000 0111
0000 1000
0000 1001
0000 1010
0000 1011
0000 1100
0100 0011
0100 0100
0100 0101
0100 0110
0100 0111
0100 1000

0000
0001
0011
0010
0110
0111
0101
0100
1100
1101
1111
1110
1010
1011
1001
1000

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

30

TEMA 4. Codificacin

Cdigos de caracteres

Son adecuados para almacenar informacin no numrica.


Asignan una palabra binaria de longitud fija, para representar la
menor unidad de informacin alfanumrica, esto es, para cada
carcter grfico.
Cdigo ASCII. (American Standard Code for Information
Interchange).
Utiliza un tamao de palabra binaria de 8 bits, siendo
siempre el bit ms significativo 0, por lo que puede
representar 128 caracteres distintos.
Cdigo EBCDIC. Desarrollado por IBM.
Utiliza un tamao de palabra binaria de 8 bits, por lo que
puede representar 256 caracteres distintos.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

31

TEMA 4. Codificacin

Deteccin de errores

Todos los sistemas digitales, debido a diversos


factores, tienen errores ocasionalmente.
Hay diversos mtodos de codificar datos, de forma que
puedan ser detectados errores en la transmisin de
dichos datos. Uno de los posibles mtodos es el de
control de paridad.
Dada una palabra de n bits, X=[xn-1,xn-2, ... ,x1,x0]
definimos su funcin de paridad, P(X) como:

P(X) = xn-1+xn-2+ ... +x1+x0


(mdulo 2)
Si P(X) = 0 X tiene paridad par
Si P(X) = 1 X tiene paridad impar
Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

32

TEMA 4. Codificacin

Ejp:
P(01101001) = 0+1+1+0+1+0+0+1 = 0

(mdulo 2)

P(11001101) = 1+1+0+0+1+1+0+1 = 1

(mdulo 2)

La funcin P(X) puede ser implementada mediante la


operacin XOR.

Es claro que un error que provoque la variacin de un


slo bit en una palabra transmitida, provocar un
cambio de paridad en dicha palabra.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

33

TEMA 4. Codificacin
Para detectar este tipo de errores se aade un bit
adicional p llamado, bit de paridad, que tendr el valor
adecuado, de forma que todas las palabras del sistema
tengan una paridad fija (ya sea paridad par paridad
impar)
Para el caso de paridad par:

p = xn-1+xn-2+ ... +x1+x0

(mdulo 2)

Para el caso de paridad impar:


p = xn-1+xn-2+ ... +x1+x0+1

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

(mdulo 2)
34

TEMA 4. Codificacin

Para detectar los errores de paridad se utiliza la


funcin de verificacin de paridad, e(X) definida como:
e(X) = xn-1+xn-2+ ... +x1+x0+p
(mdulo 2)

Para el caso de paridad par:

Si e(X) = 0 dato correcto


Si e(X) = 1 dato incorrecto

Para el caso de paridad impar:

Si e(X) = 0 dato incorrecto


Si e(X) = 1 dato correcto

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

35

TEMA 4. Codificacin

Subsistema
propenso
a errores

Funcin de paridad
de n bits

Generador de paridad

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

Funcin de paridad
de (n+1) bits

Verificador de paridad

36

TEMA 4. Sistemas Digitales

lgebra de Boole

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

37

TEMA 4. lgebra de Boole

Definicin de lgebra de Boole


El diseo lgico consiste en construir circuitos digitales
con puertas lgicas. La teora de diseo lgico se llama
Teora de Conmutacin y su base matemtica es el
lgebra de Boole.

Un lgebra de Boole es una estructura formada por un


conjunto finito B con al menos dos elementos, N=0
(elemento nulo), U=1 (elemento universal), y tres
operaciones: dos binarias (+, *) y una unaria (), que
cumple los 6 axiomas de HUNTINGTON.
Si B={0,1}, se denomina lgebra de Conmutacin.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

38

TEMA 4. lgebra de Boole

Axiomas de HUNTINGTON
1. Las operaciones *, + , , deben ser cerradas
2. Elemento Identidad
x+0=x
x*1=x
3. Propiedad Conmutativa
x*y=y*x
x+y=y+x
4. Propiedad Distributiva
x * (y + z) = (x * y) + (x * z)
x + (y * z) = (x + y) * (x + z)
5. Complementacin: Para cada elemento x, existe un elemento
x , tal que:
x +x = 1
x *x = 0
6. Hay por lo menos dos elementos distintos en B.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

39

TEMA 4. lgebra de Boole

Teoremas del lgebra de Boole


1. Principio de dualidad: Cada identidad deducida de los
axiomas del A. de Boole permanece vlida, si las
operaciones + y *, y los elementos 0 y 1, se intercambian
entre s.
2. Teorema del Elemento Nulo:
x+1=1
x*0=0
3. Ley de Idempotencia
x*x=x
x+x=x
4. Ley de Involucin

(x) x
5. Ley de Absorcin
x+(x*y)=x

x*(x+y)=x

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

40

TEMA 4. lgebra de Boole

Teoremas del lgebra de Boole


6. Propiedad Asociativa
x*(y*z)=(x*y)*z
x+(y+z)=(x+y)+z
7. Ley del consenso

x+(x*y)=x+y
x*(x+y)=x*y
8. Leyes de Morgan

x y x*y
x*y x y
Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

41

TEMA 4. lgebra de Boole

Se puede demostrar que B={0,1}, N=0, U=1,


junto con las operaciones * , + , , definidas
por las siguientes tablas de verdad, forman un
lgebra de Boole.
+ 0 1

* 0 1

0 0 1
1 1 1

0 0 0
1 0 1

OR

AND

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

0 1
1 0

NOT
42

TEMA 4. Variables y Funciones Booleanas

Definiciones

Definimos constante sobre B, a todo elemento de B.


Definimos variable de B, todo smbolo x que
representa a cualquier elemento de B.
Definimos literal de B, a toda constante variable.

Definimos funcin booleana a la aplicacin:


f : Bn B
donde: Bn = B B .... B / x = (x1,x 2 , .... ,xn ) Bn

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

43

TEMA 4. Variables y Funciones Booleanas

Definimos funcin constante a la funcin fa :


fa : Bn B / (x1,x2 , .... ,xn ) Bn , fa (x1,x2, .... ,xn ) = a B

Definimos funcin proyeccin fp :


fp : Bn B / (x1,x 2 , .... ,xn ) Bn , fp (x1,x 2 , .... ,xn ) = xi
donde xi es una variable de B

Definimos funcin degenerada a la funcin fd:


fd: Bn B / x,z Bn , fd (x) = fd (z)

Definimos funcin parcialmente especificada a la


aplicacin:
f:B B
donde B =0,1,#
n

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

44

TEMA 4. Variables y Funciones Booleanas

Propiedades

Dadas las funciones booleanas, f, g, las siguientes funciones


f*g, f+g, , tambin son booleanas.
f*g(x) = f(x) * g(x)

x = (x1,x 2 , .... ,xn ) Bn

f+g(x) = f(x) + g(x) x = (x1,x 2 , .... ,xn ) Bn


g(x) = g(x)

x = (x1,x 2 , .... ,xn ) Bn

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

45

TEMA 4. Variables y Funciones Booleanas

Definimos trmino producto a todo literal o producto de literales, en los


que cada variable aparece como mximo una vez.
Definimos mintrmino o producto cannico al trmino producto de una
funcin, que est formado por las n variables de dicha funcin, apareciendo
stas una sola vez de forma complementada o sin complementar.
Definimos forma normal disyuntiva de una funcin, a su representacin
algebraica, que consta de un slo trmino producto o de la suma de varios
de ellos.
Definimos trmino suma a todo literal o suma lgica de literales, en las
que cada variable aparece como mximo una vez.
Definimos maxtrmino o suma cannica al trmino suma de una funcin,
que est formado por las n variables de dicha funcin, apareciendo stas
una sola vez de forma complementada o sin complementar.
Definimos forma normal conjuntiva de una funcin, a su representacin
algebraica, que consta de un slo trmino suma o del producto de varios de
ellos.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

46

TEMA 4. Variables y Funciones Booleanas

Para n variables podemos formar 2n mintrminos y 2n maxtrminos.


Notacin para mintrminos y maxtrminos:
x1 * x 2 * .... * xn-1 * xn m0

x1 x 2 .... xn-1 xn M0

x1 * x 2 * .... * xn-1 * xn m1

x1 x 2 .... xn-1 xn M1

x1 * x 2 * .... * xn-1 * xn m2

x1 x 2 .... xn-1 xn M2

x1 * x 2 * .... * xn-1 * xn m3

x1 x 2 .... xn-1 xn M3

............................

............................

x1 * x 2 * .... * xn-1 * xn m2n 1

x1 x 2 .... xn-1 xn M2n 1

Definimos vector asociado a un mintrmino mi de n variables, al obtenido


colocando 1 en las posiciones correspondientes a las variables NO
complementadas, y colocando 0 en las posiciones correspondientes a las
variables complementadas.
m5 x1 * x2 * x3 * x 4
Ejp:
Definimos vector asociado a un maxtrmino Mi de n variables, al obtenido
colocando 0 en las posiciones correspondientes a las variables NO
complementadas, y colocando 1 en las posiciones correspondientes a las
variables complementadas.
M10 x1 x2 x3 x 4 10
Ejp:

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

47

TEMA 4. Variables y Funciones Booleanas


x

z mintrminos Trmino producto

Maxtrminos

Trmino suma

m0

x y z
x y z

M0

x yz

m1

m2

x y z
x y z
x y z

M2

m3

M4

x yz
x yz

m4

m5

x y z
x y z
x y z

M5

x yz

m6

M6

x yz
x yz

m7

M1

M3

M7

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

x yz
x yz

48

TEMA 4. Variables y Funciones Booleanas

Teorema de SHANON (Teorema generalizado de


DeMorgan).
f(x1,x2 , .... , xn,*,,0,1) f(x1,x 2, .... , xn,,*,1,0)

Teorema de los mintrminos para n variables.


2n 1

m (x ,x , .... ,x
i0

) 1

Teorema de los maxtrminos para n variables.


2n 1

M (x ,x , .... ,x
i0

)0

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

49

TEMA 4. Variables y Funciones Booleanas


Teorema

de expansin de Shanon o del desarrollo:


f(x1 , x 2 ,..., xn ) x1 f(1, x 2 ,..., xn ) x1 f(0, x 2 ,..., xn )

f(x1 , x 2 ,..., xn ) x1 f(0, x 2 ,..., xn ) x1 f(1, x 2 ,..., xn )

Teorema

del desarrollo de Shanon, para mintrminos,


para una funcin f(x) = f(x1,x2, .... ,xn), de n variables.
f(x)

(x1 * x2 * ....* xn ) * f(0,0, ... ,0) (x1 * x2 * ....* xn ) * f(0,0, ... ,1)
............................................ (x1 * x 2 * ....* xn ) * f(1,1, ... ,1)
m0 * f(0,0, ... ,0) m1 * f(0,0, ... ,1) ......... m2 -1* f(1,1, ... ,1)
n

Teorema

del desarrollo de Shanon, para maxtrminos,


para una funcin f(x) = f(x1,x2, .... ,xn), de n variables.
f(x)

(x1 x2

.... xn ) f(0,0, ... ,0) * (x1 x 2 .... xn ) f(0,0, ... ,1) *

* ............................................ * (x1 x2 .... xn ) f(1,1, ... ,1)

M0 f(0,0, ... ,0) * M1 f(0,0, ... ,1) *

......... * M2n -1 f(1,1, ... ,1)

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

50

TEMA 4. Variables y Funciones Booleanas

Ejemplo:
f(x , y) x f(1, y) x f(0, y)

x y f(1,1) y f(1,0) x y f(0,1) y f(0,0)


xy f(1,1) x y f(1,0) xy f(0,1) x y f(0,0)
m3 f(1,1) m2 f(1,0) m1 f(0,1) m0 f(0,0)

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

51

TEMA 4. Variables y Funciones Booleanas

Como consecuencia del teorema del desarrollo de Shanon para


mintrminos, tenemos que toda funcin f(x), admite una
representacin, que denominaremos forma cannica disyuntiva,
formada por la suma de los mintrminos cuyos vectores asociados
VK verifican que f(VK)=1.

f(x) mk

donde f(Vk ) 1

Como consecuencia del teorema del desarrollo de Shanon para


maxtrminos, tenemos que toda funcin f(x), admite una
representacin, que denominaremos forma cannica conjuntiva,
formada por el producto de los maxtrminos cuyos vectores
asociados VK verifican que f(VK)=0.

f(x) Mk

donde f(Vk ) 0

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

52

TEMA 4. Variables y Funciones Booleanas

Teorema para obtener la funcin complementada de una


dada en forma cannica disyuntiva.

Dada una funcin g(x), expresada en forma cannica


disyuntiva, su funcin complementada g(x) , estar dada por
la suma de los mintrminos que no aparecen en g(x).

Teorema para obtener la funcin complementada de una


dada en forma cannica conjuntiva.

Dada una funcin g(x), expresada en forma cannica


conjuntiva, su funcin complementada g(x), estar dada por
el producto de los maxtrminos, que no aparecen en g(x).

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

53

TEMA 4. Variables y Funciones Booleanas

Ejemplo:
f(x , y , z) xy yz xyz
x f(1, y , z) x f(0, y , z)

x (y yz) x (yz yz) xy x yz x yz xyz

y f(x ,1, z) y f(x ,0, z)

y (x xz) y (xz xz) xy xyz x yz x yz

z f(x , y ,1) z f(x , y ,0)

z (xy x y x y) z (xy xy)


xyz x yz x yz xy z xyz
m7 m5 m1 m6 m2 (1,2,5,6,7)
3

f(x , y , z) (0,3,4) (x y z)(x y z)(x y z)


3

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

54

TEMA 4. Sistemas Digitales

Formas de Representacin de
Funciones Booleanas

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

55

TEMA 4. Formas de Representacin


Formas de representacin

Esquemas de Circuitos

Diagrama de puertas lgicas

Un circuito electrnico, descrito a nivel de dispositivos,


puede ser considerado como una forma de representar a la
funcin booleana que implementa.

Consiste en representar una funcin,


implementacin utilizando puertas lgicas.

mediante

su

Expresin algebraica

Permite una representacin ms compacta, pero la


informacin se presenta ms oculta.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

56

TEMA 4. Formas de Representacin

Mtodos de enumeracin
Tabla

de verdad: Listado que de forma explcita representa el


resultado de la funcin, para cada una y todas las combinaciones de
las entradas.
Vector de valores: Vector formado por el resultado de la funcin, en
el orden creciente de las combinaciones en las variables de entrada.
Mintrminos: La funcin en forma cannica disyuntiva.
Maxtrminos: La funcin en forma cannica conjuntiva.

Mapas de Karnaugh
Es una representacin grfica de la tabla de verdad mediante una
matriz bidimensional, donde cada posible combinacin de los valores
binarios de las variables de entrada, est representada por una celda
casilla. Las entradas estn ordenadas en cdigo Gray, de forma que
dos casillas adyacentes (horizontal verticalmente), slo tienen
distinto valor en una de las entradas.

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

57

TEMA 4. Mapas de Karnaugh

Mapas de Karnaugh de 3 variables y de 4 variables


x1,x2
x3

00

01

11

x1,x2
x3,x4

10

00

01

11

10

00

12

01

13

11

15

11

10

14

10

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

58

TEMA 4. Mapas de Karnaugh

x2,x3
x4,x5

Mapa de Karnaugh de 5 variables

00

01

11

10

x2,x3
x4,x5

00

01

11

10

00

12

00

16

20

28

24

01

13

01

17

21

29

25

11

15

11

11

19

23

31

27

10

14

10

10

18

22

30

26

x1= 0

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

x1= 1

59

TEMA 4. Mapas de Karnaugh

Mapa de Karnaugh de 6 variables

x3,x4
x5,x6

00

01

00

01

11

10

11
4
5
7
6

10

12

13
15
14

9
11
10

x3,x4
x5,x6

00

00

01

11

10

00

16

20

28

24

01

17

21

29

25

11

19

23

31

27

10

18

22

30

26

x1x2= 00
x3,x4
x5,x6

01

x1x2= 01
11

10

x3,x4
x5,x6

00

01

11

10

00

32

36

44

40

00

48

52

60

56

01

33

37

45

41

01

49

53

61

57

11

35

39

47

43

11

51

55

63

59

10

34

38

46

42

10

50

54

62

58

x1x2= 10
Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

x1x2= 11
60

TEMA 4. Representacin de Funciones


Funciones

booleanas
combinacionales.

x1
x2

z1
z2

xm

zn

circuitos

Para implementar un circuito digital combinacional de m


entradas y n salidas, ser necesario implementar n
funciones booleanas cada una de ellas dependiente de
f (x , x , ..... , x )
m variables.
1

f2 (x1 , x 2 , ..... , x m )
.................
fn (x1 , x 2 , ..... , x m )
Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

61

TEMA 4. Sistemas Digitales

Puertas lgicas

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

62

TEMA 4. Puertas Lgicas

Puertas lgicas fundamentales


NOT
x

NOT
z

z=x

0
1

AND
x
z

z=xy

OR
x
z
y

z=x+y

1
0

AND

OR

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

63

TEMA 4. Puertas Lgicas

Puertas lgicas derivadas


XOR

z=x y=xy+xy

z
y
NAND
x
z

z= xy

NOR
x
z

z= x+y

y
XNOR
x
z
y

z= x y

XOR

0 1

0 1

1 0

NAND

NOR

XNOR

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

64

TEMA 4. Sistemas Digitales

Ejemplo de Funcin Booleana

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

65

TEMA 4. Ejemplo

Diagrama de circuitos

vx3
vx1

vx4

vz

vx2

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

66

TEMA 4. Ejemplo

Diagrama de puertas lgicas

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

67

TEMA 4. Ejemplo
Expresin
Tabla

algebraica

de verdad

f(x1,x2 ,x3 ,x 4 ) (x1 * x 2 ) (x3 * x 4 )

x1 x2 x3 x4

0000
0001
0010
0011
0100
0101
0110
0111
1000
1001
1010
1011
1100
1101
1110
1111

1
1
1
0
1
1
1
0
1
1
1
0
0
0
0
0

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

68

TEMA 4. Ejemplo
Vector de salida

f(x1,x2,x3,x4)=(1,1,1,0,1,1,1,0,1,1,1,0,0,0,0,0)

m(0,1,2,4,5,6,8,9,10)

Forma cannica disjuntiva

Forma cannica conjuntiva f(x1,x2 ,x3 ,x 4 ) = M(3,7,11,12,13,14,15)

Mapa de Karnaugh.

f(x1,x 2 ,x3 ,x 4 ) =

x1,x2
x3,x4

00

01

11

10

00

01

11

10

Fundamentos de Electrnica Grado en Ingeniera de Computadores - Dpto. Electrnica - Jos A. Snchez Durn

69

Potrebbero piacerti anche