Introduo Lgica Digital Lgica a ferramenta pela qual decidimos sobre a validade de uma proposio.

o. Todo o raciocnio lgico baseado na tomada de uma deciso a partir da avaliao de determinadas condies ou proposies. Inicialmente tem-se os dados de entrada e uma condio (ou uma combinao de condies ou proposies). Aplica-se a condio aos dados de entrada para decidir quais so os dados de sada. A lgica digital no diferente. Mas apresenta uma peculiaridade: trabalha apenas com variveis cujos valores alternam exclusivamente entre dois estados e no admitem valores intermedirios. Estes estados podem ser representados por "um" e "zero", "sim" e "no", "verdadeiro" e "falso" ou quaisquer outras grandezas cujo valor possa assumir apenas um dentre dois estados possveis. Assim sendo, a lgica digital a ferramenta ideal para trabalhar com grandezas cujos valores so expressos no sistema binrio. Proposio Toda proposio uma frase, mas nem toda frase uma proposio; uma frase uma proposio apenas quando admite um dos dois valores lgicos: Falso (F)ou Verdadeiro (V), caso contrrio ser chamada de Termo ou Nome. Exemplos: 1. Frases que no so proposies Concurso Seguro de Carro Brasil! Fazem referencia a objetos, sem afirmar nada sobre eles, no faz sentido, verificar sua validade. 2. Frases que so proposies A lua o nico satlite do planeta terra (V) O Concurso daquele Banco fcil (V) A cidade de Salvador a capital do estado do Amazonas (F) O numero 712 mpar (F) Raiz quadrada de dois um nmero irracional (V) Ana utiliza o Plano de Sade (V) Estas j fazem referencia aos objetos, afirmando algo sobre eles, faz sentido verificar sua validade, atribuindo-lhe um valor lgico. Composio de Proposies possvel construir proposies a partir de proposies j existentes. Este processo conhecido por Composio de Proposies. Suponha que tenhamos duas proposies: A = "Um triciclo carrega pessoas" B = "Um Triciclo um carro" Vamos a alguns exemplos: "Um triciclo no carrega pessoas" Negao de A (no(A)) "Um Triciclo no um carro" Negao de B (no(B)) "Um triciclo carrega pessoas" e "Um Triciclo um carro" Juno de A e B (A e B) "Um triciclo carrega pessoas"" ou "Um Triciclo um carro" Separao de A e B (A ou B)

"Um triciclo no carrega pessoas" e "Um Triciclo um carro" Negao de A Juno com B (no (A) e B) "Um triciclo no carrega pessoas" ou "Um Triciclo um carro" Negao de A Separao de B (no (A) ou B) "Um triciclo carrega pessoas" ou "Um Triciclo no um carro" Negao de B Separao de A (A ou no(B)) "Um triciclo carrega pessoas" e "Um Triciclo no um carro" Negao de B Juno com A (A e no(B)) Se "Um triciclo carrega pessoas" ento "Um Triciclo um carro" Se A V ento B V (A B) Se "Um triciclo no carrega pessoas" ento "Um Triciclo um carro" Se (no A) V ento B V (no (A) B) "Um triciclo um ciclomotor" equivalente a "Um Triciclo no um carro" C V se e somente se (no B) for V (C no(B)) Note que, para compor proposies usou-se a expresso no (negao), e (conjuno), ou (disjuno), (implicao) e (equivalncia). Estes so os chamados conectivos lgicos (ou Operadores Lgicos). normal utilizarmos os conectivos padres na lngua inglesa ou seja, NOT (no), AND (e), OR (ou). Note, tambm, que usou-se um smbolo para representar uma proposio: C representa a proposio Um triciclo um ciclomotor. Assim, no(B) representa Um Triciclo no um carro, uma vez que B representa Um Triciclo um carro. As proposies para serem vlidas devem satisfazer a alguns princpios bsicos... Algumas Leis Fundamentais Lei do Terceiro Excludo Uma proposio falsa (F) ou verdadeira (V): no h meio termo. Lei da Contradio Uma proposio no pode ser, simultaneamente, V e F. Lei da Funcionalidade O valor lgico (V ou F) de uma proposio composta unicamente determinado pelos valores lgicos de suas proposies constituintes. Exerccios 1) Uma grande seguradora oferece descontos especiais para clientes do sexo feminino com mais de 40 anos de idade. Um corretor dessa seguradora, deu entrada em quatro propostas para 4 clientes: Marisa de 53 anos, Laura de 27, Eduardo de 49 e Osvaldo de 38 anos. Qual desses clientes obteve o desconto oferecido? 2) Empresas de transporte coletivo da cidade oferecem passagens gratuitas para os passageiros maiores de 65 anos ou para quem tenha deficincia fsica de qualquer idade. Em um coletivo, entraram quatro passageiros: Ari, um cego de 68 anos, Dulce uma senhora de 72 anos sem deficincia, Ivanilda, uma jovem de 26 anos que usa muletas para andar e Paula, de 59 anos aparentemente normal. Qual desses passageiros no foi beneficiado pela gratuidade da passagem? 3) Outro dia, Isabela deixou seu currculo numa produtora de Software, para o cargo de

