UNIDADE III

CIRCUITOS COMBINACIONAIS

3.1 INTRODUO A partir das portas lgicas bsicas ser possvel construir circuitos digitais complexos e com aplicaes prticas como alarmes combinados com diversos tipos de sensores, aparelhos e instrumentos digitais para as mais variadas aplicaes como na indstria, na medicina entre outras. Para chegar l, entretanto, temos que compreender agora as tcnicas fundamentais que nos permitem combinar de forma correta estes circuitos. Os circuitos lgicos dos sistemas digitais podem ser de dois tipos: circuitos combinacionais ou circuitos sequenciais. Um circuito combinacional constitudo por um conjunto de portas lgicas as quais determinam os valores das sadas diretamente a partir dos valores atuais das entradas. Pode-se dizer que um circuito combinacional realiza uma operao de processamento de informao a qual pode ser especificada por meio de um conjunto de equaes Booleanas. No caso, cada combinao de valores de entrada pode ser vista como uma informao diferente e cada conjunto de valores de sada representa o resultado da operao. Vejamos o diagrama de blocos genrico de um circuito combinacional:

O projeto de um circuito combinacional inicia na especificao do problema e culmina no diagrama do circuito (ou no conjunto de equaes que o descrevem). Um procedimento genrico para o projeto envolve os seguintes passos: 1. escolher um smbolo para cada varivel de entrada e para cada varivel de sada; 2. a partir da especificao do problema, determinar a tabela verdade (caso ela j no faa parte da especificao do problema); 3. obter as equaes simplificadas; 4. mapear o circuito para a biblioteca de portas disponvel (se for o caso); 5. desenhar o circuito final.

3.2 Tcnicas de simplificao Basicamente existem 3 maneiras de representar um circuito lgico: atravs da sua equao booleana, de uma tabela verdade ou de um diagrama lgico. Na prtica, usamos estas trs formas sequencialmente. 1 relacionamos as variveis de entrada e sada em uma tabela verdade; 2 - obtemos as equaes correspondentes s sadas, 3 utilizamos algum mtodo de simplificao algbrico ou grfico; 4 elaboramos o diagrama lgico das equaes simplificadas.

3.2.1 Simplificao pelo mtodo algbrico

Este processo de simplificao est baseado em um conjunto de postulados, propriedades, e teoremas que nos interessa conhecer e analisar. 3.2.1.1 - Postulados Postulado 1 (Lei do elemento absorvente para a soma lgica) A soma lgica de uma varivel binria mais um 1 lgico equivale a 1 lgico, ou,

a +1 = 1
Postulado 2 (Lei do elemento neutro para a soma lgica) A soma lgica de uma varivel binria mais um 0 lgico equivale ao valor da varivel binria ou,

a+0=a
Postulado 3 (Lei do elemento neutro para a multiplicao lgica) O produto lgico de uma varivel binria pr um 1 lgico igual ao valor da varivel binria ou,

a 1 = a
Postulado 4 (Lei do elemento absorvente para a multiplicao lgica) O produto lgico de uma varivel binria pr um 0 lgico igual a um 0 lgico, ou,

a 0 = 0.

Postulado 5 (Lei da idempotncia) A soma lgica de duas variveis binrias iguais equivale ao valor lgico dessa varivel binria ou,

a+ a=a a.a=a
Postulado 6 (Lei do elemento complementaridade para a soma lgica) A soma lgica de uma varivel binria mais a negao da mesma varivel binria equivale a 1 lgico ou,

Postulado 7 (Lei do elemento complementaridade para a multiplicao lgica) O produto lgico de uma varivel binria mais a negao da mesma varivel binria equivale a 0 lgico ou,

Postulado 8 (Lei da involuo) Se uma varivel binria for negada duas vezes, esta no varia

Postulado 9 Se os dois membros de uma igualdade forem negados, esta no sofre qualquer Alterao, ou seja

3.2.1.2 Propriedades Propriedade comutativa

Propriedade associativa

Propriedade distributiva

3.2.1.3 Teoremas Teorema 1 (Lei da absoro)

Teorema 2

Teorema 3 (Leis de De Morgan ou Princpio da dualidade)

3.2.1.4 Formas cannicas de uma funo lgica Uma funo lgica binria S = f(a,b,...) dita estar representada na 1 forma cannica se S estiver escrita como a soma de produtos, nos quais aparecem todas as variveis binrias em cada um dos termos (parcelas ou MINTERMOS) que constituem a expresso, em forma direta ou complementada (negao). Por exemplo, a funo lgica binria:

est expressa na 1 forma cannica soma de produtos J a funo lgica binria:

Est escrita na 2 forma cannica produto das somas. A 2 forma cannica obtm-se multiplicando todas as somas lgicas (ou MAXTERMOS)

Vamos ver um exemplo. Considere a seguinte tabela de verdade:

Como o valor lgico de S 1 para as linhas 1, 6 e 7, a expresso de S na 1 Forma Cannica fica sendo a soma de MINTERMOS formados por estas linhas:

Por outro lado, como o valor lgico de S 0 para as linhas 1, 3, 4, 5 e 8, a expresso de S na 2 Forma Cannica fica sendo a multiplicao de MAXTERMOS formados por estas linhas:

Ambas equaes representam a sada S da tabela verdade. muito importante simplificar as funes lgicas obtidas da tabela de verdade. Quanto mais simples for a expresso obtida, menor ser o nmero de componentes a utilizar na sua implementao. Entretanto no existem regras rgidas existindo por isso a necessidade de recorrer s regras j apresentadas: postulados, propriedades e teoremas da lgebra de Boole. Veja neste exemplo, como podemos aplicar os conhecimentos adquiridos para simplificar uma funo:

Podemos transformar qualquer funo lgica, seja qual for a forma em que est escrita, numa representao na forma cannica, tanto soma de produtos como produto de somas. Na ausncia de metodologias, bem definidas, temos que utilizar a lgebra de Boole de uma forma racional.

3.2.2 Simplificao pelo mtodo grfico Karnaugh

Este mtodo relativamente simples e eficaz at 4 variveis. Pode ser usado com mais variveis (5 ou 6) mas no aconselhvel. Para utilizar o mtodo necessrio utilizar a expresso numa das formas cannicas. Devemos, inicialmente, construir mapas com 2 N clulas, cada uma correspondente a um MINTERMO.

O passo seguinte consiste no preenchimento destes mapas, com base na tabela de verdade ou da funo lgica na 1 ou 2 forma cannica. Se de uma clula para a outra apenas variar uma das variveis, ento, podemos dizer que temos adjacncia lgica. Regras a respeitar para o preenchimento dos mapas: a) Coloca-se 1 em cada clula (quer seja a 1 ou 2 forma cannica) onde a funo Exista; b) Agrupam-se os 1s em blocos de 2, 4, 8 ou 16 clulas. S se podem agrupar clulas Adjacentes; c) Construir o menor nmero de blocos com o maior nmero de 1s possvel. Uma mesma casa pode pertencer a mais do que um bloco; d) A cada grupo de 1s corresponde um termo (parcela) da expresso final; e) A varivel representada na forma negada quando o valor lgico dela for 0 , ou 1 quando o valor for direto (no negado). Vejamos um exemplo. Considere a funo lgica na 1 forma cannica, obtida da tabela verdade que se segue:

Construindo-se o mapa abaixo (com 24 = 16 clulas), temos:

E portanto, aps agruparmos os 1s em blocos de 2, temos a expresso de F Simplificada. Em mais um exemplos temos: Considere a tabela verdade a partir da qual podemos obter a equao de sada.

Construindo-se o mapa abaixo (com 24 = 16 clulas), temos:

E portanto, aps agruparmos os 1s em blocos de 2, temos a expresso de F simplificada:

Entretanto, se agruparmos os 1s em blocos diferentes:

teremos ento outra expresso de F simplificada:

EXERCCIOS 1. Construa a tabela verdade e obtenha a equao de sada dos circuitos

a)

b) 2 . Obtenha a expresso booleana das sadas, simplificando quando possvel. A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 Y 1 0 1 0 1 0 0 0 X 0 1 1 0 1 0 0 0

b)
A 0 0 1 1 B 0 1 0 1 Y 1 0 0 1

3 - Utilizando manipulaes algbricas e sabendo que AB=0 e A+B=1, mostre que a) A(C + BC + BC) + BC = C b) AC + AB + BC = B + C c) (B AC + C) + A B( C + C) + AC + BC = 1 Estudo complementar veja tambm em: http://www.youtube.com/watch?v=0zSHzQJ6vgo. http://www.youtube.com/watch?v=a-3QGiIb4IA