Somador Binrio com Decodificador Decimal

Fabola A. Pessoa1, Paulo C. Oliveira1, Zander P. Souza1 & Andr L.B. Cavalcante2
2

Aluno, Sistemas de Informao, UPIS Faculdades Integradas Professor D.Sc, Sistemas de Informao, UPIS Faculdades Integradas

fabiola33096@upis.br, paulo33113@upis.br, zander33132@upis.br, andre02592@upis.br

Resumo: O artigo apresenta a aplicao dos conceitos tericos aprendidos na disciplina Lgica Matemtica e a interligao com os princpios de Arquitetura de Computadores. De fato, o artigo apresenta os passos e conceitos utilizados na construo de um somador com decodificador de base binria para decimal. A calculadora permite que seja realizada a soma de dois nmeros binrios de trs bits e exibe o resultado na base decimal.
The paper presents the application of theorical concepts learned in Logical Math and the connection with the principles of Computer Arquitecture. In fact, the paper presents the steps and concepts used in the construction of an adder with decoder binary-decimal. The calculator allows the sum of two binary numbers with three bits and it displays the total in decimal notation. 1. INTRODUO O artigo descreve o procedimento da criao de uma somadora com decodificador de base binria para decimal. Fazendo-se uso das informaes adquiridas na disciplina de Lgica Matemtica, aplica-se o conhecimento terico na prtica, estendendo-o at os limites de Arquitetura de Computadores. O trabalho possibilita ao aluno entender de forma mais clara a respeito de assuntos, tais como, portas lgicas, lgebra booleana e, finalmente, circuitos lgicos e digitais, objetivo principal. O grupo de alunos, aps algumas reunies, decide montar um somador que faa operaes entre nmeros binrios cujo resultado no ultrapasse quatorze e, ao final, converta-o em decimal. O somador possui um comportamento prximo ao de uma calculadora, porm com um diferencial principal, a calculadora comum faz a operao em decimal, j a calculadora montada pelo grupo de alunos faz a operao em binrio. Uma calculadora faz diversas operaes como diviso, multiplicao, subtrao, soma, j o somador produzido, realiza somente a operao de soma. O procedimento consiste no recebimento de dois nmeros de base binria, cada nmero possuindo o valor entre um a sete. Estes dois valores recebidos so somados, dando origem a um resultado. Como o resultado obtido tambm um nmero binrio, o somador possui um decodificador que faz essa reverso, da base binria para a decimal. Assim sendo, o somador realiza a soma de dois nmeros binrios, gerando um resultado e converte-o para a base decimal, por meio de um decodificador. 2. CONCEITOS TERICOS Segundo Salmon (1993), a histria da Lgica, cincia que trata dos princpios vlidos do raciocnio e da demonstrao, tem incio com o filsofo grego Aristteles (384322 a.C.) na Macednia. Aristteles criou a cincia da Lgica cuja essncia fundamentava-se na teoria do silogismo, isto , uma regra de inferncia para se demonstrar um argumento vlido. De acordo com Aristteles, um argumento uma srie de afirmaes, divididas em premissas, afirmaes de evidncias, e concluso, que pode ser extrada das premissas. Aristteles construiu uma sofisticada teoria dos argumentos, cujo ncleo a caracterizao e anlise dos assim chamados silogismos, os tpicos raciocnios desse filsofo. O famoso argumento: (p) Todo homem mortal. (q) Scrates homem. (r) Logo, Scrates mortal. um exemplo tpico do silogismo perfeito. Entre as caractersticas mais importantes da silogstica aristotlica est a de se ter pensado pela 1

Abstract:

primeira vez na histria da lgica em fazer uso de letras (p, q, r, ...) que poderiam ser usadas para representar uma expresso substantiva qualquer, fundamental para desenvolvimentos posteriores. tambm com Aristteles que se encontra uma das primeiras tentativas de se estabelecer um rigor nas demonstraes matemticas. Tentativas de se formalizar uma anlise matemtica da Lgica vieram por meio de trabalhos de Gottfried Wilhelm Leibniz (1646-1716), que s foram reconhecidos no sculo XIX. Mas foi com Augustus De Morgan (1806-1871), George Boole (1815-1864), Gotlob Frege (1848-1925) e Giuseppe Peano (1858-1932) que se desenvolveu a Anlise Matemtica da Lgica e a Lgica Formal (Salmon, 1993). George Boole, matemtico ingls, lanou os primeiros passos lgebra booleana, ramo da matemtica com propriedades e regras semelhantes s da lgebra comum, embora com algumas diferenas. Segundo Daghlian (1986), a lgebra de boole til para a lgica matemtica e para a teoria dos conjuntos, pois estuda proposies e os valores lgicos associados a ela, ao invs de estudarem variveis e os respectivos valores numricos. A lgica matemtica (ou lgica simblica) trata do estudo das sentenas declarativas tambm conhecidas como proposies. As proposies so todos conjuntos de palavras ou smbolos que exprimem um pensamento de sentido completo, seja verdadeiro ou falso e, nas quais, devem satisfazer aos dois princpios fundamentais seguintes (Alencar Filho, 1990): Princpio do terceiro excludo: uma proposio s pode ser verdadeira ou falsa, no havendo outra alternativa. Princpio da no contradio: uma proposio no pode ser ao mesmo tempo verdadeira e falsa. Diz-se ento que uma proposio verdadeira possui valor lgico V (verdade) e uma proposio falsa possui valor lgico F (falso). Os valores lgicos tambm costumam ser representados por 0 (zero) para proposies falsas (0 ou F) e 1 (um) para proposies verdadeiras (1 ou V). As proposies podem ser classificadas em simples ou compostas. As proposies simples so aquelas que no contm nenhuma outra proposio como parte integrante de si mesma. Exemplo: Carlos careca. As compostas so aquelas formadas pela combinao de mais de uma proposio simples. Exemplo: Carlos careca e Pedro estudante. Note, por meio do exemplo anterior, que a combinao feita por palavras denominadas conectivos. Os conectivos, tambm chamados de operadores lgicos, ligam duas proposies gerando um nico resultado, uma nica sada. Os principais

operadores lgicos usuais em Lgica Matemtica so as palavras e, ou, ou-exclusivo e no (Tabela 1). Tabela 1: Principais operadores lgicos OPERADORES Negao (no) Conjuno (e) Disjuno (ou) Ou exclusivo SIMBOLOGIA ~p, p, NOT ^ , . , AND v , + , OR v , , XOR

As proposies lgicas podem ser combinadas por meio de operadores lgicos como (.) e (+), assim, sendo A e B duas proposies simples, podese formar proposies compostas, por exemplo: A.B + (AB). Conhecendo valores lgicos de duas proposies simples A e B, se determina o valor lgico das proposies compostas por meio do uso da Tabela 2, tambm conhecida pelo nome sugestivo Tabela-Verdade. Tabela 2: Tabela verdade
A B A B A.B A+B AB

0 0 1 1

0 1 0 1

1 1 0 0

1 0 1 0

0 0 0 1

0 1 1 1

0 1 1 0

A Tabela-Verdade, nada mais do que todas as possveis entradas de uma proposio composta e as respectivas sadas, falsas ou verdadeiras. Da Tabela 2, infere-se que (Morris & Kime, 2000): A negao, como o prprio nome diz, nega a proposio dada. Alm disso, a negao da proposio A representada por A'. Lembre-se que o smbolo nada mais que uma simples representao da negao. O que relevante que o significado do smbolo seja explicitamente declarado. A conjuno entre duas proposies s verdadeira quando ambas so verdadeiras. O smbolo mais utilizado para a conjuno (^), em eletrnica digital, o ponto (.). A disjuno entre duas proposies verdadeira quando pelo menos uma entre as duas proposies for verdadeira. O smbolo mais utilizado para a disjuno (v), em eletrnica digital, o sinal "+". A disjuno exclusiva entre duas proposies verdadeira apenas quando as proposies possuem valores lgicos diferentes. O smbolo mais utilizado para a disjuno exclusiva (v), em eletrnica digita, o sinal . Formalmente, a lgebra de Boole um sistema matemtico composto por um conjunto de elementos, chamado normalmente de B, munido de duas operaes binrias, que podem ser descritas 2

com os smbolos . e + . Estas operaes esto definidas no conjunto B e satisfazem os seguintes axiomas (Daghlian, 1986; Morris & Kime, 2000): As operaes x + y e x . y so fechadas dentro do conjunto B. Ou seja, para qualquer par de elementos x, y pertencentes ao conjunto B, temse que: x+yB x.yB (1) (2)

3. DESENVOLVIMENTO PRTICO Definiu-se a elaborao de uma calculadora que faa somente soma. Uma somadora na qual a entrada seja de dois nmeros (digitados pelo usurio), de trs bits quaisquer, de base binria (Figura 1).

