Apndice A A.

Nmeros Binrios
Aritmtica Computacional

A.2.

Sistemas de Numerao:
Numero Decimal: Seqncia de dgitos decimais com ou sem um ponto decimal. o Ex.: 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9 (Base 10) Para os computadores nos interessam as bases 2, 8 e 16, respectivamente sistemas de numerao binrio, octal e hexadecimal. Um sistema de numerao K qualquer requer K smbolos que representam is dgitos de 0 a K-1. o 0 e 1 (Base 2) Um numero decimal possui a seguinte forma:

Aritmtica Tradicional

I II Computadores realizam operaes com nmeros cuja a preciso finita e fixa E utilizam o sistema binrio ao invs do tradicional

A.1.

Nmeros de Preciso Finita (NPF)

Quantos dgitos decimais so gastos para representar um nmero? Fora do ambiente computacional, no h limites para representaes numricas (Ex.: Ordem de grandeza dos astros) Nos computadores, a quantidade de memria para armazenamento de dados e informaes, est acoplado ao projeto fsico do equipamento (Hardware) Por exemplo, vamos examinar o conjunto dos nmeros inteiros positivos com representao de 03 dgitos decimais, sem ponto decimal e sinal: 000 001 002 003 001 . . . . 997 998 999 o

dn . . . d2 d1 d0 , d-1 d-2 d-3 . . . d-k

n

Numero =

i=-k

di X 10i

Para se evitar ambigidades, utiliza-se um subscrito com o nmero da base entre parnteses: Ex.: 100(2) 100(10) 100(8) 100(16) 100(2) = 1 X 22 + 0 X 100(10) = 1 X 102 + 0 100(8) = 1 X 82 + 0 X 100(16) = 1 X 162 + 0 21 + 0 X 20 = 4(10) X 101 + 0 X 100 = 100(10) 81 + 0 X 80 = 64(10) X 161 + 0 X 160 = 256(10)

1000 ELEMENTOS

A.3.

Converso entre Bases:

Em geral, se sabemos como converter um nmero de uma base b qualquer para a base 10, qualquer base destino pode ser alcanada: o Formula Geral: Xn . . . X2 X1 X0 , X-1 X-2 X-3 . . . X-k (b)= Xn * bm + X1 * b1 + X0 * b0 + X-1 * b-1 + X-2 * b-2 + X-3 * b-3 +. . . X-k * b-k(10)= Entre o o o o os nmeros da base 2, 8 e 16 h um procedimento mais fcil: (2) (8): Dividir em grupos de 03 bits (8) (2): Substituir cada digito por um binrio de 03 bits (2) (16): Dividir em grupos de 03 bits (16) (2): Substituir cada digito por um binrio de 04 bits

Baseados nas restries I e II, e impossvel expressar: (a) >999 (b) <0 (c) Fraes (d) Irracionais (e) Complexos A propriedade de Fechamento, importante na aritmtica de inteiros, em relao as operaes adio, subtrao, e multiplicao, no se aplica em NPF. Por exemplo: o 600 + 600 = 1200 (overflow) o 003 005 = -2 (underflow) o 050 X 050 = 2500 (overflow) o 007 / 002 3,5 () Dividem-se as violaes em dois grupos: o Resultados maiores (overflow) e menores (underflow) que os limites.

A.4.

Nmeros Binrios Negativos:

Em geral, utilizam-se 3 sistemas para a representao de nmeros negativos em computadores digitais: o Sinal de Magnitude (SM): Bit mais a esquerda o sinal (0 + | 1 -). Os bits restantes representam a magnitude absoluta do nmero. o Complemento de Um (SC1): Tambm possuem um bit de sinal (0 + | 1 -) porm os bits restantes so invertidos um a um. o Complemento de Dois (SC2): Tambm possui um bit de sinal (0 + | 1 -) os bits restantes so invertidos um a um a seu valor. Ex.: Convertendo o nmero 6 para -6(SM), -6(SC1) e -6(SC2) em binrio. 6(10) = 00000110(2) 6(SM) = 10000110(2) (SM) 6(SC1) = 11111001(2) (SC1) 6(SC2) = 11111010(2) (SC1)

o No pertencentes ao conjunto.() Por realizarem operaes com NPFs, pois possuem memrias limitadas, os resultados de certos clculos estaro errados pelo ponto de vista da matemtica clssica. Um dispositivo de calculo que fornece respostas erradas apesar de estar em bom estado, a conseqncia lgica de sua natureza finita. A lgebra dos NPFs tambm diferente. Analise os exemplos: o Para a = 700, b = 400, c = 300; Associativa: a + (b - c) = (a + b) - c o Para a = 5, b = 210, c = 135; Distributiva: a X (b - c) = a X b a X c Conclumos que os computadores so dispositivos inadequados? importante entender como os computadores trabalham e suas limitaes.