programador. O gerente que a atendeu, impressionado com seu currculo, informou-lhe que assim que surgisse uma vaga ela seria contratada. Em quais situaes o gerente ter dito a verdade? Surgiu uma vaga Isabela foi contratada O gerente mentiu p q Se p ento q 1 situao V V 2 situao V F 3 situao F V 4 situao F F 4) Dia desses, Jacira prometeu para o marido Hlio: "- Nessas frias, s viajarei para a capital se e somente se voc alugar uma casa bem no centro da cidade". Em quais situaes Jacira cumpriu a promessa? Alugou a casa Jacira viajou Jacira cumpriu a promessa p q p se e somente se q 1 situao V V 2 situao V F 3 situao F V 4 situao F F Devemos observar que:

A conjuno (E) de duas proposies s verdadeira, quando as duas proposies formadoras tambm forem verdadeiras. A disjuno (OU) de duas proposies s verdadeira, quando ao menos uma das duas proposies formadoras for verdadeira. A implicao () s falsa quando a primeira proposio for verdadeira e a segunda for falsa. A equivalncia () s falsa quando uma proposio for verdadeira e a outra for falsa. 5) Determine o valor lgico das proposies compostas abaixo, onde: A= 3, B= 5, C= 8, D=7 e X=1 a) S: ~(X > 3) ( ) b) s: (x < 1) ~(B>D) ( ) c) S: ~(D < 0) ~(C > 5) ( ) d) s: ~(X > 3) (C > 7) ( ) e) s: (A > B) (C > B) ( ) f) s: ( X >= 2 ) ( ) g) s: (X < 1 ) (B >= D) ( ) h) s: ~(D > 0) (C > 5) ( ) i) s: ~(D > 3) ~(B < 7) ( ) j) s: (A > B) ~(C > B) ( ) Em um computador, todas as operaes so feitas a partir de tomadas de decises que, por mais complexas que sejam, nada mais so que combinaes das trs operaes lgicas correspondentes s condies acima descritas: NOT, AND e OR. Para tomadas de decises mais complexas, tudo o que preciso combinar estas operaes, gerando as Operaes Derivadas. E para isto necessrio um conjunto de ferramentas capaz de manejar variveis lgicas. Esse conjunto de ferramentas a chamada "lgebra Booleana". lgebra Booleana A lgebra Booleana recebeu seu nome em homenagem ao matemtico ingls George Boole, que a concebeu e publicou suas bases em 1854, em um trabalho intitulado Na Investgation of the Laws of Thought on Wich to Found the Mathematics Theorie of Logic and Probabilities . O trabalho, evidentemente, nada a ver com computadores digitais, j que foi publicado quase um sculo antes que eles fossem inventados. Era meramente um tratado sobre lgica, um dos muitos exemplos em que os matemticos se adiantam ao tempo e criam com dcadas de avano as bases abstratas para uma tecnologia de ponta. foi somente em 1937 que Claude Shannon, um pesquisador do MIT, se deu conta que a lgica booleana era a ferramenta ideal para analisar circuitos eltricos baseados em rels, os antecessores imediatos dos computadores eletrnicos digitais a vlvula que por sua vez originaram os modernos computadores que empregam a eletrnica do estado slido. A lgebra Booleana semelhante lgebra convencional que conhecemos no curso secundrio, o ramo da matemtica que estuda as relaes entre grandezas examinando as leis que regulam as operaes e processos formais independentemente dos valores das grandezas, representadas por letras ou smbolos abstratos. A particularmente da lgebra Booleana que ela estuda relaes entre variveis lgicas que podem assumir apenas um dentre dois estados opostos, verdadeiro falso no admitindo nenhum valor intermedirio. Da mesma forma que a lgebra convencional, a lgebra booleana utiliza operaes lgicas, portanto so operaes lgicas. As razoes pelas quais a lgebra booleana a ferramenta ideal para analisar problemas de lgica digital tornam-se evidentes assim que se tomam conhecimentos de suas operaes.. A Varivel Lgica (ou Booleana) Considere a proposio citada anteriormente: A = " Um triciclo carrega pessoas " A proposio representada pelo smbolo A, dizemos que A uma varivel lgica (tambm chamada de varivel Booleana), pois pode assumir somente um dos dois valores lgicos: F ou V.