As operaes . e +, so comutativas. Ou seja, para qualquer par de elementos x, y pertencentes ao conjunto B, tem-se que: x.y = y.x x+y = y+x (3) (4) Figura 1: Nmero de entrada Esses dois nmeros de entrada passam por um processo de adio, no qual, aps serem somados, o resultado da operao em base binria decodificado, pela prpria somadora, sofrendo uma converso, para a base decimal. O resultado da soma deve ser mostrado por meio de leds representativos, espcies de lmpadas sinalizadoras, que esto ligados a cada um dos quatorze nmeros decimais, representando todas as sadas, resultados, possveis da somadora (Figura 2).

Cada uma das operaes . e + distributiva uma em relao outra. Isto , para trs elementos quaisquer x, y, z pertencentes ao B, cumpre-se que: x.(y+z) = x.y+x.z x+(y.z) = (x+y).(x+z) (5) (6)

No conjunto B existe um elemento neutro bem definido para cada uma das operaes . e +. Estes elementos so representados normalmente com os smbolos 0 e 1 B, e possuem a seguinte propriedade: 0+x = x 1.x = x (7) (8)

A cada elemento x pertencente ao conjunto B corresponde outro elemento chamado complementar de x, que normalmente representa-se pelo smbolo x. O elemento x cumpre a propriedade: x.x = 0 x+x = 1 (9) (10)

Figura 2: Somadora 3.1 Processo de Soma dos Nmeros Segundo Idoeta & Capuano (1984), para efetuar a adio no sistema binrio, deve-se agir como uma adio convencional no sistema decimal, lembrando que, no sistema binrio tm-se apenas dois algarismos (Figura 3). Convm observar que no sistema decimal 1+1 = 2 e no sistema binrio representa-se o nmero 210 por 102. Assim sendo, 1+1 = 102. Portanto, tem-se a primeira regra de transporte para a prxima coluna: 1+1 = 0 e transporta 1 (vai um). A Figura 4 apresenta um exemplo de clculo. 3

Uma lgebra de Boole pode ter um conjunto de axiomas diferente do anterior, mas sempre possvel se pode demonstrar que so equivalentes. A partir desses princpios bsicos, Boole sugeriu ento que a lgebra booleana poderia ser usada na resoluo de problemas que envolvessem a construo de circuitos digitais.

0+0=0 0+1=1 1+0=1 1 + 1 = 10 1 + 1 + 1 = 11 Figura 3: Regras de adio em Binrio Sabendo que o excedente (vai um) ser um dos valores de sada e, ao mesmo tempo, um dos valores de entrada da prxima coluna, este, chamado de Ts (termo de sada) na sada, e de Te (termo de entrada) na entrada.

Ts = A.B.Te + A.B.Te + A.B.Te + A.B.Te

(12)

Tabela 3: Tabela Verdade A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 Te 0 1 0 1 0 1 0 1 S 0 1 1 0 1 0 0 1 Ts 0 0 0 1 0 1 1 1

Aps a aquisio das FNDs a partir da tabela verdade (Tabela 3), necessria a realizao da simplificao da expresso utilizando lgebra de Boole, para facilitar a montagem da somadora. As expresses simplificadas obtidas para S (sada) e Ts (termo de sada) encontram-se apresentadas nas Equaes 3 e 4, respectivamente: Figura 4: Operao 1102 + 1112 Para somar nmeros com vrios bits necessrio somar tambm o bit de transporte (excedente) vindo do estgio anterior. Portanto, tm-se trs bits a serem somados linha a linha: as parcelas A e B e o transporte Te, gerado pelo estgio anterior. O somador gera o bit de sada S e o bit de transporte Ts para o prximo estgio. A Figura 5 apresenta as possveis solues para soma de trs bits: (0 + 0 + 0 = 0 (0 + 0 + 1 = 1 (0 + 1 + 0 = 1 (0 + 1 + 1 = 0 (1 + 0 + 0 = 1 (1 + 0 + 1 = 0 (1 + 1 + 0 = 0 (1 + 1 + 1 = 1 Ts = 0) Ts = 0) Ts = 0) Ts = 1) Ts = 0) Ts = 1) Ts = 1) Ts = 1)
S = A B Te Ts = B.Te + A.Te + A.B

(13) (14)