Observao: O padro adotado para expressar o nmero de 7 bits para a mantissa e 1 bit para o sinal. Tanto o sinal de magnitude quanto o complemento de um tm representaes falhas para o nmero zero: +0 e -0. No complemento de dois esse problema no ocorre. o 00000000(2) = 00000000(2) (SCR2). Nosso objetivo: o Uma nica representao para o nmero zero. o Expressar a mesma quantidade de nmeros positivos e negativos. Entretanto, qualquer conjunto com a mesma quantidade de nmeros mpares e pares, alm do zero, possui um nmero mpar de elementos. O que se torna impossvel de expressar por um nmero de n bits (2n sempre par). Gerando portanto um pado binrio extra. o

Apndice B B. Nmeros em Ponto-flutuante

Metodologia alternativa para representao de intervalos numricos muito grandes. Necessita-se de um sistema de representao de nmeros em que o intervalo dos nmeros exprimveis seja independente da quantidade de dgitos significativos. Baseia-se na notao cientfica usada na fsica, qumica e engenharia.

B.1.

Princpios do ponto-flutuante

A.5.

Aritmtica Binria:
A adio de dois bits expressa pela tabela abaixo onde X e Y so nmeros de 1 bit. x 0 0 1 1 y 0 1 0 1 s 0 1 1 0 c 0 0 0 1

Uma maneira de separar o intervalo da preciso: n = f * 10e Onde: f Frao ou mantissa e Expoente(e pertence aos inteiros) A verso desta notao chamada de ponto-flutuante.

S = x+y C o vai 1

Ex.: 3.14 = 0.314 x 101 0.000001 = 0.10 x 10-5 1941 = 0.1941 x 104 Intervalo em funo do nmero de dgitos do expoente. Preciso em funo do nmero de dgitos da frao. Em geral: 0.1 |f| < 1 Os nmeros em ponto-flutuante, com preciso e mantissa predefinidos, diferenciam-se dos nmeros reais, pois nem todos os nmeros em um intervalo contnuo podem ser representados e conseqentemente no possuem a mesma densidade: z = (x + y) / 2 x, y e z pertencem ao conjunto dos nmeros reais Ex.: Seja: o Mantissa de trs dgitos, com sinal, e 0.1 |f| < 1 ou zero. o Expoente de dois dgitos com sinal Obtm-se: o Nmeros variando em grandeza de: -0.100 x 10-99 a 0.999 x 1099 Overflow Negativo (menor que -10100) Exprimveis Negativos (Entre -10100 e -10-100) Underflow Negativo (Entre -10-100 e zero) Underflow Positivo (Entre zero e 10-100) Exprimveis Positivos (Entre 10-100 e 10100) Overflow Positivo (Maior que 10100) Quando no podemos expressar um nmero com exatido, deve-se utilizar o nmero mais prximo. Este processo chamado de arredondamento. A modificao do nmero de dgitos na mantissa ou expoente, apenas desloca os limites das regies dos nmeros exprimveis. Nos computadores, utiliza-se uma representao semelhante. Por questes de eficincia a base de exponenciao mltiplo de 2 (2, 4, 8 ou 16) em vez de 10, e a mantissa em uma cadeia de dgitos binrios, 4, 8 ou 16: Se o dgito mais a esquerda zero, todos os dgitos podem ser deslocados uma posio para a esquerda e o expoente diminudo de 1

A subtrao pode ser feita de duas formas: o Baseado no SC1: Expressa-se o valor negativo no padro SC1, e realiza-se a soma como valor positivo. Se houver estouro (overflow), o resultado dever ser somado de mais um e ser positivo. Ex.: 16(10) 5(10) = 11(10) 16(10) - 5(10) 11(10)

10000(2) + 00101(2) 101010(2)

(SC1)

Estouro Nmero positivo 10(10) + 1(10) = 11(10) 10(10) + 1(10) 11(10) 1010(2) + 1(2) 1011(2)

(SC1)

5(10) 16(10) = -11(10) 5(10) -16(10) -11(10)

00101(2) + 01111(2) 10100(2)

(SC1)

No houve estouro Nmero Negativo 16(10) 5(10) = 11(10) 16(10) - 5(10) 11(10) 10000(2) + 11011(2) 101011(2)

(SC2)

Estouro Nmero Positivo (No precisa somar o estouro)

Normalizao

A escolha por nmeros normalizados facilita na definio de padres s exite uma forma normalizada. Ex.: o Mantissa de 16 bits (com sinal) o Expoente de 7 bits (em notao em excesso de 64) o O ponto est a esquerda do bit mais esquerda da mantissa. Base 2: No normalizado: 0 1010100. 0000000000011011 + 84-64=20 2-12 + 2-13 + 2-15 + 2-16 = 220 * ( 2-12 + 2-13 + 2-15 + 2-16) = 432 Normalizando: o Deslocar a mantissa 11 bits esquerda e subtrair 11 do expoente. 0 + 1001001. 1101100000000000