Operaes Booleanas Operao AND, cujo operador representado por "." (sinal grfico do "ponto"), pode ser aplicada a duas ou mais variveis (que podem assumir apenas os valores "verdadeiro" ou "falso"). A operao AND aplicada s variveis A e B expressa por: A AND B = A.B A operao AND resulta "verdadeiro" se e apenas se os valores de ambas as variveis A e B assumirem o valor "verdadeiro". Propriedades: (a) Comutatividade: A and B = B and A (b) Associatividade: (A and B) and C = A and (B and C) Operao OR, cujo operador "+" (sinal grfico da adio) e que tambm pode ser aplicada a duas ou mais variveis (que podem assumir apenas os valores "verdadeiro" ou "falso"). A operao OR aplicada s variveis A e B expressa por: A OR B = A+B A operao OR resulta "verdadeira" se o valor de qualquer uma das variveis A ou B assumir o valor "verdadeiro". Propriedades: (a) Comutatividade: A or B = B or A (b) Associatividade: (A or B) or C = A or (B or C) Operao NOT, cujo operador uma barra horizontal sobre o smbolo da varivel, como em A , unria, ou seja, aplicvel a uma nica varivel. Ela expressa por: NOT A = A A operao NOT inverte o valor da varivel. Ele resulta "verdadeiro" se a varivel assume o valor "falso" e resulta "falso" se a varivel assume o valor "verdadeiro". Operaes Derivadas Destas trs operaes fundamentais podem ser derivadas mais trs operaes adicionais, as operaes NAND, NOR e XOR (ou OR exclusivo). Operao NAND obtida a partir da combinao das operaes NOT e AND usando a relao: A NAND B = NOT (A AND B) A operao NAND resulta "falso" se e apenas se os valores de ambas as variveis A e B assumirem o valor "verdadeiro". Operao NOR obtida a partir da combinao das operaes NOT e OR usando a relao: A NOR B = NOT (A OR B) A operao NOR resulta "verdadeiro" se e apenas se os valores de ambas as variveis A e B assumirem o valor "falso". Operao, XOR ou "OR exclusivo" um caso particular da funo OR. Ela expressa por: A XOR B = (A OR B) AND NOT (A AND B) A XOR B = (A+B) . (A.B)' A operao XOR resulta "verdadeiro" se e apenas se exclusivamente uma das variveis A ou B assumir o valor "verdadeiro" (uma outra forma, talvez mais simples, de exprimir a mesma idia : a operao XOR resulta em "verdadeiro" quando os valores das variveis A e B forem diferentes entre si e resulta "falso" quando forem iguais). Operao, XNOR ou "NOR exclusivo" resulta "verdadeiro" se as duas variveis de entrada A e B tiverem valores lgicos iguais. Esta funo tambm chamada funo EQUIVALNCIA. A XNOR B = NOT (A XOR B) Temos trs formas de analisar as operaes lgicas booleanas: Tabela-Verdade, Funes booleanas e Diagramas Lgicos.