Aps obter os resultados da soma, estes foram colocados na ordem em que foram adquiridos e, posteriormente, utilizado o decodificador. 3.2 Decodificador Primeiramente, faz-se a anlise do significado das palavras: codificador e decodificador. Para tanto se utiliza o exemplo de uma pessoa de nacionalidade francesa conversando com outra pessoa de nacionalidade brasileira, por meio de um tradutor. O tradutor faz o papel de um codificador e decodificador, ao mesmo tempo. Exemplificando, se uma pessoa de nacionalidade francesa est conversando com outra de nacionalidade brasileira, por meio de um tradutor, este faz a funo de um codificador ao receber as informaes em francs, e logo, de decodificador para pessoa que fala portugus, pois a informao passa de um cdigo desconhecido (o francs) para um cdigo conhecido (o portugus). Isto , o tradutor faz o papel de um codificador porque transforma uma linguagem desconhecida para uma outra conhecida. O somador binrio possui um decodificador decimal porque passar o resultado da soma, de uma linguagem de difcil compreenso que a linguagem binria para a linguagem decimal facilmente compreendida. Depois de obtidos os resultados das somas, o decodificador tem como entrada esses nmeros, que possuem exatamente quatro bits. Isto porque a soma 4

Figura 5: Representao da soma de trs bitas Deste modo, o prximo passo a construo da tabela verdade correspondente s constataes da Figura 5. Aps a obteno da mesma, destacam-se as linhas na qual o campo de sada S gera valores iguais a um (Tabela 3). Posteriormente, destacam-se as linhas cujo campo Ts ger valores iguais a um. Ao final, os valores destacados do origem s expresses S e Ts, respectivamente, conhecidas por funes normais disjuntivas (FNDs). As FNDs obtidas para S (sada) e Ts (termo de sada) esto apresentadas nas Equaes 1 e 2, respectivamente:
S = A.B.Te + A.B.Te + A.B.Te + A.B.Te

(11)

de dois nmeros de trs bits poder ter como resultado, um outro nmero de no mximo quatro bits na base binria (Figura 6). Dessa forma, tem-se um decodificador com quatro linhas de entrada e quinze linhas de sada (4 x 15). 111 111 1110 Figura 6: Soma de nmeros de 3 bits gerando um nmero de 4 bits Com o intuito de apresentar o contedo de forma didtica, a Figura 7, apresenta um decodificador com duas linhas de entrada e quatro linhas de sada (2 x 4).

igual a 0, para que se possa obter o valor condicionado (Tabela 5). Tabela 5: Negao das entradas
*

0 0 A.B = 0.0 = 1.1 = 1 0 1 A.B = 0.1 = 1.1 = 1 1 0 A.B = 1.0 = 1.1 = 1 1 1 A.B = 1.1 = 1.1 = 1 * RD: Representao em decimal

RD 0 1 2 3

Finalmente, os resultados da decodificao so ligados a leds, e estes esto representando nmeros decimais. 4. PROTTIPO Para a implementao prtica do prottipo, so necessrios 21 leds, 10 CIs, sendo eles distribudos entre portas AND (7408), OR (7432), XOR (7486), sete interruptores, 2 pilhas, fios, fita isolante e um protoboard. Todos esses produtos so adquiridos em lojas de eletrnica. Alm disso, so necessrios isopor, caixa e cola, materiais encontrados em papelarias. Para a montagem da somadora, procura-se utilizar todas as portas presentes no CI. Como cada CI possui quatro portas, sempre ser utilizada a porta restante combinada com o prximo CI. O somador composto por 3 portas AND, 2 portas XOR e 2 portas OR (Equaes 13 e 14). A combinao destas ligaes possibilita uma economia na quantidade de CIs utilizados. A Figura 8 apresenta a representao das portas lgicas utilizadas:

Figura 7: Diagrama em bloco - decodificador (2 x 4) Monta-se a tabela verdade com as possveis entradas onde, para cada configurao de bits que aparece na entrada, haver uma e somente uma linha de sada ativa. Esta linha de sada, representada pelo nmero um, est assinalando a nica sada ativa. Assim quando a linha for acionada, o decodificador verifica os valores dos termos e, conseqentemente, aciona a linha correspondente ao valor decimal. Por exemplo, quando aparecer na entrada o valor 102, ativada (bit 1) a terceira linha de sada, que equivale ao valor 2 em decimal (Tabela 4). Tabela 4: Tabela Verdade decodificador (2 x 4) Representao em decimal 0 1 2 3 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1

Figura 8: Representao das portas AND, OR, XOR, respectivamente O somador completo representado na Figura 9, onde a1 e b1 so as entradas, Te_1 o termo excedente da operao anterior (vai um), e Sada o resultado final da operao:

A 0 0 1 1

B 0 1 0 1

A idia para que se possa conseguir uma expresso onde o valor de sada seja verdadeiro que todos os nmeros operados sejam verdadeiros. Esta expresso relativa para cada linha da tabela verdade e, assim, o operador lgico de conjuno obrigatoriamente utilizado para se obter todos os valores iguais a um. Conhecendo essa necessidade do operador, realizada a negao de cada valor