Apndice C C. Mapa de Karnaugh

C.1. Introduo
Forma tabular de representar funes lgicas Aplicao direta nas simplificaes e minimizaes Resume-se em uma figura geomtrica (quadriculo) para cada linha da tabela verdade.

TABELA VERDADE

MAXTERMOS OU MINITERMOS

QUADRICULOS DO MAPA K

73-64=9 2-1 + 2-2 + 2-4 + 2-5 = 29 * (2-1 + 2-2 + 2-4 + 2-5) = 432

C.2.

Construo do Mapa K at 04 variveis Mapa K de 01 varivel

A

C.2.1.

A forma do Mapa K, depende somente do nmero de variveis do problema, e no da expresso lgica que ser transcrita para ele.

C.2.2.

Mapa K de 02 variveis
A
0

0
2

Linha 0 1 2 3

A 0 0 1 1

B 0 1 0 1

(A,B)

C.2.3.
Ex.: o Representar no Mapa K a funo determinada pela Tabela Verdade abaixo:
C AB

Mapa K de 03 variveis

00
0 2

01
6

11
4

10

0
1

1
7

1 -

Linha 0 1 2 3

A 0 0 1 1

B 0 1 0 1

(A,B) 1 0 0 1

o o o o o 0
0 2

X = (A.B.C)+(A.B.C)+ +(A.B.C) +(A.B.C) m2 m4 m1 m7 = = = = A.B.C A.B.C A.B.C A.B.C

A 0 0 0 0 1 1 1 1

BC 00 01 10 11 00 01 10 11

A.B 0 1 1 0 1 0 0 1

A
0

0
2

A
0

0
2

0
1

1
3

0 1

0
1

1
3

0
1

0 -

C.2.4.

Mapa K de 04 variveis

MINTERMOS

0
MAXTERMOS

AB CD
0

00
4

01
12

11
8

10

00
1

13

1
9

1 11

01 Em geral registra-se em uma Tabela Verdade os 1s e 0s, e em uma Mapa K registra-se os 1s ou 0s. Podemos verificar que: o (A,B) = A . B + A . B = mo + m3 (MINTERMOS) o (A,B) = (A + B) . (A + B) = mo + m3 (MINTERMOS) Um Mapa K alternativo para 02 variveis (ser usado para acima de 02 variveis tambm!):
B A
0 3

1
7

15

14 10

11
2

1
6

10 o o o o o

X = (A.B.C.D)+(A.B.C.D)+ +(A.B.C.D) +(A.B.C.D) m8 = A.B.C.D (8 = 1000) m12 = A.B.C.D (12 = 1100) m1 = A.B.C.D (1 = 0001) M3 = A.B.C.D (3 = 0011)

00
1

01
3

11
2

10

1 A A
Ex.: o

1 A B

Seja a Tabela Verdade:

AB
0

00
1

01
3

11
2

10

A.B

00
0 1

01
3

1
11
2

10

AB 00 01 10 11

A.B 0 0 0 1

A+B 0 1 1 1

AB 0 1 1 0

AB

A+B
AB
0

00
1

1
01
3

1
11
2

1
10

A B

C.3.

Simplificao de funes lgicas por Mapa K Introduo:

C.3.1.

Quadrculos adjacentes horizontalmente e verticalmente (mas no diagonalmente) correspondem a mintermos ou a maxtermos que diferem em apenas uma varivel, que aparece complementada em um termo e no complementada em outro.
AB CD
0

00
4

01
12

11
8

10

00
1

13

1
9

1 11

01
3

1
7

15

14 10

11
2

1
6

10

o o o o

m8 = A.B.C.D (8 = 1000) m12 = A.B.C.D (12 = 1100) m1 = A.B.C.D (1 = 0001) M3 = A.B.C.D (3 = 0011)

A.C.D A.B.D

Dois termos com quatro variveis foram substitudos por um termo de trs variveis Mrito do Mapa K: Possibilitar a determinao da combinao de mintermos atravs da visualizao geomtrica.

C.3.2.

O principio geral:

Qualquer par de mintermos adjacentes pode ser combinado em um nico termo que resulta em uma varivel a menos. Se englobamos 2M termos, iro desaparecer M variveis. O termo combinado determinando atravs da eliminao da varivel que aparece completando em um mintermo e no aparece complementa em outro.

C.3.3.

Adjacncias lgicas adicionais:

Mintermos geometricamente adjacentes so tambm logicamente adjacentes H casos em que os quadrculos na coluna mais a esquerda, so logicamente adjacentes aos quadrculos situados na mesma linha e na coluna mos a direita. o M8 ADJ m0; m1 ADJ m9 Os quadrculos na linha superior adjacentes aos situados na linha inferior e na mesma coluna.
AB CD
0

00
4

01
12

11
8

10

00
1

13

1
9

1 11

01
3

1
7

15

14 10

11
2

1
6

1 -

10