Tabela-Verdade Uma tabela verdade nada mais que a lista de todos os possveis resultados da operao, obtida atravs de todas as combinaes possveis dos valores dos operandos. Como os operandos somente podem assumir os valores "verdadeiro" e "falso", a confeco de uma tabela verdade muito simples. Para exemplificar, vamos montar a tabela verdade da operao AND aplicada s variveis A e B. Sabemos que para que o resultado de A AND B seja verdadeiro, AMBOS os operandos devem ser verdadeiros, todas as demais combinaes de valores das variveis resultam "falso". Ou seja: A B A AND B Para simplificar, representemos o valor "verdadeiro" por "1" e "falso" por "0"... A B A AND B Falso Falso Falso 0 0 0 Falso Verdadeiro Falso 0 1 0 Verdadeiro Falso Falso 1 0 0 Verdadeiro Verdadeiro Verdadeiro 1 1 1 Raciocnio idntico pode ser feito para as demais operaes. O resultado pode ser visto na tabela abaixo, que exibe a tabela verdade de todas as operaes lgicas: A B NOT A NOT B A AND B

A NAND B A OR B A NOR B A XOR B A XNOR B 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 Semelhantemente lgebra convencional, tambm na lgebra booleana possvel combinar variveis e operadores para gerar complexas expresses algbricas que podem ser avaliadas. O valor da expresso obtido atribuindo-se valores s variveis e efetuando-se as operaes indicadas (como na lgebra convencional, na lgebra booleana os parnteses indicam a ordem de precedncia de avaliao dos termos). Por exemplo, a expresso algbrica (da lgebra convencional), quando as variveis assumem os valores A=9, B=3 e C=2 : (A / B) + C = 5 As expresses da lgebra booleana podem ser avaliadas de forma semelhante. A diferena

bsica que suas operaes so as operaes lgicas e os valores a serem atribudos (tanto expresso quanto s variveis) alternam somente entre "verdadeiro" (1) e "falso" (0). Tomemos como exemplo uma expresso simples, como: (A OR B) AND (NOT C) que pode ser expressa como: (A + B). C e vamos determinar o valor da expresso quando as variveis valem: A = 0, B = 1, C = 1 Para tanto, efetuemos inicialmente a avaliao do primeiro termo entre parnteses. Trata-se de uma operao OR executada entre duas variveis cujos valores so A = 0 e B = 1. Um exame da tabela verdade das operaes lgicas indica que 0 OR 1 = 1 Em seguida executa-se a operao NOT na varivel C, e ainda conforme a mesma tabela: NOT 1 = 0 Finalmente executa-se a operao AND envolvendo os dois resultados parciais. 1 OR 0 = 1 Este o valor da expresso para estes valores das variveis. Considerando que na lgebra booleana as variveis apenas podem assumir os valores 1 e 0, dada uma expresso relativamente simples construir uma tabela listando os valores assumidos pela expresso para todas as combinaes dos valores de suas variveis. Esta tabela denomina-se tabela verdade da expresso. Para a expresso do exemplo acima, a tabela verdade seria: A B C (A OR B) AND (NOT C) 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0