Figura 9: Somador completo 5

Posteriormente, passa-se para a parte da construo do decodificador, cujas etapas so apresentadas a seguir. Primeiramente, adicionam-se negaes s entradas do decodificador (Figura 10).

A seguir apresenta-se a seqncia de etapas para a construo de uma expresso lgica. A Figura 11 um CI de porta AND. No qual, 1 e 2, 4 e 5, 10 e 9, 13 e 12, so as entradas do circuito integrado e 3, 6, 11, 8 so, respectivamente, as sadas.

Figura 11: CI de porta AND Figura 10: Negao das entradas Montam-se todas as possveis expresses lgicas, utilizadas pelo decodificador, a partir da tabela verdade (Tabela 6). Tabela 6: Tabela verdade do decodificador Utiliza-se, novamente, a expresso ABCD como exemplo (Figura 12): lgica

Figura 12: Expresso lgica AB A e B so as primeiras entradas da expresso. S1 o resultado AB. Assim, S1 = 0.0 = 1.1 = 1. Posteriormente, multiplicam-se as outras entradas C e D obtendo-se o resultado S2 (Figura 13). Assim, S2 = 1.1 = 1. Aps a confeco da tabela verdade, todas a sadas iguais a 1 so, respectivamente, uma sada no decodificador. Por exemplo, ao obter a resposta S3 no somador, a representao na expresso lgica ABCD. Na Tabela 7 esto representadas todas as expresses que compem o decodificador. Tabela 7: Todas as expresses do somador S0 S1 S2 S3 S4 S5 S6 S7 ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD S8 S9 S10 S11 S12 S13 S14 ABCD ABCD ABCD ABCD ABCD ABCD ABCD Figura 13: Expresso lgica AB e CD S1 e S2 agora so as entradas da prxima multiplicao (Figura 14). Assim, R = 1.1 = 1. Para cada expresso lgica montada, so utilizadas trs sadas de um CI, como mostrado nas etapas acima, desta maneira se consegue tambm reduzir a quantidade de CIs utilizados. Cada sada do 6

decodificador, R, est ligada a um led por meio de um fio. Esse led, por sua vez, representado por um nmero de base decimal e, deste modo, o resultado mostrado ao usurio.

base decimal por meio de um decodificador sugerido. Unir conceitos histricos de informtica como lgebra Booleana junto com a eletrnica que permanece to atual torna esse trabalho gratificante, criando uma perspectiva para o futuro. Deste modo, ficam para futuro as possibilidades de ao invs de se usar os leds para a representao em decimal, sero utilizados dois painis digitais para a representao da soma, outra possibilidade ser o aumento dos nmeros de bits de entrada, possibilitando uma soma ainda maior.

Figura 14: Etapas de uma expresso lgica A Figura 15 mostra o estado final do decodificador.

Figura 15: Decodificador da Somadora O isopor e a caixa serviro como base de proteo e tambm como base de fixao para o protoboard. Os interruptores e as pilhas utilizados na elaborao da somadora serviro de alimentao para a prpria. Os leds utilizados representaro os nmeros decimais, o resultado em binrio da soma dos dois nmeros somados, e no canto da somadora, o led utilizado representar se a mesma est ligada ou desligada. A Figura 16 apresenta a seqncia das etapas construtivas da somadora. 5. CONCLUSES E SUGESTES O trabalho apresentado neste artigo um instrumento que possibilita a oportunidade de mostrar como se faz o processo de soma de dois nmeros binrios, cujo resultado no pode passar de quatorze e, assim, converte-o para um nmero de

Figura 16: Etapas construtivas 6. REFERNCIAS BIBLIOGRFICAS Daghlian, J. Lgica e lgebra de Boole. So Paulo: Atlas, 1986. Idoeta, I.V. & Capuano, F.G. Elementos de Eletrnica Digital. So Paulo: Erica, 1984. Lipschtz S. & Lipson M. Teoria e Problemas de Matemtica Discreta. Porto Alegre: Bookman, 2004. 7

Morris, M.M & Kime, C.R. Logic and Computer Design Fundamentals. Englewood Cliffs:Prentice Hall, 2000. Salmon C.W. Lgica. So Paulo: Prentice-Hall do Brasil, 1993. Tanenbaum, S.A. Organizao Estruturada de Computadores. So Paulo: Prentice-Hall do Brasil, 1993. Tocci, R.J. Sistemas Digitais: Princpios e Aplicaes. Rio de Janeiro: LTC, 1999.