1 1 1 1 0 As regras bsicas da lgebra booleana so simples. As operaes so apenas seis (NOT, AND, OR, NAND, NOR, XOR e XNOR). Os valores possveis, tanto para as variveis quanto para as expresses, so apenas dois (1 ou 0). No entanto, expresses obtidas combinando operaes que envolvem um grande nmero de variveis podem atingir um grau de complexidade muito grande. No entanto, sua avaliao sempre feita decompondo-se a expresso em operaes elementares respeitando-se a ordem de precedncia indicada pelos parnteses, avaliando as operaes elementares e combinando-se seu resultado. A avaliao pode ser trabalhosa, mas no difcil. Assim como a lgebra convencional, a lgebra booleana tambm tem seus postulados (que independem de demonstrao) e suas identidades (que podem ser derivadas dos anteriores). Os postulados definem a forma pela qual as expresses so interpretadas. Os principais postulados e identidades da lgebra booleana podem ser resumidos no quadro abaixo, arranjado em colunas para evidenciar a natureza complementar das operaes OR e AND. Postulados bsicos A.B=B.A A+B=B+A Lei comutativa A . (B + C) = (A . B) + (A . C) A + (B . C) = (A + B) . (A + C) Lei distributiva 1 . A' = A 0+A=A Elemento idntico A . A' = 0 A + A' = 1 Elemento inverso Identidades derivadas 0.A=0 1+A=1 A.A=A A+A=A A . (B . C) = (A . B) . C A + (B + C) = (A + B) + C Lei associativa NOT (A . B) = A' + B' NOT (A + B) = A' . B' Teoremas de DeMorgan Experimente: verifique os postulados e identidades atribuindo os mesmos valores s variveis correspondentes das expresses de ambos os membros e compare os resultados. Repare que existe alguma analogia entre as operaes AND e OR da lgebra booleana e as operaes de multiplicao e adio da lgebra convencional. Mas neste caso, vale notar que esta analogia no se manifesta na lei distributiva expressa na coluna central.

Em princpio, as bases da lgebra booleana so as acima resumidas. Apenas com estes conhecimentos e utilizando-se as relaes expressas nos postulados, identidades e teoremas para simplificar expresses mais complexas, possvel determinar o valor de quaisquer expresses da lgebra booleana. Com os conhecimentos da lgebra booleana, podemos analisar todos os fenmenos relativos lgica digital que rege as operaes internas dos computadores. O que nos falta agora um meio fsico de implementar os circuitos eletrnicos baseados nessa lgica. Equaes Lgicas (Booleanas) Dada uma varivel lgica, possvel construir uma funo desta varivel, f(A), Exemplo: f(A) = A' isto , funo da varivel lgica A representa simplesmente a sua negao. Como visto acima, sua tabela-verdade dada por (usando-se nmeros binrios 1 e 0, ao invs de V e F). A f(A) = A' 0 1 1 0 Quando se tem apenas 1(uma) varivel lgica, como acima, possvel construir 4 funes, a funo f1 a prpria negao; a funo f2 a identidade; a funo f3 vale sempre 0 e a funo f4 vale sempre 1. A f1(A) f2(A) f3(A) f4(A) 0 1 0 0 1 1 0 1 0 1 Veja que, para duas ou mais variveis, o nmero possvel de funes que podem ser construdas de 22n, onde n o nmero de variveis. Para duas variveis, 22.2 = 16 (apenas 16 possibilidades de construo de funes lgicas de apenas 2 variveis). A B f0 f1 f2 f3 f4 f5 f6 f7

f8 f9 f10 f11 f12 f13 f14 f15 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0

1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 AND ~AB A ~BA B XOR OR NOR XNOR ~B BA ~A AB NAND 1 Para 3 variveis, 22.3 = 64 funes possveis, e assim por diante. Na tabela cima, A e B so as variveis independentes e fi(A,B) so as variveis dependentes, conhecidas por funes de variveis lgicas, funes combinatoriais ou, ainda, funes combinacionais. A funo lgica fi(A,B) pode ser representada por uma caixa preta cujo contedo implementa um tipo de Porta ou uma combinao das mesmas. Por exemplo, para a tabela acima, algumas funes so: Funo f0 f1 f2 f3

f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 Porta 0 AND A'B A B'A B XOR OR NOR XNOR B' BA A' AB NAND 1

O que aqui considerado como a Porta 0 um circuito lgico que, independente das entradas, a sada sempre zero. A Porta 1 segue o mesmo esquema, isto , para quaisquer entradas, a sada sempre 1. Os smbolos A' e B' caracterizam as negaes, ou inverses, das variveis A e B. Qualquer circuito lgico pode ser considerado como uma caixa preta como descrita acima. Para exemplificar, veja como "encapsular" um circuito lgico em uma "caixa preta".

Observe que o modelo caixa preta muito mais geral que o outro que j est especificado. O que se sabe do modelo caixa preta a quantidade de circuitos que podem ser gerados a partir de 4 entradas e 1 sada. Quantos so mesmo? Funo Combinacional Uma funo combinacional uma soluo para um problema combinacional. Como exemplo de um problema combinacional, considere um sistema de segurana de uma loja em um shopping. H um sensor de contato que, ligado, (on, V ou 1), indica que a porta est fechada; e outro sensor infravermelho que, ligado, indica que no h pessoas ou coisas se movendo no interior da loja. H, tambm, um alarme que acionado quando um dos dois sensores desligado (off, F ou 0). Isto , basta um nico sensor ser desativado para soar o alarme. Denomine cada sensor pelos smbolos A e B, A = "Sensor de contato" B = "Sensor infravermelho" Para maior realismo, suponha que a fonte de energia do sistema seja independente da rede eltrica (no-break, por exemplo). A tabela-verdade para a funo alarme, f(A,B), dada por: A B f(A,B) 0 0 1 0 1 1 1 0 1 1 1 0 onde 0 e 1 significam desligado e ligado, respectivamente. A equao booleana para a funo alarme acima, pode ser escrita da seguinte forma: f(A,B) = (A.B)' onde o smbolo "'" significa a negao lgica, e o smbolo "." significa a conjuno (AND) lgica. Sua tabela-verdade construda da mesma maneira, A funo alarme aqui tratada poderia ser especificada atravs do seguinte diagrama lgico, isto , atravs da Porta Lgica NAND, como veremos a seguir. Exerccios 1. Indique para cada uma das sentenas a seguir se a mesma uma proposio. Justifique.

a) Parece que sei l ! b) Quem sabe esta eu acerto ? c) Por favor responda corretamente. d) Esta frase no uma proposio. e) Todas as sentenas anteriores so proposies. f) Nenhuma das sentenas anteriores so proposies. g) 2x > 30. 2. Apresente a negao de cada uma das proposies a seguir: a) Todos os alunos da POLI so inteligentes. b) A proposio do item anterior verdadeira e esta proposio falsa. c) (p ~q) ~p

Gabarito Comentado 1. Indique para cada uma das sentenas a seguir se a mesma uma proposio. Justifique. a) Parece que sei l ! No. impossvel definir se V ou F. b) Quem sabe esta eu acerto ? No. No uma afirmao. c) Por favor responda corretamente. No. No uma afirmao. d) Esta frase no uma proposio. Sim. Possui valor lgico definido (no caso falso) e) Todas as sentenas anteriores so proposies. Sim. Possui valor lgico definido (no caso falso) f) Nenhuma das sentenas anteriores so proposies. Sim. Possui valor lgico definido (no caso falso) g) 2x > 30. No, porque pode assumir valores lgicos diferentes, dependendo do valor de x. (trata-se de uma funo proposicional) 2. Apresente a negao de cada uma das proposies a seguir: a) Todos os alunos da POLI so inteligentes. H pelo menos um aluno na POLI que no inteligente. b) A proposio do item anterior verdadeira e esta proposio falsa. A proposio do item anterior falsa ou esta proposio verdadeira Portas Lgicas Bsicas (Gates) Porta Lgica ou Gate So dispositivos ou circuitos lgicos que operam um ou mais sinais lgicos de entrada para produzir uma (e somente uma) sada, a qual dependente da funo implementada no circuito. Um computador constitudo de uma infinidade de circuitos lgicos, que executam as seguintes funes bsicas: a) Realizam operaes matemticas b) Controlam o fluxo dos sinais c) Armazenam dados Existem dois tipos de circuitos lgicos: 1. COMBINACIONAL - a sada funo dos valores de entrada correntes; esses circuitos no tm capacidade de armazenamento [casos a e b acima]. 2. SEQUENCIAL - a sada funo dos valores de entrada correntes e dos valores de entrada no instante anterior; usada para a construo de circuitos de memria (chamados "flip-flops" caso c acima);

Portas Bsicas PORTA NOT (NO) A Porta NOT inverte o sinal de entrada (executa a NEGAO do sinal de entrada), ou seja, se o sinal de entrada for 0 ela produz uma sada 1, se a entrada for 1 ela produz uma sada 0.

PORTA AND (E) A Porta AND combina dois ou mais sinais de entrada de forma equivalente a um circuito em srie, para produzir um nico sinal de sada, ou seja, ela produz uma sada 1, se todos os sinais de entrada forem ; caso qualquer um dos sinais de entrada for 0, a Porta AND produzir um sinal de sada igual a zero. PORTA OR (OU) A Porta OR combina dois ou mais sinais de entrada de forma equivalente a um circuito em paralelo, para produzir um nico sinal de sada, ou seja, ela produz uma sada 1, se qualquer um dos sinais de entrada for igual a 1; a Porta OR produzir um sinal de sada igual a zero apenas se todos os sinais de entrada forem 0. Portas Derivadas PORTA NAND (NO E) A porta NAND eqivale a uma porta AND seguida por uma porta NOT, isto , ela produz uma sada que o inverso da sada produzida pela porta AND.

PORTA NOR (NO OU) A Porta NOR eqivale a uma Porta OR seguida por uma Porta NOT, isto , ela produz uma sada que o inverso da sada produzida pela Porta OR.

PORTA XOR (OU EXCLUSIVO) A Porta XOR compara os bits; ela produz sada 0 quando todos os bits de entrada so iguais e sada 1 quando pelo menos um dos bits de entrada diferente dos demais.

PORTA XNOR (NOU EXCLUSIVO) A porta XNOR compara os bits; ela produz sada 1 quando todos os bits de entrada so iguais e sada 0 quando pelo menos um dos bits de entrada diferente dos demais. tambm chamada de EQUIVALNCIA.

Exemplo de circuitos utilizando portas lgicas

A) Uma campainha que toca (sada) se o motorista der a partida no motor do carro (entrada) sem estar com o cinto de segurana afivelado (entrada). Se a ignio for ACIONADA (1) e o cinto estiver DESAFIVELADO (1), a campainha ACIONADA (1). Caso contrrio, a campainha no toca

B) Detetor de incndio com vrios sensores (entradas) e uma campainha para alarme (sada). Se QUALQUER UM dos sensores for acionado (significando que um dos sensores detectou sinal de incndio), a campainha ACIONADA.

C) Elevador que s para no andar (Parada) se: 1) Quando estiver descendo (Elevador D) e o boto descer (Boto D) estiver acionado 2) Quando estiver subindo (Elevador S)e o boto subir (Boto S) estiver acionado Tabela Verdade:

Boto S Boto D Elevador S Elevador D Parada 0 1 0 1 1 0 1 1 0 0 1 0 1 0

1 1 0 0 1 0 coisa de usurio 1 1 1 0 1 1 1 0 1 1

Representao de circuitos com as Funes NAND e NOR Usando as propriedades apresentadas, todo e qualquer circuito pode ser representado usando exclusivamente as funo NAND ou as funo NOR. Para que serviria tal artimanha, alm da dor de cabea aos alunos? H neste caso uma razo maior que a comodidade ou a aparente dificuldade: a razo econmica. Por diversas razes construtivas, fica mais barato construir TODOS os circuitos de um computador usando APENAS UM NICO TIPO DE CIRCUITO. Aceitando essa afirmao, vamos enfrentar a tarefa de representar os nossos circuitos j conhecidos usando apenas funes NAND ou os NOR. a) CIRCUITO INVERSOR

b) CIRCUITO AND

c) CIRCUITO OR

Exerccios 1. Faa as tabelas verdade para os seguintes diagramas: a)

b)

2. Desenhe os diagramas lgicos para as seguintes tabelas verdade: a) A B S b) A B S c) A B S d) A B S 0 0 0 0 0

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

1 0 1 1 1 1 1 0 3. Escreva a tabela verdade e a expresso do circuito abaixo e simplifique. A B X 0 0 1 0 0 1 1 1

Observao: Este circuito implementa a funo XOR, usando apenas portas NAND. B) Mostre utilizando os operadores conhecidos que :

C) A partir do Diagrama ao lado, construa a Tabela Verdade: A B C V S 0 0 0

1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 Apndice A Aplicao da lgebra de Boole aos Computadores Digitais Boole desenvolveu sua lgebra a partir desses conceitos bsicos e utilizando apenas os algarismos 0 e 1. Os primeiros computadores fabricados, como o ENIAC, trabalhavam em DECIMAL. No entanto, a utilizao de circuitos eletrnicos que operassem com 10 diferentes nveis de tenso (para possibilitar detectar as 10 diferentes grandezas representadas no sistema decimal) acarretavam uma grande complexidade ao projeto e construo dos computadores, tendo por conseqncia um custo muito elevado. Surgiu ento a idia de aplicar a lgebra de Boole, simplificando extremamente o projeto e construo dos computadores, pelo fato de utilizar somente um tipo de circuito. Nvel Lgico 10

Nvel Lgico 5

Nvel Lgico 1

Nvel Lgico 0 Nvel Lgico 0 Mas como os conceitos da lgebra de chaveamentos (um ramo da lgebra do Boole) so aplicados ao projeto dos computadores digitais? A chave de tudo um circuito eletrnico chamado CHAVE AUTOMTICA. Como funciona uma chave automtica? Vamos imaginar um circuito chaveador com as seguintes entradas: Uma fonte de alimentao (fornece energia para o circuito) Um fio de controle (comanda a operao do circuito) Um fio de sada (conduz o resultado) No desenho, a chave permanece aberta enquanto o sinal C no fio de controle for 0 (ou Falso). Enquanto no houver um sinal (sinal 1 ou Verdadeiro) no fio de controle, que mude a posio da chave, o sinal no fio de sada S ser 0 (ou Falso). Quando for aplicado um sinal (sinal 1 ou Verdadeiro) ao fio de controle, a chave muda de posio, tendo como resultado que o sinal na sada ser ento 1 (ou Verdadeiro). A posio da chave se manter enquanto no ocorrer um novo sinal na entrada. A chave automtica foi inicialmente implementada com rels eletromecnicos e depois com vlvulas eletrnicas. A partir da metade da dcada de 50, passaram a ser utilizados dispositivos

em estado slido - os TRANSISTORES, inventados em Stanford em 1947. Os modernos Circuitos Integrados - CI's e os microprocessadores so implementados com milhes de transistores "impressos" em minsculas pastilhas. Vamos agora analisar o que ocorreria se ns ligssemos em SRIE duas chaves automticas como as acima, e ligssemos uma lmpada ao circuito. O circuito resultante poderia ser representado assim: A lmpada acenderia SE - e somente se - as DUAS chaves estivessem na posio LIGADO (ou verdadeiro), o que seria conseguido com as duas entradas A e B em estado 1 (Verdadeiro). Substituindo CORRENTE (ou chave ligada) por 1 e AUSNCIA DE CORRENTE (ou chave desligada) por 0, como ficaria nossa tabela verdade para LMPADA LIGADA = 1 e LMPADA DESLIGADA = 0? A B L 0 0 0 0 1 0 1 0 0 1 1 1 D para reconhecer a nossa j familiar FUNO E? O circuito acima que implementa a funo E chamado de PORTA E (AND GATE). Vamos agora analisar o que ocorreria se ns ligssemos em PARALELO duas chaves automticas como as acima, e ligssemos uma lmpada ao circuito. O circuito resultante poderia ser representado assim: A lmpada acenderia SE QUALQUER UMA DAS-CHAVES estivesse na posio LIGADO (ou verdadeiro), o que seria conseguido com uma das duas entradas A ou B em estado 1 (Verdadeiro). Substituindo CORRENTE (ou chave ligada) por 1 e Ausncia de Corrente (ou chave desligada) por 0, como ficaria nossa tabela verdade para Lmpada LIGADA = 1 e Lmpada DESLIGADA = 0? A B L 0 0 0 0 1 1 1 0 1 1 1 1

E agora, d para reconhecer a nossa j familiar FUNO OU ? O circuito acima, que implementa a funo OU, chamado de PORTA OU (OR Gate).

Bibliografia Auxiliar 3. QUINE, O. O Sentido da Nova Lgica. So Paulo, Editora da USP, 1942. 4. GRIES, D. The Science of Programming. New York, The MIT Press, 1986. 5. LEAL, Maria Leonor de M. S. Matemtica na Computao. Rio de Janeiro, Ed. Senac Nacional, 1999