Vous êtes sur la page 1sur 53

UNIMINAS Sistemas de Informao

Disciplina:

Lgica para Computao

Prof. Walteno Martins Parreira Jnior


www.waltenomartins.com.br waltenomartins@yahoo.com

2009

Lgica Para Computao 1 INICIAO LGICA A lgica iniciou seu desenvolvimento na Grcia Aristteles (384 322 AC) e os antigos filsofos gregos passaram a usar em suas discusses sentenas enunciadas nas formas afirmativa e negativa, resultando em grande simplificao e clareza. Em 1847, Augustus DeMorgam (1806-1871) publicou o tratado Formal Logic. Em 1848, George Boole (1815-1864) escreveu The Mathematical Analysis of Logic e depois publicou um livro sobre o que foi denominado posteriormente de lgebra de Boole. Em 1879, Gotlob Frege (1848-1925) contribuiu no desenvolvimento da lgica com a obra Begriffsschrift. As idias de Frege s foram reconhecidas pelos lgicos mais ou menos a partir de 1905. A escola italiana, que desenvolveu quase toda simbologia da matemtica utilizada atualmente, composta de Giuseppe Peano (1858-1932) e tambm por Burali-Forti, Vacca, Pieri, Pdoa, Vailati, etc. Bertrand Russell (1872-1970) e Alfred North Whitehead (1861-1947) iniciam o atual perodo da lgica com a publicao da obra Principia Mathematica no incio do sculo XX. Tambm contribuem para o estgio atual, David Hilbert (1862-1943) e sua escola alem com von Neuman, Bernays, Ackerman e outros. Em 1938, Claude Shannon mostrou a aplicao da lgebra de Boole na analise de circuitos de rels. Podemos dizer que a lgica estuda as condies objetivas e ideais para justificar a verdade e no cuida da prpria verdade. Ela estuda as condies formais para justificar a verdade, isto , as condies que o pensamento deve preencher para ser coerente consigo mesmo e demonstrar a verdade j conhecida. A lgica estuda as relaes do pensamento consigo mesmo para possibilitar a construo de um contexto correto de justificao, isto , para a definio argumentativa de premissas corretamente dispostas para uma concluso justificada. Uma das condies para se ter a verdade demonstrada, e portanto justificada, que o pensamento seja coerente consigo mesmo, isto , que siga as leis da razo expressa linguisticamente. 1.1 - PROPOSIO Definio: todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. As proposies transmitem pensamentos, isto , afirmam fatos ou exprimem juzos que formamos a respeito de determinados entes. Exemplos: Japo est situado no continente africano. A lmpada da sala est acesa. A cidade de Recife a capital de Pernambuco. Na linguagem natural nos acostumamos com vrios tipos de proposies ou sentenas: a) Declarativas Mrcio engenheiro. Todos os homens so mortais. sen (/2) = 1 A lua gira em torno da terra. b) Interrogativas Ser que o Roberto vai ao cinema hoje? Prof. Walteno Martins Parreira Jr Pgina 1

Lgica Para Computao Quantos alunos faltaram hoje a aula de lgica? O Brasil ganhar a copa do mundo de 2006? c) Exclamativas Feliz Natal! Vencemos! Passamos no vestibular! d) Imperativas No falte as aulas de lgica. Feche a porta. Fique calado. Estudaremos somente as proposies declarativas, pois elas podem ser facilmente classificadas em verdadeiras ou falsas. 1.2 AS TRS LEIS DO PENSAMENTO A lgica adota como regras fundamentais do pensamento os seguintes princpios (ou axiomas): a) Princpio da Identidade Se qualquer proposio verdadeira, ento ela verdadeira. b) Princpio da No-Contradio Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. c) Princpio do terceiro Excludo Toda proposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e nunca um terceiro caso. Com base nesses princpios as proposies simples so ou verdadeiras ou falsas sendo mutuamente exclusivos os dois casos; da dizer que a lgica clssica bivalente Exemplos de proposies falsas: O navegador Vasco da Gama descobriu o Brasil. O escritor francs Dante escreveu Os Lusadas. nmero um nmero racional. O Mxico est localizado na Amrica do Sul. 1.3 VALORES LGICOS DAS PROPOSIES Definio: chama-se valor lgico de uma proposio a verdade se a proposio verdadeira e a falsidade se a proposio falsa. Os valores lgicos verdade e falsidade de uma proposio designam-se abreviadamente pelas letras V e F respectivamente. Assim, o que os princpios (axiomas) afirmam que: Toda proposio tem um, e um s, dos valores V e F. O valor lgico de uma proposio P a verdade (V) se P verdadeira, escrevendo: v(P) = V e l-se: o valor lgico de P V

Prof. Walteno Martins Parreira Jr

Pgina 2

Lgica Para Computao Exemplos: P: O mercrio mais pesado que a gua. Q: O sol gira em torno da Terra. R: A lua um satlite natural da Terra. 1.4 SENTENAS ABERTAS Definio: quando em uma proposio substitumos alguns (ou todos os) componentes por variveis, obtemos uma sentena (proposio) aberta. Seja a proposio Magda Uberlandense, se substitumos o nome Magda pela varivel X, obteremos a sentena aberta X Uberlandense, que no necessariamente verdadeira e nem falsa. Exemplos: P: X filho de Y. Q: x y = 12 R: Se x sobrinho de y, ento, x primo de z. 1.5 PROPOSIES SIMPLES (ATMICAS) Definio: chama-se proposio simples, a proposio que no contm nenhuma outra proposio como parte integrante de si. Exemplos: P: Carlos careca. Q: Pedro estudante. R: O galo pe ovos. 1.6 CONECTIVOS LGICOS Definio: so palavras ou frases que so usadas para formar novas proposio a partir de outras proposies. Os conectivos usuais em lgica matemtica so: Conectivo Negao Conjuno Disjuno Condicional Bicondicional No E Ou Se ... ento ... ... Se, e somente se ... Palavras Smbolo ~ ou v(P) = V v(Q) = F v(R) = V

Prof. Walteno Martins Parreira Jr

Pgina 3

Lgica Para Computao 1.7 PROPOSIES COMPOSTAS Definio: so as proposies formadas por duas ou mais proposies simples e ligadas pelos conectivos lgicos. Exemplos: P: Carlos careca e Pedro estudante. Q: Carlos careca ou Pedro estudante. R: Se Carlos careca, ento Carlos infeliz. S: Carlos careca se, e somente se Pedro estudante. 1.8 TABELA-VERDADE Segundo o Princpio do terceiro excludo, toda proposio simples P verdadeira ou falsa, isto , tem valor lgico V (verdade) ou o valor lgico F (falsidade). Em uma proposio composta, a determinao do seu valor lgico feito segundo o princpio: O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinado. Para aplicar este princpio na prtica, recorre-se ao uso do dispositivo denominado Tabela-verdade, que apresenta todos os possveis valores lgicos da proposio composta correspondentes a todas as possveis atribuies de valores lgicos s proposies simples correspondentes. O nmero de linhas da tabela-verdade de uma proposio composta est em funo do nmero de proposies simples que a compem. A tabela-verdade de uma proposio composta com n proposies simples contm 2n linhas. Portanto, podemos observar: a) Para uma proposio simples P, o numero de linhas da tabela-verdade ser: 21 = 2, representando na tabela-verdade: P V F b) Para uma proposio composta cujas proposies simples componentes so P e Q, o nmero de linhas da tabela-verdade ser: 22 = 4 , que ser representada: P V V F F Q V F V F

Prof. Walteno Martins Parreira Jr

Pgina 4

Lgica Para Computao c) Para uma proposio composta cujas proposies simples componentes so P, Q e R, o nmero de linhas da tabela-verdade ser: 23 = 8 , que ser representada: P V V V V F F F F Q V V F F V V F F R V F V F V F V F

Observe que os valores lgicos V e F se alternam de quatro (4) em quatro para a primeira proposio (P), de dois (2) em dois para a Segunda proposio (Q) e de um (1) em um para a terceira proposio (R). 1.9 OPERAO LGICA NEGAO Definio: chama-se negao de uma proposio P a proposio representada por No P, cujo valor lgico a verdade (V) quando P falsa e a falsidade (F) quando P verdadeira. Simbolicamente, a negao de P indica-se com a notao ~P, que se l: NO P A tabela-verdade: P V F ~P F V v(~P) = ~ v(P)

Para uma proposio P, podemos formar a sua negao de qualquer um dos seguintes modos: no verdade que P falso que P no em P Exemplo: P: Ldia estudiosa. ~P: No verdade que Ldia estudiosa. ~P: falso que Ldia estudiosa. ~P: Ldia no estudiosa. Observaes: Pode-se ter algumas variaes, por necessidades da lngua portuguesa, por exemplo: P: Todos os homens so elegantes. Prof. Walteno Martins Parreira Jr Pgina 5

Lgica Para Computao ~P: Nem todos os homens so elegantes. Q: Nenhum homem elegante. ~Q: Algum homem elegante. 1.10 OPERAO LGICA CONJUNO Definio: chama-se conjuno de duas proposies P e Q a proposio representada por P e Q, cujo valor lgico a verdade (V) quando as proposies P e Q so ambas verdadeiras e a falsidade (F) nos demais casos. Simbolicamente, a conjuno de duas proposies P e Q indica-se com a notao P Q , que se l P E Q. A tabela-verdade: P V V F F Q V F V F PQ V F F F Q: Descartes era Francs v(PQ) = v(P) v(Q)

Exemplo: P: Pitgoras era Grego P Q: Pitgoras era Grego e Descartes era Francs. v(P) = V e v(Q) = V v(P Q) = V 1.11 OPERAO LGICA DISJUNO Definio: chama-se disjuno de duas proposies P e Q a proposio representada por P ou Q, cujo valor lgico a verdade (V) quando ao menos uma das proposies P e Q verdadeira e a falsidade (F) quando as proposies P e Q so ambas falsas. Simbolicamente, a conjuno de duas proposies P e Q indica-se com a notao P Q , que se l P OU Q. A tabela-verdade: P V V F F Q V F V F PQ V V V F v(PQ) = v(P) v(Q)

Exemplo: P: A cidade de Paris a capital da Frana Q: O sol um satlite artificial da terra

Prof. Walteno Martins Parreira Jr

Pgina 6

Lgica Para Computao terra. P Q: A cidade de Paris a capital da Frana ou o sol um satlite artificial da v(P) = V e v(Q) = F v(P Q) = V Na linguagem coloquial a palavra ou tem dois sentidos. Exemplifiquemos: P: Amilton bombeiro ou eletricista. Q: Rosa mineira ou goiana. Na proposio Q (Rosa mineira ou goiana), est afirmando que somente uma das proposies verdadeira, pois no possvel ocorrer as duas coisas: Rosa ser mineira e goiana ao mesmo tempo. Na proposio P, diz-se que o ou inclusivo, j na proposio Q diz-se que o ou exclusivo. Logo a proposio P uma disjuno inclusiva ou simplesmente disjuno; e a proposio Q a disjuno exclusiva. A disjuno exclusiva de duas proposies P e Q a proposio composta P Q, que se l: ou P ou Q ou se l P ou Q, mas no ambos. a falsidade (F) quando o valor lgico das proposies P e Q forem ambos verdadeiros ou ambos falsos e a verdade (V) quando P e Q tem valores lgicos diferentes. A tabela-verdade: P V V F F Q V F V F PQ F V V F v(PQ) = v(P) v(Q)

1.12 OPERAO LGICA CONDICIONAL Definio: chama-se proposio condicional de duas proposies P e Q a proposio representada por se P ento Q, cujo valor lgico a falsidade (F) no caso em que a proposio P verdadeira e Q falsa e a verdade (V) nos demais casos. Simbolicamente, a condicional de duas proposies P e Q indica-se com a notao P Q , que se l: P SOMENTE SE Q p condio suficiente para q q condio necessria para p p implica (ou acarreta) q Na condicional P Q, diz-se que P o antecedente e Q o conseqente. O smbolo chamado de smbolo de implicao. A tabela-verdade: P V V F F Q V F V F PQ V F V V Pgina 7 v(PQ) = v(P) v(Q)

Prof. Walteno Martins Parreira Jr

Lgica Para Computao Observao: Uma condicional P Q no afirma que o conseqente Q se deduz ou conseqncia do antecedente P; o que uma condicional afirma unicamente uma relao entre os valores lgicos do antecedente e do conseqente de acordo com a tabela-verdade apresentada acima. Exemplo: P: Paris a capital da Frana Q: O sol um satlite natural da terra P Q: Se Paris a capital da Frana ento o sol um satlite natural da terra. v(P) = V e v(Q) = F v(P Q) = F 1.13 OPERAO LGICA BICONDICIONAL Definio: chama-se proposio bicondicional de duas proposies P e Q a proposio representada por P se, e somente se Q, cujo valor lgico a verdade (V) quando as proposies P e Q so ambas verdadeiras ou ambas falsas e a falsidade (F) nos demais casos. A conjuno da sentena P Q com a sentena Q P resulta na sentena P Q, assim temos (P Q) (Q P) eqivale a (Q P). Simbolicamente, a bicondicional de duas proposies P e Q indica-se com a notao P Q , que se l: P SE, E SOMENTE SE Q p equivalente a q q se, e somente se p q equivalente a p p condio necessria e suficiente para q q condio necessria e suficiente para p A tabela-verdade: P V V F F Q V F V F PQ V F F V v(PQ) = v(P) v(Q)

Exemplo: P: A cidade de Paris a capital da Frana Q: O sol um satlite natural da terra P Q: A cidade de Paris a capital da Frana se, e somente se o sol um satlite natural da terra. v(P) = V e v(Q) = F v(P Q) = F

Prof. Walteno Martins Parreira Jr

Pgina 8

Lgica Para Computao 1.14 ORDEM DE PRECEDENCIA DOS CONECTORES Para reduzir o nmero de parntesis necessrios em uma proposio composta (frmula lgica proposicional), estipula-se uma ordem na qual os conectores so aplicados. A ordem de precedncia : maior a) conectivos dentro de parntesis, do mais interno para o mais externo b) ~ c) d) e) f)

menor Quando h dois ou mais conectivos de mesma ordem de precedncia, o conectivo mais a esquerda na frmula proposicional tem prioridade sobre o conectivo direta. Exemplos: a) p ~ q eqivale a ( p ( ~ q ) ) b) p q r eqivale a ( ( p q ) r ) c) p q r p q eqivale a ( ( p ( q r ) ) ( p q ) ) p q r p q 1 3 4 2

Prof. Walteno Martins Parreira Jr

Pgina 9

Lgica Para Computao Exerccio: Obter a frmula proposicional a partir de sua tabelaverdade:

P V V F F

Q V F V F

? V V F F

PASSOS NECESSRIOS PARA RESOLUO: a) Selecionar todos os resultados com valor lgico verdade (V); e selecionar todos com valor lgico falsidade (F); b) Fazer a conjuno de cada linha da tabela, se o valor lgico da proposio simples for falsidade (F), faz-se a negao da proposio; P V V F F Q V F V F ? V V F F pq p ~q ~p q ~p ~q

c) Fazer a disjuno das linhas da tabela-verdade que tem como resultado o mesmo valor lgico, isto , se tiver mais de uma linha com o mesmo resultado; P Q ? V V V pq V F V p ~q R1: ( p q ) ( p ~q ) F V F ~p q F F F ~p ~q R2: ( ~p q ) ( ~p ~q ) d) Fazer a negao da expresso originada da(s) linha(s) que tem o valor lgico falsidade(F); Soluo dos valores lgicos verdade (V) R1: ( p q ) ( p ~q ) Soluo dos valores lgicos falsidade (F) R2: ~( ( ~p q ) ( ~p ~q )) e) Montar a tabela-verdade da expresso encontrada para mostrar a equivalncia entre a expresso e a tabela-verdade original. P Q ~q P q p ~q ( p q ) ( p ~q ) V V F V F V V F V F V V F V F F F F F F V F F F P V V F F Q V F V F ~p F F V V ~q F V F V ~P q F F V F ~p ~q F F F V ( ~p q ) ( ~p ~q ) ~(() ()) F V F V V F V F

Prof. Walteno Martins Parreira Jr

Pgina 10

Lgica Para Computao 2 TAUTOLOGIA, CONTIGENCIA E CONTRADIO 2.1 TAUTOLOGIA Definio: denomina-se tautologia a proposio composta que sempre verdadeira. Na tabela-verdade de uma proposio tautolgica, a ltima coluna ( direita) contm somente Vs (verdade). Em outros termos, tautologia toda proposio composta P (p,q,r,...) cujo valor lgico sempre V (verdade), quaisquer que sejam os valores lgicos das proposies simples componentes p, q, r, ... As tautologias so tambm denominadas proposies tautolgicas ou proposies logicamente verdadeiras. Exemplo: a proposio ~( p ~p) denominado de Princpio da no contradio tautolgica, conforme se v pela tabela-verdade: p V F ~p F V p ~p F F ~( p ~p ) V V

Portanto, dizer que uma proposio no pode ser simultaneamente verdadeira e falsa sempre verdadeiro. 2.2 CONTRADIO Definio: denomina-se contradio a proposio composta que sempre falsa. Na tabela-verdade de uma proposio contraditria, a ltima coluna ( direita) contm somente Fs (falsidade). Como uma tautologia sempre verdadeira (V), a negao de uma tautologia sempre falsidade (F), ou seja, uma contradio e vice-versa. As contradies so tambm denominadas proposies contravlidas ou proposies logicamente falsas. Exemplo: a proposio p ~p uma contradio, conforme se v pela tabelaverdade: p V F ~p F V p ~p F F

Exerccio: Dada a proposio composta abaixo, determinar se a proposio uma contradio. a) ( p q ) ~( p q ) b) ~p ( p ~q ) 2.3 CONTIGNCIA Definio: denomina-se contingncia a proposio composta que pode ser verdadeira e pode ser falsa. Na tabela-verdade de uma proposio contigencial, a ltima coluna ( direita) contm Vs (verdadeiros) e Fs (falsidades), cada um pelo menos uma vez.

Prof. Walteno Martins Parreira Jr

Pgina 11

Lgica Para Computao Em outros termos, contingncia toda proposio composta que no tautologia e nem contradio. As contingncia so tambm denominadas proposies contigentes ou proposies indeterminadas. Exemplo: a proposio verdade: p V F ~p F V p ~p uma contingncia, conforme se v na tabelap ~p F V

2.4 EQUIVALENCIAS TAUTOLOGICAS Definio: diz-se que duas proposies so equivalentes tautolgicas quando em suas respectivas tabelas-verdade, a ltima coluna (`direita) possuem valores lgicos iguais. Propriedades: a) Propriedades Comutativas ABBA ABBA p V V F F q V F V F pq V V V F
iguais

qp V V V F

pq V F F F

qp V F F F

iguais

b) Propriedades Associativas (A B) C A (B C) (A B) C A (B C)

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

pq V V V V V V F F

(p q) r V V V V V V V F

q r p (q r) V V V F V V V F iguais V V V V V V V F

c) Propriedades Distributivas A (B C) (A B ) (A C) A (B C) (A B ) (A C) Prof. Walteno Martins Parreira Jr Pgina 12

Lgica Para Computao d) Propriedades de Identidade A F A A V A e) Propriedades Complementares A ~A V A ~A F f) Propriedades Idempotentes AAA AAA g) Leis de DeMorgan ~( A B) ~A ~B ~( A B) ~A ~B h) Dupla Negao ~( ~A) A i) Reescrevendo a Implicao ( A B) ~A B j) Contradio ( A B) ~B ~A k) Prova Condicional A (B C) (A B) C Exemplo: 1) Mostrar que a proposio ( ~(p q) r) (p q) pode ser escrita usando os conectivos e ~, usando as equivalencias tautologicas . Soluo: Usando DeMorgan: Usando a implicao: Usando Dupla negao: Usando DeMorgan: Usando DeMorgan: ( ( ~p ~q ) r ) ( p q ) ~ ( ( ~p ~q ) r ) ( p q ) ~ ( ( ~p ~q ) r ) ~ ~ ( p q ) ~ ( ( ~p ~q ) r ) ~ ( ~p ~q ) ( ~ ( ~p ~q ) ~r ) ~ ( ~p ~q ) Provar as outras propriedades

2) Mostrar que a proposio (p q) q pode ser escrita usando os conectivos e ~, usando as equivalencias tautologicas. Usando a implicao: Usando as leis de DeMorgan: Reescrevendo a expresso: Usando Prop. Complementares: ~( pq) q ( ~p ~q ) q ~p ~q q ~p V

Prof. Walteno Martins Parreira Jr

Pgina 13

Lgica Para Computao 3 IMPLICAES LGICAS O estudo da implicao lgica de grande relevncia na lgica. As implicaes lgicas que sero tratadas levaro em conta a condicional como implicao material. O smbolo representa uma operao entre duas proposies, resultando uma nova proposio. O smbolo indica apenas uma relao entre duas proposies dadas. Exemplo: Dadas as proposies p q e p q, a relao de implicao lgica entre elas denotada por p q p q. Resoluo: desenvolvendo a tabela-verdade. p V V F F q V F V F pq pq pqpq V F F F V V V F V V V V Como o resultado (ltima coluna direita) uma Tautologia, logo a relao Verdadeira.

3.1 IMPLICAO ENTRE PROPOSIES Diz-se que uma proposio p implica logicamente uma proposio q quando, em suas tabelas-verdade, no ocorre VF nesta ordem. Exemplo: verificar se p q p p V V F F q V F V F qp V V F V Observando o resultado da tabelaverdade, podemos ver que a proposio p (q p) uma tautologia, logo a relao p q p verdadeira Comparando os valores lgicos da coluna p com os valores lgicos da coluna q p, verificamos que no ocorre VF em nenhuma linha, logo p q p uma relao vlida.

Desenvolvendo a tabela-verdade temos: p V V F F q V F V F qp V V F V p (q p) V V V V

3.2 IMPLICAO ENTRE SENTENAS ABERTAS Diz-se que uma sentena aberta implica uma outra sentena aberta quando o conjuntoverdade de uma delas est contido no conjunto-verdade da outra. Exemplo: Julgar a sentena x 3 = 0 x2 = 9 Resoluo: Prof. Walteno Martins Parreira Jr Pgina 14

Determinando o conjunto-verdade da primeira sentena aberta: x3=0 temos que x = 3 logo, V1 = { 3 } Determinando o conjunto-verdade da segunda sentena aberta: x2 = 9

x=3 logo, V2 = { -3, 3 } Podemos observar que { 3 } { -3, 3 } Portanto, podemos dizer que a implicao verdadeira, logo a sentena x 3 = 0 x2 = 9 est correta

3.3 PROPRIEDADES DAS IMPLICAES LGICAS So: 1) A condio necessria e suficiente para que uma implicao p q seja verdadeira que uma condicional p q seja uma tautologia; 2) Propriedade reflexiva: p p; 3) Propriedade transitiva: Se p q e q r, ento p r. 3.4 IMPLICAES NOTVEIS Estas implicaes so consideradas notveis (ou clssicas), pois so argumentos vlidos fundamentais, usados para fazer inferncias, isto , executar os passos de uma demonstrao ou de uma deduo. Tambm chamadas de Regras de Inferncia. a) Adio ppq qpq p V V F F q V F V F pq V V V F p V V F F q V F V F pq V V V F

No h VF, logo p p q b) Conjuno pqp e pqq qpp e qpq c) Simplificao pqp pqq d) Simplificao Disjuntiva (p q) (p ~q) p e) Absoro p q p (p q) f) Regra Modus Ponens

No h VF, logo q p q

Lgica Para Computao ( p q) p q g) Regra Modus Tollens ( p q) ~q ~p h) Regra do Silogismo Disjuntivo (p q) ~p q (p q) ~q p i) Silogismo Hipottico (p q) (q r) p r j) Dilema Construtivo ( (p q) (r s) (p r) ) q s k) Dilema Destrutivo ( (p q) (r s) (~p ~s) ) ~p ~r 3.5 TEOREMA CONTRA-RECPROCO A proposio p(x) q(x) verdadeira se, e somente se ~q(x) ~p(x) verdadeira. Assim, afirmar Se p, ento q o mesmo que afirmar se ~q, ento ~p. Portanto, p(x) q(x) equivalente a ~q(x) ~p(x). Exemplo: A sentena Se comeu, ento matou a fome equivalente a Se no matou a fome, ento no comeu. 3.6 RELAO ENTRE IMPLICAES a) Implicaes recprocas pqeqp Duas proposies recprocas no so logicamente equivalentes, uma pode ser verdadeira sem que a outra o seja. b) Implicaes Inversas p q e ~p ~q Duas proposies inversas no so logicamente equivalentes, uma pode ser verdadeira sem que a outra o seja. c) Implicaes Contrapositivas p q e ~q ~p Duas proposies contrapositivas so logicamente equivalentes, sempre que uma verdadeira, a outra tambm ser. 3.7 EQUIVALENCIAS ENTRE IMPLICAES a) p q ~q ~p b) p q ~ (p ~q) c) p q ~p q Prof. Walteno Martins Parreira Jr Pgina 16

Lgica Para Computao 4 EQUIVALENCIAS LGICAS O smbolo representa uma operao entre duas proposies, resultando uma nova proposio. O smbolo indica apenas uma relao entre duas proposies dadas. Exemplo: Dadas as proposies p q e ~p q, a relao de eqivalncia lgica entre elas denotada por p q ~p q. Podemos mostrar na tabela-verdade: p V V F F q V F V F pq V F V V ~p F F V V ~p q V F V V (p q) (~p q) V V V V Como a tabelaverdade uma Tautologia, logo a relao verdadeira.

4.1 EQUIVALENCIA ENTRE PROPOSIES Diz-se que uma proposio p equivalente logicamente uma proposio q quando, em suas tabelas-verdade, no acorrem VF e nem FV. Exemplo: verificar se p ~~p p V F ~p F V ~~p V F Comparando os valores lgicos da coluna p com os valores lgicos da coluna ~~p, verificamos que no ocorrem VF em nenhuma linha, logo p ~~p uma relao vlida. Desenvolvendo a tabela-verdade temos: p V F ~p F V ~~p V F p ~~p V V Observando o resultado da tabelaverdade, podemos ver que a proposio p ~~p) uma tautologia, logo a relao p ~~p verdadeira

4.2 EQUIVALENCIA ENTRE SENTENAS ABERTAS Diz-se que uma sentena aberta equivalente a uma outra sentena aberta quando o conjunto-verdade da primeira sentena est contido no conjunto-verdade da segunda e o conjunto-verdade do segunda est contido no conjunto-verdade da primeira. Eqivale dizer que os conjuntos-verdade so iguais.

Prof. Walteno Martins Parreira Jr

Pgina 17

Lgica Para Computao Exemplo: Julgar a sentena 2x + 3 = x + 5 7x - 3 = 5x + 1 Resoluo: Determinando o conjunto-verdade da primeira sentena aberta: 2x + 3 = x + 5 temos que x = 2 logo, V1 = { 2 } Determinando o conjunto-verdade da segunda sentena aberta: 7x - 3 = 5x + 1 x=2 logo, V2 = { 2 } Podemos observar que v 1 v 2 e v 2 v 1, logo V1 = V2. Portanto, podemos dizer que a eqivalncia verdadeira, logo a sentena 2x + 3 = x + 5 7x - 3 = 5x + 1 est correta

4.3 PROPRIEDADES DAS EQUIVALENCIAS LGICAS So: 1) A condio necessria e suficiente para que uma eqivalncia p q seja verdadeira que a bicondicional p q seja uma tautologia; 2) Propriedade Reflexiva: p p; 3) Propriedade Simtrica: Se p q, ento q p. 4) Propriedade Transitiva: Se p q e q r, ento p r. 4.4 EQUIVALENCIAS NOTVEIS A) Dupla Negao ~~p p p V F ~p F V ~~p V F Observe que os valores lgicos das colunas p e ~~p so iguais. Logo a Dupla Negao eqivale a afirmao.

B) Leis Idempotentes ppp ppp C) Leis Comutativas pqqp pqqp D) Leis Associativas p (q r) (p q) r p (q r) (p q) r E) Leis de DeMorgan ~(p q) ~p ~q ~(p q) ~p ~q F) Leis Distributivas Prof. Walteno Martins Parreira Jr Pgina 18 Provar as outras propriedades

Lgica Para Computao p (q r) (p q) (p r) p (q r) (p q) (p r) G) Condicionais Das proposies: i) ii) iii) iv) p q (condicional) q p (recproca da condicional) ~q ~p (contrapositivo) ~p ~q (recproca do contrapositivo)

resultam as duas equivalncia: p q ~q ~p q p ~p ~q H) Bicondicionais p q (p q) (q p) p V V F F q V F V F pq V F F V pq V F V V qp V V F V (p q) (q p) V F F V

iguais, logo equivalentes Desenvolver as provas por tabela-verdade.

Prof. Walteno Martins Parreira Jr

Pgina 19

Lgica Para Computao 5 MTODOS PARA DETERMINAO DA VALIDADE DE FRMULAS So mtodos usados para determinar ou verificar se a frmula lgica proposicional vlida ou quais os valores lgicos apresentados. 5.1 MTODO DA TABELA-VERDADE O mtodo da Tabela-verdade o mtodo da fora bruta utilizado na determinao da validade de frmulas da lgica proposicional. No mtodo da tabela-verdade so consideradas todas as possibilidades de valores de verdade associados a esses smbolos proposicionais. Na coluna de resultado, observamos uma das trs solues: Tautologia, Contradio ou Contingncia. 5.2 RVORE SEMNTICA DEF. Uma rvore um conjunto de ns ou vrtices ligados por arestas ou ramos, conforme indicado na figura abaixo. Os ns so rotulados por nmeros inteiros, e os ns finais (na figura: 2, 6, 7 e 5) so denominados de folhas. 1 2 N 4 6 7 3 Folha 5 Ramo Raiz

DEF. Uma rvore semntica uma rvore na qual os vrtices internos representam proposies, as arestas representam os valores lgicos de uma proposio e as folhas representam os resultados finais e que serve para determinar a validade de uma frmula (ou proposio) a partir da estrutura de dados do tipo rvore. Exemplos: 1) Dada a proposio p q, determinar se a proposio tautologia, contradio ou contingncia. 1
v(q) = V v(q) = F

2
v(p) = V v(p) = F v(p)=V

3
v(p)=F

4 V

5 V

6 V

7 F

p V V F F

q V F V F

pq V V V F

portanto, uma contingncia. 2) Dada a proposio p ~ ( p q ), determinar se a proposio tautologia, contradio ou contingncia. Prof. Walteno Martins Parreira Jr Pgina 20

Lgica Para Computao 1 v(q)=V 2 v(p)=V 4 V v(p)=F 5 V n 5: V n 4: v(q)=F 3 n 2: n 3: p ~( p q) ? ? V p ~( p q) ? ? F V F V p ~( p q) V V V F V V p ~( p q) F F V V F V

CONCLUSO: como todas as folhas tem valor lgico V (verdade), ento a frmula proposicional tautologia.

3) Dada a proposio p ( p ~ q ), determinar se a proposio tautologia, contradio ou contingncia. 1 v(p)=V 2 V F v(p)=F 3 n 3: n 2: p ( p ~q) V V ? V p F ( p ~q ) F ? F

CONCLUSO: Como aparecem V e F, logo temos uma contingncia. Exerccios:

1) Determinar, usando rvore semntica, quais das proposies abaixo so tautologia, contradio ou contingncia. a) ( p ( p q )) p b) ( ~p ~q ) ( p q ) c) ( p ~q ) (( p r ) q ) 2) Determinar, usando rvore semntica, a validade da relao abaixo: a) p q p b) ( p q ) ( p ~q ) c) ~p ~p ~p d) ~ ( ~ ( p q )) p q e) p q p

Prof. Walteno Martins Parreira Jr

Pgina 21

Lgica Para Computao 5.3 NEGAO OU ABSURDO Neste mtodo, considera-se inicialmente a negao daquilo que pretende-se demonstrar. Assim, dada uma frmula proposicional, para demonstrar a sua validade (tautologia), supe-se que a frmula no uma tautologia. A partir desta suposio, deve-se utilizar um conjunto de dedues corretas e concluir um fato contraditrio ou absurdo. Como o resultado um absurdo, conclui-se que a suposio inicial falsa. Em outras palavras, se a suposio inicial diz que a frmula no uma tautologia, deve-se concluir aps obter o absurdo que a no validade da frmula um absurdo, logo a frmula uma tautologia. Exemplos: 1) Demonstrao de uma tautologia: p ~( p q ) p F absurdo F F V V V Como o valor lgico de p V e F ao mesmo tempo, ocorreu um absurdo, ento a frmula uma tautologia. 2) Demonstrao de uma contradio: p ~p p V temos duas possibilidades: a) p V V V
absurdo

~ (

q) a negao da tautologia F

~ p a negao da contradio V ~ p F b) p F V F
absurdo

p V

Como ocorreu absurdo nas duas possibilidades, podemos concluir que a formula contraditria.

Prof. Walteno Martins Parreira Jr

Pgina 22

Lgica Para Computao 3) Demonstrao de uma tautologia: ( p q ) ( ~p ~q ) ( p q ) ( ~p ~q ) F Temos duas possibilidades a) ( p q ) ( ~ p ~ q ) F V


Ok!!

a negao da tautologia F b) ( p q ) ( ~ p ~ q ) F F V F F V F V V F F V V F V
Ok!!

F V

Como no ocorreu nenhum absurdo, podemos concluir que a frmula no uma tautologia, e nada alm disto pode ser afirmado. Usando a tabela-verdade, podemos comprovar o resultado: p V V F F q V F V F pq V F V V ~p F F V V ~q F V F V ~p ~q V V F V ( p q ) ( ~p ~q ) V V F V

Como podemos ver, a frmula uma contingncia. Exerccios: 1) Demonstrar, usando o mtodo da negao ou absurdo que a frmula uma contradio. a) ( ~p ~q ) ( p q ) b) p ( ~p q ) c) ~(( p q ) (( p q ) r )) d) ( ~p q ) ( p q )

2) Demonstrar, usando o mtodo da negao ou absurdo que a frmula uma tautologia. a) ( p r ) ( ~q r ) b) (( p q ) ( q r )) ( p r ) 3) Usando o mtodo da negao ou absurdo para mostrar que as proposies so uma tautologia, contradio ou contingncia. a) ( p ( p q )) p b) p ( p ( q ~p )) c) ( p q) r ( p q) r d) ( p q ) (( p r ) ( q r ))

Prof. Walteno Martins Parreira Jr

Pgina 23

Lgica Para Computao 6 LGEBRA DE BOOLE 6.1 INTRODUO O matemtico ingls George Boole (1815-1864) desenvolveu a lgebra booleana em 1854. Boole estava interessado em regras algbricas para o raciocnio lgico, semelhantes s regras algbricas para o raciocnio numrico. uma maneira formal para escrever e manipular proposies lgicas como se fosse uma frmula algbrica. Em 1938, Claude Shannon demonstra a aplicao da lgebra booleana na anlise de circuitos rels. A eletrnica digital, que usa dgitos binrios, utiliza alguns circuitos lgicos bsicos conhecidos como portas OU, E, NO, ... atravs da utilizao conveniente desses circuitos, podemos implementar todas as expresses geradas pela lgebra de Boole. H uma relao entre a estrutura de lgebra de Boole e os diagramas para os circuitos eltricos em computadores, calculadoras, dispositivos industriais de controle, sistemas de telecomunicaes, etc. 6.2 CIRCUITOS LGICOS Chamamos interruptor ao dispositivo ligado a um ponto do circuito eltrico, que pode assumir um dos dois estados: fechado (1) ou aberto (0). Quando fechado, o interruptor permite que a corrente eltrica passe atravs do ponto, e quando aberto nenhuma corrente eltrica pode passar pelo ponto. Representao: aberto A Por convenincia, representamos os interruptores da forma: A neste caso, somente conhecemos o estado do interruptor se tivermos a indicao de que A=1 ou A=0. 6.3 VARIVEIS E EXPRESSES NA LGEBRA DE BOOLE As variveis booleanas, que so representadas atravs de letras, podem assumir apenas dois valores: 0 e 1. Expresso booleana uma expresso matemtica cujas variveis so booleanas e seu resultado assumir apenas dois valores: 0 e 1. 6.4 POSTULADOS a) Postulado da Complementao Chamamos de A o complemento de A. Dizemos A BARRA. Poder ser: A i) se A = 0 ento A = 1 Pgina 24 fechado A

Prof. Walteno Martins Parreira Jr

Lgica Para Computao ii) se A = 1 ento A = 0

atravs do postulado da complementao, podemos estabelecer a seguinte identidade: A = A b) Postulado da Adio i) ii) iii) iv) i) ii) iii) iv) 0+0=0 0+1=1 1+0=1 1+1=1 A+0=A A+1=1 A+A=A A + A = 1 Lembrar que: p q

atravs deste postulado, podemos estabelecer as seguintes identidades:

O Circuito lgico que executa o postulado da adio o circuito OU, representado por dois interruptores em paralelo, com a representao: A A+B B c) Postulado da Multiplicao i) ii) iii) iv) i) ii) iii) iv) 00=0 01=0 10=0 11=1 A0=0 A1=A AA=A A A = 0 Lembrar que: p q

atravs deste postulado, podemos estabelecer as seguintes identidades:

O circuito lgico que executa o postulado da multiplicao booleana o circuito E, representado por dois interruptores em srie, cuja representao : A B AB

Prof. Walteno Martins Parreira Jr

Pgina 25

Lgica Para Computao 6.5 OBSERVAES a) Neste primeiro momento, usaremos somente trs operadores:
Lgica Booleana Lgica Proposicional conectivo Exemplo Booleano Exemplo Proposicional

+ ou

E OU NO

pq p+q ( p + q )

pq pq ~(pq)

b) 1 + 1 = 1, visto que no existe o 2 na lgica booleana. Define-se, por conveno que 1 + 1 = 1, porque em lgica booleana o 1 corresponde a V (verdade) e como o valor lgico de V V V no clculo preposicional, ento temos 1 como resultado. c) As regras para formar expresses vlidas em lgebra booleana so as mesmas para formar frmulas lgicas no clculo proposicional: i) ii) iii) iv) Uma varivel uma expresso booleana: p; Se p uma expresso booleana, ento tambm o p; Se p e q so expresses booleanas, ento tambm so o p q e p + q; Se p uma expresso booleana, ento tambm o ( p ).

d) As regras esquerda-para-direita e a precedncia dos operadores para avaliao de frmulas lgicas tambm se aplicam s expresses booleanas, assim: ( ) maior precedncia

+ menor precedncia e) Em lgebra booleana, quando duas expresses so equivalentes, usamos o sinal de igualdade para representar. Exemplo: p q + p r + q r = p q + q r isto afirma que os valores de ambos os lados da equao so iguais para todos os possveis valores das variveis. Provando a igualdade das expresses, temos:
p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 q 1 1 0 0 1 1 0 0 pq 0 0 0 0 0 0 1 1 pr 0 0 0 0 0 1 0 1 qr 0 1 0 0 0 1 0 0 pq + pr 0 0 0 0 0 1 1 1 pq + pr + qr 0 1 0 0 0 1 1 1 pq + qr 0 1 0 0 0 1 1 1

iguais Prof. Walteno Martins Parreira Jr Pgina 26

Lgica Para Computao

6.6 PROPRIEDADES Uma lgebra de Boole um conjunto S no qual esto definidos duas operaes binrias ( + e ) e uma operao unria ( ), e que contm dois elementos distintos (0 e 1), tais que as suas propriedades so vlidas, quaisquer que sejam A, B, C pertencentes a S. a) Propriedade Comutativa i) ii) A + B = B + A (Adio) A B = B A (multiplicao) A 1 1 0 0 B 1 0 1 0 A+B 1 1 1 0 B+A 1 1 1 0 A 1 1 0 0 B 1 0 1 0 AB 1 0 0 0 iguais BA 1 0 0 0

iguais

b) Propriedade Associativa i) ii) A + ( B + C ) = ( A + B ) + C ( adio) A ( B C ) = ( A B ) C (multiplicao)

c) Propriedade Distributiva A(B+C) = AB+AC 6.7 TEOREMAS DE DeMORGAN i) ii) 1 Teorema: O complemento do produto igual soma dos complementos. ( A B) = A + B 2 Teorema: O complemento da soma igual ao produto dos complementos. ( A + B) = A B 6.8 IDENTIDADES AUXILIARES a) A + A B = A b) A + A B = A + B c) ( A + B ) ( A + C ) = A + B C A 1 1 0 0 B 1 0 1 0 AB 1 0 0 0 iguais Prof. Walteno Martins Parreira Jr A+AB 1 1 0 0 A 1 1 0 0 B 1 0 1 0 A 0 0 1 1 A B 0 0 1 0 A + A B 1 1 1 0 iguais Pgina 27 A+B 1 1 1 0

Lgica Para Computao 6.9 SIMPLIFICAO DE EXPRESSES BOOLEANAS Uma funo booleana qualquer pode ser representada por mais de uma expresso booleana, e portanto por mais de um circuito composto por portas lgicas E, OU e NO. Para reduzir uma expresso booleana em uma outra equivalente mais simples devemos usar as propriedades da lgebra de Boole, j que elas expresso a equivalncia de expresses booleanas. Portanto, usando os conceitos de lgebra de Boole podemos simplificar expresses lgicas. Deve-se lembrar que a cada circuito lgico corresponde uma expresso booleana, portanto podemos ver que a simplificao de expresses implicam em simplificaes de circuitos. Exemplo: 1) Dada a expresso S = A B C + A C + A B , simplific-la. colocando A em evidencia (p. distributiva), temos: S = A ( B C + C + B ) aplicando a propriedade associativa, temos: S = A ( B C + ( C + B ) ) aplicando a identidade: X = X, temos: S = A ( B C + ( C + B) ) aplicando o 2 teorema de DeMorgan, temos: S = A ( B C + ( C B ) ) aplicando a identidade: X = X, temos: S=A(BC+(CB)) usando a propriedade comutativa, temos: S=A(BC+(BC)) chamando B C de Y, logo ( B C ) = Y S = A ( Y + Y) pela identidade da adio: X + X = 1, temos: S=A1 pela identidade da multiplicao: X 1 = X, logo: S=A portanto, S = A B C + A C + A B = A 2) Simplificar a expresso: S = A B + A B usando a propriedade distributiva: S = A ( B + B ) usando a identidade da adio: X + X = 1, temos: S = A 1 pela identidade da multiplicao: X 1 = X, temos: S = A 3) Simplificar a expresso: S = ( A + B + C ) ( A + B + C ) usando a propriedade distributiva, temos: S = A A + A B + A C + A B + B B + B C + A C + B C + C C do identidade da multiplicao: X X = 0, temos: S = A B + A C + A B + B C + A C + B C + C C do identidade da multiplicao: X X = X, temos: Prof. Walteno Martins Parreira Jr Pgina 28

Lgica Para Computao S = A B + A C + A B + B C + A C + B C + C colocando C em evidencia (propriedade distributiva), temos: S = A B + C ( A + B + A+ B+ 1) + A B usando a identidade da adio: X + X= 1 e X + 1 = 1, temos: S = A B + C 1 + A B usando a identidade da multiplicao: X 1 = X, temos: S = A B + C + A B portanto: S = ( A + B + C ) ( A + B + C ) = A B + C + A B 4) Provar que a expresso (A + B) (A + C) = A + B C vlida: Vamos desenvolver o lado esquerdo, logo: (A + B) (A + C) Usando a propriedade distributiva: A A + A B + A C + B C Usando a identidade da multiplicao X X = X, temos: A + A B + A C + B C Usando a Propriedade distributiva: A ( 1 + B + C ) + B C Usando a identidade da soma X + 1 = 1, temos: A ( 1 ) + B C Usando a identidade da multiplicao X 1 = x, temos: A + B C que a expresso procurada, logo: (A + B) (A + C) = A + B C vlida. 5) Usando as propriedades da lgebra de Boole, provar que a expresso (A + B ) (A + C) = A C + A B vlida, indicando a propriedade usada em cada passagem. (A + B ) (A + C) = A C + A B
DISTRIBUTIVA

A A + A C + A B + B C
IDENTIDADE DA MULTIPLICAO: X X = 0

A C + A B + B C Para provar, usar um lado da expresso para chegar no outro lado da expresso. veja a soluo ao lado, letra e
DISTRIBUTIVA DISTRIBUTIVA

IDENTIDADE DA SOMA: 1 = X + X

A C + A B + B C ( A + A ) A C + A B + A B C + A B C A C ( 1 + B ) + A B ( 1 + C )
IDENTIDADE DA SOMA: 1 + X = 1

A C 1 + A B 1
IDENTIDADE DA MULTIPLICAO: X 1 = X

A C + A B

Prof. Walteno Martins Parreira Jr

Pgina 29

Lgica Para Computao 6.10 MAPA DE KARNAUGH Simplificamos expresses booleanas usando as propriedades, postulados e identidades da lgebra de Boole, no entanto no h um conjunto de procedimentos a serem seguidos, funciona por tentativa e erro, cada soluo diferente da anterior. Pode-se usar os diagramas de Veitch-Karnaugh para efetuar as simplificaes nas expresses booleanas.

A A

B A B A B

Nmero De Clulas: 2N onde N o nmero de variveis 22 = 4 clulas

A B AB

A A

B ABC

B A BC

AB C C

AB C C

ABC ABC C

AB C AB C C

B B A ABC ABC

B B AB C AB C

A A BC A BC C C

ABC C

A B C C

Dada a funo booleana S = F(A,B) = A B + A B, vamos montar o mapa de Karnaugh. Soluo: Como temos duas proposies (ou variveis), teremos 22 clulas, montando o mapa: As parcelas que temos na expresso so transcritas para o mapa com o valor igual a 1:

A A

B 1

B 1

completando com zeros as clulas vazias:

A A

B 1 0

B 0 1

Portanto, temos o mapa montado.

6.10.1 - OBTENDO A SIMPLIFICAO DE UMA EXPRESSO COM 2 VARIVEIS 1) Dada a expresso booleana: S = A B + A B + A B 2) Desenhar o diagrama. Como temos duas variveis, teremos 4 clulas.

B A A

3) Para cada parcela que aparece na expresso, colocar o numeral um na clula correspondente. Prof. Walteno Martins Parreira Jr Pgina 30

Lgica Para Computao B A A 1 B 1 1

4) Completar com o numeral zero (0) as clulas restantes que esto vazias.

A A

B 0 1

B 1 1

5) Para obter a expresso simplificada, devemos observar: i) Agrupar as clulas adjacentes (na horizontal ou vertical) onde aparecem o numeral 1, um mesmo numeral 1 pode ser componente de mais de um par. Todos os numerais 1 do diagrama devem pertencer a pelo menos um agrupamento;
B 0 1

A A

B 1 1

par 1

A A

B 0 1

B 1 1

par 2

ii) iii) iv)

O par 1 ocupa a regio do diagrama onde A igual a 1, logo o seu valor ser: par 1 = A; O par 2 ocupa a regio do diagrama onde B igual a 1, logo o seu valor ser par 2 = B Somando os pares para obter a expresso simplificada: S = A + B

6.10.2 - SIMPLIFICAO DE UMA EXPRESSO COM 3 OU MAIS VARIVEIS 1) Dada a expresso booleana: S = A B C + A B + A B + A B C 2) Desenhar o diagrama. Como temos trs variveis, teremos 8 clulas.

A
C C

3) Para cada parcela que aparece na expresso, colocar o numeral um na clula correspondente.

C C

A 1 B

A 1 B

A 1 1 B

A 1 1 B

Prof. Walteno Martins Parreira Jr

Pgina 31

Lgica Para Computao


4) Completar com o numeral zero (0) as clulas restantes que esto vazias.

C C

A 1 0 B

A 0 1 B

A 1

A 1

1 B

1 B

5) Para obter a expresso simplificada, devemos observar: i) Agrupar as clulas adjacentes (na horizontal ou vertical) onde aparecem o numeral 1, um mesmo numeral 1 pode ser componente de mais de um agrupamento. Todos os numerais 1 do diagrama devem pertencer a pelo menos um agrupamento;

grupo 1 C C A 1 0 B A 1 0 B A 0 1 B
A 1 A 1

C C grupo 2

A 1 0 B

A 0 1 B

A 1 1 B

A 1 1 B

1 B

1 B A 1 1 B

C C

A 0 1 B

A 1 1 B

grupo 3 C C

A 1 0 B

A 0 1 B

A 1 1 B

A 1 1 B

ii) iii) iv) v) vi)

Devemos tentar montar os maiores agrupamentos possveis, mas eles devem ser potncia de 2, assim: 1, 2, 4, 8, 16, ... O agrupamento 1 ocupa a regio do diagrama onde A igual a 1, logo o seu valor ser: grupo 1 = A; O agrupamento 2 ocupa a regio do diagrama onde C igual a 1 e B igual a 1, logo o seu valor ser par 2 = B C; O agrupamento 3 ocupa a regio do diagrama onde C igual 0 e B igual 0, logo o seu valor ser: grupo 3 = B C; Somando os pares, obtm a expresso simplificada: S = A + B C + B C

6.10.3 OBSERVAES SOBRE AS SIMPLIFICAES O mapa de Karnaugh usa as algumas regras de simplificao de expresses booleanas pelo agrupamento de clulas adjacentes. a) Agrupamentos no podem conter qualquer clula com o numeral 0 (zero); b) Agrupamentos podem ser horizontais ou verticais, mas no na diagonal; c) Agrupamentos podem conter 1, 2, 4, 8, ou em geral 2n clulas; d) Todo agrupamento deve ser o maior possvel;

Prof. Walteno Martins Parreira Jr

Pgina 32

Lgica Para Computao


e) Toda clula contendo o numeral 1 deve pertencer a pelo menos um agrupamento; f) Os agrupamentos podem estar sobrepostos parcialmente, mas devem ter pelo menos um elemento novo que no pertena a nenhum outro agrupamento; Se ao desenvolver os agrupamentos, algum agrupamento tiver todos os seus elementos pertencentes a outros agrupamentos, este deve ser eliminado; g) Os agrupamentos podem dar a volta no diagrama; A clula mais a esquerda em uma linha pode ser agrupada com a clula mais a direita da mesma linha, assim como a clula superior de uma coluna pode ser agrupada com a clula inferior da mesma coluna; h) Deve-se formar o menor nmero de agrupamentos possveis, desde que no contrarie nenhuma das regras anteriores. 6.10.4 OUTRAS FORMAS DE REPRESENTAO DO MAPA DE KARNAUGH O diagrama pode ser representado de vrias formas, mas o resultado ser sempre o mesmo.

B A A C

B A

BC 00 01 11 10 0 1

B A C
A C D

Mapa com 5 variveis: E A C C C C B B B B A A A D D D D C C C C B B B B A E A A A D D D D

Prof. Walteno Martins Parreira Jr

Pgina 33

Lgica Para Computao


6.10.5 SOMA DE PRODUTOS Todos os exemplos e exerccios apresentados at o momento so denominados de soma de produtos. Como pode ser observado, cada parcela da expresso um produto de variveis e que so somadas para formar a expresso. denominada de Forma Normal Disjuntiva. Exemplo: S = A B + A B C + B C

AB A C C 1 B A 1 B A 1 1 B A 1 B C

S=AB +C

Exerccio: Encontrar a expresso booleana definida pela tabela-verdade, represent-la no mapa de karnough e encontrar a expresso mais simples. A 1 1 1 1 0 0 0 0 B 1 1 0 0 1 1 0 0 C 1 0 1 0 1 0 1 0 S 1 1 1 0 1 0 0 0 A B C ABC A B C A B C S1 = ABC + ABC + ABC + ABC

Montando o Mapa de Karnaugh: A C C 0 0 B A 0 1 B A 1 1 B A 0 1 B S1 = AB + AC + BC

Prof. Walteno Martins Parreira Jr

Pgina 34

Lgica Para Computao


6.10.6 PRODUTOS DA SOMA Como o prprio nome indica, cada parcela da expresso uma soma e que sero reunidas atravs de produtos para formar a expresso. denominada de Forma Normal Conjuntiva. Para desenvolver o Mapa de Karnaugh e achar a expresso na forma de Produto da Soma, desenvolve-se: a) Os agrupamentos com os numerais zero (0) no lugar do numeral 1 (um) da mesma forma que estudada anteriormente;

AB

A A

B 1 0 C

B 1 0 C

B 0 1 C

B 0 1 C

AB

b) Montar a expresso, onde cada agrupamento ser somado para formar a expresso, mas como foi desenvolvido a partir das clulas com numeral 0 (zero), o resultado ser negado; Z = A B + A B c) Para encontrar a expresso, tem-se que inicialmente negar os dois lados e assim eliminar a negao no resultado; Z = ( A B + A B ) d) Aplicar o teorema de DeMorgan duas vezes, encontrando assim, a expresso na forma de Produto da Soma. Z = ( A B ) ( A B ) Z = ( A + B ) ( A + B ) Z = ( A + B ) ( A + B ) Exemplo: S = A B + A B C + B C

A C

C C

A 0 1 B

A 0 1 B

A 1 1 B

A 0 1 B

B C

S = A C + B C S = (A C + B C ) S = ( A C ) ( B C ) S = ( A + C) ( B + C) S = ( A + C) ( B + C )

Prof. Walteno Martins Parreira Jr

Pgina 35

Lgica Para Computao


6.11 MTODO DE QUINE-McCLUSKEY Este mtodo aplica-se exclusivamente a funes booleanas na Forma Normal Disjuntiva e com notao binria. Supera a limitao do mapa de Karnaugh, permitindo a aplicao em funes com mais de seis (6) variveis. O mtodo consiste na aplicao sucessiva do teorema expresso por A B + A B = A , a termos que diferem entre s apenas por um dgito binrio. Para desenvolver o mtodo: a) Classificam-se e agrupam-se os termos da funo de acordo com os seus ndices; b) Comparam-se todos os termos de um dado grupo ( organizado em funo da quantidade de 1 que tem) com cada termo do grupo seguinte, ou seja, de ndice imediatamente superior, para a aplicao do teorema. Aplica-se sucessivamente esse teorema comparando cada termo do grupo de ndice i com todos os termos do grupo com ndice i+1 at esgotarem todas as possibilidades. O termo resultante representado com o nico digito diferente substitudo por um trao e marca-se os termos comparados; c) Aps tabular os termos comparados, procede-se novamente ao item b at o esgotamento das possibilidades. No final, os termos que ficarem sem a marcao formam o conjunto de termos irredutveis. Exemplo: Dada a funo Z = ABC + ABC + ABC + ABC + ABC + ABC Soluo: f(A,B,C) = (001,100,010,011,101,111) montando o diagrama: A B C 1 2 4 3 5 7 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1
2 passo

A B C 0 0 1 1 0 1 0 1 1 1 - -> AB - -> AB 1 1

3 passo A

B C 1 -> C 1 -> C

1,3 1,5 2,3 4,5 3,7 5,7

1,3,5,7 1,5,3,7

Como 1,3,5,7 e 1,5,3,7 representam o mesmo termo, no ser repetido, ficando ento a expresso: Z = AB + AB + C

Prof. Walteno Martins Parreira Jr

Pgina 36

Lgica Para Computao


7 PORTAS LGICAS A representao grfica dos operadores da lgebra booleana feita mediante smbolos padronizados por normas internacionais chamados blocos ou portas lgicas. As portas lgicas so as bases dos circuitos lgicos e tem por finalidade combinar as diferentes variveis booleanas de modo a realizar determinada funo booleana. Neste curso, trabalharemos com a norma americana MIL-STD-800B (military-standard) de uso muito freqente na prtica.

Prof. Walteno Martins Parreira Jr

Pgina 37

Lgica Para Computao


Exemplos: 1) Representar mediante portas lgicas a funo booleana S = f(A,B) = A B

2) Representar mediante portas lgicas a funo booleana S = f(A,B) = A B + A B

3) Determinar a funo booleana correspondente ao circuito lgico abaixo:

S = ( A + B + C) ( A + C)

4) Representar em circuito lgico a funo booleana definida pela tabela-verdade abaixo: A 1 1 1 1 0 0 0 0 B 1 1 0 0 1 1 0 0 C 1 0 1 0 1 0 1 0 S 1 1 1 0 1 0 0 0 S = A B C + A B C + A B C + A B C O circuito lgico que representa a tabela : A B C ABC A B C A B C

Prof. Walteno Martins Parreira Jr

Pgina 38

Lgica Para Computao

5) Simplificar o circuito lgico apresentado ao lado, usando o mapa de karnaugh.

Soluo: S = A B + C D + A B + A C D colocando no mapa de karnaugh, temos: B A 0 1 1 0 C A A A B 0 1 0 0 C B 1 1 1 1 C B 1 1 1 1 C D D D D

C D

A D

logo, a nova expresso : S = B + A D + C D e o novo circuito ser:

Prof. Walteno Martins Parreira Jr

Pgina 39

Lgica Para Computao

1 Lista de Exerccios
1) determinar quais das frases abaixo so proposies declarativas a) Doze um nmero primo. e) Boa tarde! b) Dez menor que sete. f) Uberlndia tem quantas escolas superiores? c) Qual ser o resultado do futebol? g) Marcela bonita. d) Muitos alunos de lgica podem ser aprovados este semestre. 2) Nas expresses a seguir, quais so sentenas abertas e quais so proposies declarativas. a) x + 5 = 9 d) 4 > 5 b) 5 + 4 = 9 e) 6 < 7 e 3 + 2 = 8 c) x filho de z, ento neto de y. f) 2 y 6 3) Determinar o valor lgico ( V ou F ) de cada uma das seguintes proposies. a) O nmero 23 primo. e) = 3 b) Goinia a capital de Tocantins. f) 3 > 2 c) O nmero 25 quadrado perfeito. g) > 3 d) Todo nmero divisvel por 5 termina com 5. h) 4 = 2 4) Sejam as proposies: p: O empregado foi demitido. q: O patro indenizou o empregado. Escreva em notao simblica, cada uma das proposies abaixo: a) O empregado no foi demitido. b) O patro no indenizou o empregado. c) O empregado foi demitido e o patro indenizou o empregado. d) falso que o empregado foi demitido ou o patro indenizou o empregado. e) O empregado foi demitido ou o patro no indenizou o empregado. f) no verdade que o empregado no foi demitido. 5) Sejam as proposies: p: Rosas so vermelhas. q: Violetas so azuis. r: Cravos so amarelos. Escreva em notao simblica, cada uma das proposies compostas abaixo: a) Rosas so vermelhas e violetas so azuis. b) Rosas so vermelhas, ou violetas so azuis ou os cravos so amarelos. c) Se violetas so azuis, ento as rosas so vermelhas e os cravos so amarelos. d) Rosas so vermelhas se e somente se, as violetas no forem azuis e os cravos no so amarelos. e) Rosas so vermelhas e, se os cravos no so amarelos ento, as violetas no so azuis. 6) Sejam as proposies: p: J Soares gordo. q: J Soares artista. r: Paulo cantor. Escreva em notao simblica, cada uma das proposies abaixo: a) J Soares no gordo. b) J Soares no artista. c) No verdade que J Soares no gordo d) J Soares gordo ou artista. e) Se J Soares no artista ento Paulo no cantor. f) J Soares artista se e somente se Paulo cantor 7) Sejam as proposies: p: Joo joga futebol. q: Pedro joga tnis. Traduzir as formulas lgicas para o portugus. a) p q b) p q e) ~p ~q f) ~~p

c) p ~q g) ~(~p ~q)

d) p ~q h) ~p ~q

Prof. Walteno Martins Parreira Jr

Pgina 40

Lgica Para Computao


8) Sejam as proposies: p: A bola vermelha. q: O bambol amarelo. Traduzir as formulas lgicas para o portugus. a) p q b) p q d) ~p ~q e) ~~p g) ~p ~q h) p ~q

c) p ~q f) ~(~p ~q) i) ~(~q p)

9) Determinar o valor lgico (V ou F) de cada uma das proposies compostas abaixo, sabendo o valor lgico de cada proposio simples v(p) = V e v(q) = F. a) p q b) p q c) p ~q d) p (~p ~q) e) ~p ~q f) ~~p g) p (~p ~q) h) p ~q p i) ~p q j) p ~q k) p (~q p) l) ~(r ~q) p 10) Construa a tabela-verdade de cada uma das seguintes proposies: a) p q b) p q d) ~p ~q e) ~~p g) ~p q ~q p h) p ~q j) ~p r ~q r k) p r ~q c) p ~q f) p (~p ~q) i) p (~q p) l) ~(r ~q) p

11) Construir as tabelas-verdade das seguintes proposies: a) ~ p r q ~ r b) p (p ~ r) q r c) p r q ~ r d) (p q r) (~ p q ~ r) 12) Determinar P(VV, VF, FV, FF) em cada um dos seguintes casos: a) P(p, q) = ~ (~ p q) b) P(p, q) = ~ p q p c) P(p, q) = (p q) ~ (p q) d) P(p, q) = (p ~ q) (~ p q) e) P(p, q) = ~ ((p q) (~p ~q)) f) P(p, q) = ~ q p q ~ p g) P(p, q) = (p q) ~ p (q p) h) P(p, q) = (p ~ q) (~ p q) p 13) Determinar P(VVV, VVF, FFF) em cada um dos seguintes casos: a) P(p, q, r) = p (q r) b) P(p, q, r) = (p ~ q) r c) P(p, q, r) = ~ p (q ~ r) d) P(p, q, r) = (p q) (p r) e) P(p, q, r) = (p ~ r) (q ~ r) f) P(p, q, r) = ~ (p ~ q) (~ p r) 14) Determinar P(VFV) em cada um dos seguintes casos: a) P(p, q, r) = p ~ r ~ q b) P(p, q, r) = ~ p (q ~ r) c) P(p, q, r) = ~ (p q) ~ (p ~ r) d) P(p, q, r) = (r (p ~ q)) ~ (~ r (p q)) e) P(p, q, r) = (p q r) q ~ r f) P(p, q, r) = (p (q ~ r)) (~ p r ~ q) 15) Sabendo que os valores lgicos das proposies p e q so respectivamente F e V, determinar o valor lgico (V ou F) da proposio: (p (~ q p)) ~ ((p ~ q) q ~ p) 16) Sejam as proposies p: tg( x) = ctg(x) e q: < 2. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (~ p q) (p ~ q) (c) ~ (p q) ~ p ~ q (a) (b) (p q) ~ p ~ q (d) (p (~ p q)) (~ p ~ q) 17) Sabendo que os valores lgicos das proposies p, q e r so respectivamente V, F e F, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) (p p q) (p r) b) (p ~ q) ((p r ) q) c) (p q r) (p (q r)) d) p q q p r q 18) Sabendo que as proposies p, q so verdadeiras e que as proposies r e s so falsas, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) p q r b) (q r) (p s) c) r s q

Prof. Walteno Martins Parreira Jr

Pgina 41

Lgica Para Computao


d) ( r s) (p q) g) p ~ (r s) j) (s r) (p q) e) q p s h) ~ (( r p) (s q)) k) ~ r p q f) (p ~ q) r i) (q s) r l) r q ( ~ p r)

19) Sabendo que os valores lgicos das proposies p, q, r e s so respectivamente V, V, F e F, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) pqqp (d) ~ (p q) ~ p ~ q (b) (r p) (p r) (e) ~ (p s) ~ p ~ s (p r) (~ p ~ r) (f) ~ ((p s) (s r)) (c) 20) Sabendo que V(p) = V(r) = V e V(q) = V(s) = F, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) p q r ~ s b) (p q) (s r) c) (~ p q) (s r) d) (p q) s (p s) e) (q r) s (p s) f) p ~ q (p r) s g) (p q) (r s) p s h) (~ p s) (~ s r) 21) Sabendo que as proposies x = 0 e x = y so verdadeiras e que as proposies y = z e y = t so falsas, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) x = 0 x = y y z b) x 0 y = t y = z c) x y y z y = t d) x 0 x y y z e) x = 0 (x y y t) 22) Sabendo que a condicional p q verdadeira(V), determinar o valor lgico (V ou F) das proposies abaixo: a) p r q r b) p r q r c) ~p q q r 23) Sabendo que a condicional p q falsidade(F), determinar o valor lgico (V ou F) das proposies abaixo: a) p q q r b) p r q p c) ~p q q r 24) Sabendo que a bicondicional p q verdadeira(V), determinar o valor lgico (V ou F) das proposies abaixo: a) p r q r b) ~p q q r c) ~p q q r 25) Dizer quais as proposies que satisfazem a tabela-verdade, mostre que elas so equivalentes: a) b) p q ? p q ? F F F F F V F V F F V V V F V V F V V V F V V F c) d) p q ? p q ? F F F F F V F V V F V V V F F V F F V V F V V V e) f) p q ? p q ? F F V F F V F V F F V F V F V V F F V V F V V V

Prof. Walteno Martins Parreira Jr

Pgina 42

Lgica Para Computao


26) Sejam as proposies p: A cidade de Paris capital da Frana e q: A cidade de Roma capital da Espanha. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) (~ p q) (p ~ q) (c) ~ (p q) ~ p ~ q b) (p q) ~ p ~ q (d) (p (~ p q)) (~ p ~ q) 27) Prove, usando a tabela-verdade, que: a) p ( q r ) = ( p q ) ( p r ) c) ~( p q ) ( ~p q ) = ~p e) ( p q ) ~p = ~p q b) p ( p q ) = p d) p ( p q ) = p f) p ( ~p q ) = p q

28) Sejam as proposies p: 4 > 5 e q: < 3. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) (~ p q) (p ~ q) (c) ~ (p q) ~ p ~ q b) (p q) ~ p ~ q (d) (p (~ p q)) (~ p ~ q) TRABALHO: os alunos vo fazer os exerccios definidos abaixo, conforme o seu ltimo digito do nmero de matrcula (exemplo, A=5, assim o aluno 11021005 far os exerccios da coluna numerada com o nmero 5) e entregar dia DD/MM. ltimo digito do Nro A 8C 10F 12A 14C 18A 20A 23A 25A B 8D 10G 12B 14D 18B 20B 23B 25B C 8E 10I 12C 14C 18C 20C 23C 25C D 8F 10J 12D 14D 18D 20D 23A 25D E 8G 10K 12E 14C 18E 20E 23B 25A F 8H 10L 12F 14D 18F 20F 23C 25B G 8I 10G 12A 14C 18G 20G 23A 25C H 8K 10I 12B 14D 18H 20H 23B 25D I 8I 10J 12C 14C 18I 20G 23C 25D J 8H 10K 12D 14A 18J 20F 23B 25C

Prof. Walteno Martins Parreira Jr

Pgina 43

Lgica Para Computao

2 Lista de Exerccios
1) Determinar se as proposies a seguir so tautologia, contradio ou contigncia, usando o mtodo da Tabela-verdade. a) p ( q r ) ( p q ) ( p r ) b) p ( p q ) p c) ~ ( p q ) ( ~ p r ) ~ r d) p ( p q ) p 2) Determinar se as proposies a seguir so tautologia, contradio ou contigncia, usando o mtodo da rvore semntica a) ~p (q p) b) (p q ) ~q c) ~q p d) ( p (p q )) p 3) Determinar, usando rvore semntica, se as proposies abaixo so tautologia, contradio ou contigncia: a) p ( q r ) ( p q ) ( p r ) b) p ( p q ) p c) ~ ( p q ) ( ~p q ) ~p d) p ( p q ) p e) ( p q ) ~p ~p q f) p ( ~p q ) p q 4) Determinar se as proposies a seguir so tautologia, contradio ou contigncia, usando os seguintes mtodos: Tabela-verdade, rvore semntica e Negao ou absurdo. a) ~ (p q) ~ p ~ q b) (p q) q c) (p q) p q d) ~ (p q) (p ~q) e) ~ ( p q) ~ ( ~ p q) f) p ( p q ) p 5) Verificar se as proposies so tautologia, contradio ou contigncia usando os mtodos: tabelaverdade, rvore semntica e Negao ou absurdo. a) ~ (p q) ~p ~q b) ~ (p q) ~p ~ q c) ~ (r p) q ~ (p q) r d) (p q) r (p q) r e) ( p ~r ) ( q ~p ) r ( p q ) f) ( p q ) r ( p ~r ) ~q g) ~ ( p q) ~ ( ~ p q) h) ~ (p q) (p ~q) 6) Construir a tabela-verdade para a frmula P e, usando a tabela-verdade desenvolvida obter as duas proposies possveis. Mostrar que as proposies encontradas so equivalentes. a) P: ~ (p q) b) P: (~ p q) c) P: (p ~ q) d) P: (p ~ q) 7) Considere as frmulas a seguir: E: (~(p ~ q) r) (r (q p) ) F: ( ( ( p s) p) (p p) ) ( ( (p q) p) ( ( p r) r) p) G: ( p q) ( ~p q) H: ~ (p p) (p ~q) utilize o mtodo da negao ou absurdo para demonstrar se tais frmulas so tautolgicas. No caso em que a frmula no for uma tautologia, utilize o resultado do mtodo para identificar um valor lgico, que interpreta a frmula como sendo falsa. 8) Julgar cada uma das seguintes proposies (dizer se so verdadeiras ou falsas as relaes): a) ~p ~p ~p b) ~ p ~( p q ) p q c) ( p ~q ) ( p ~q ) p ~q d) ( p q ) r ( p ~r ) ( q r ) e) ( p ~r ) ( q ~p ) r ( p q ) f) ( p q ) r ( p ~r ) ~q 9) Considere as proposies: p, q, r, s dadas por: p: 5 = 8 q: 4 < 5 r: 9 > 7 s: 8 < 10 e diga se so verdadeiras ou falsas as relaes abaixo: a) r s b) r q d) p q e) ~ r ( q ~s ) g) p q h) ~ r q j) ( p p ) ( q r ) k) ~ r ( q ~s )

c) ~ p s f) ~ r ( s ~ q ) i) ~ r s l) ~ r ( s ~ q )

Prof. Walteno Martins Parreira Jr

Pgina 44

Lgica Para Computao


10) Considere as proposies: p, q, r, s dadas por: r: 20 = 1 s: 02 = 2 p: 7 + 2 = 9 q: ( 7 + 2 )2 = 81 e d o valor lgico (verdadeiro ou falso) das relaes abaixo: a) r s b) r q c) ~ p s d) p q e) ~ r ( q ~s ) f) ~ r ( s ~ q ) g) p q h) ~ r q i) ~ r s j) ( p p ) ( q r ) k) ~ r ( q ~s ) l) ~ r ( s ~ q ) 11) Usando as equivalncias tautolgicas, mostrar que as proposies abaixo podem ser escritas usando os conectivos , e ~. Depois simplifique as expresses o mximo possveis. a) (r (q p) b) q r (q p) c) p r (q r) d) (r q) (~q p) e) (p q) ( p ~q) f) (p r) ((q p) r) g) ~ ( p q ) p h) ( p q ) r ( p r ) i) ~ ( p q ) ( p q ) 12) Usando as equivalncias tautolgicas, mostrar que as proposies abaixo podem ser escritas usando os conectivos: e ~. Depois simplifique as expresses o mximo possveis. a) (r q) (q p) b) (p q) p c) (p r) ((q p) r) d) (r (q p) e) q r (q p) f) p r (q r) 13) Usando as equivalncias tautolgicas, simplificar as proposies abaixo: a) (~ (p q) r) (~p ~q) b) (p q) p p c) (p q) ((q p) r) d) ~ ( p q ) ~p ( ~p q ) e) (p q) (q p) f) p ( ~p q ) p q g) ( p q ) r ( p r ) h) ~ ( p q ) p i) ~ ( p q ) ( p q ) j) ( p q ) (( p r ) (p q )) k) ~ ( p r ) ((r ( q r ))

TRABALHO: os alunos vo fazer os exerccios definidos abaixo, conforme o seu ltimo digito do nmero de matrcula (exemplo o aluno 11021005 far os exerccios da coluna numerada com o nmero 5) e entregar no dia DD/MM ltimo digito do Nro Exerccios A 1A 2A 3A 5A 8D 10J 11A B 1B 2B 3B 5B 8C 10K 11B C 1C 2D 3C 5C 8B 10L 11C D 1D 2A 3D 5D 8A 10K 11D E 1A 2B 3C 5E 8A 10J 11D F 1B 2D 3D 5A 8B 10K 11C G 1C 2A 3A 5B 8C 10L 11B H 1A 2B 3B 5C 8D 10J 11A I 1B 2D 3C 5D 8B 10K 11A J 1C 2A 3D 5E 8C 10L 11C

Prof. Walteno Martins Parreira Jr

Pgina 45

Lgica Para Computao


3a LISTA DE EXERCCIOS
1. Identificar a expresso Booleana que gera o mapa de Karnaugh abaixo: a)

A C C C C
0 1 1 0

A
0 0 0 0

A
1 0 0 0

A
0 0 1 0

b)

D D D D C C

A
0 1

A
0 1

A
1 0

A
0 1

2. Identificar a expresso Booleana mais simples (soma de produto) a partir do mapa de Karnaugh abaixo: a)

A
C
0 0 0 0

A
1 1 0 1

A
1 1 0 1

A
1 0 0 0

b)

A
C
1 1 1 1

A
1 1 1 1

A
0 0 0 0

A
1 1 1 1

C C C

D D D

C C C

D D D

B
c)

B A
1 1 0 0

B A
1 0 0 1

B A
0 0 1 1 d)

B A
C
1 1 1 1

B A
1 1 0 0

B A
1 0 0 1

B A
0 0 1 1

A
C
1 1 1 1

C C C

D D D

C C C

D D D

B
e)

B A
1 0

B
f)

B A C C
1 1

B A
0 0

B A
0 1

A C C
0 1

A
1 0

A
0 1

A
0 1

B
g)

B
h)

A C C
1 1

A
1 1

A
0 0

A
0 1

A C C
1 0

A
1 1

A
0 0

A
1 1

Prof. Walteno Martins Parreira Jr

Pgina 46

Lgica Para Computao


3. Identificar a expresso Booleana mais simples a partir do mapa de Karnaugh abaixo: a) b)

A C C
1 0

A
0 1

A
0 1

A
1 0

A C C
0 0

A
0 1

A
1 1

A
1 0

B
c)

B A
0 1 1 0

B
A
0 1 1 0

B
A
1 0 1 1 d)

B A C
C C C
1 0 1 1

B A
1 0 0 1

B
A
1 1 1 1

B
A
0 0 1 1

A C
C C C
1 0 0 1

D D D D

D D D D

B
e)

B A
1 0 0 1 f)

B A C
C C C
1 1 1 1

B A
0 0 0 0

A C
C C C
1 0 0 0

A
0 1 1 0

A
0 1 1 0

A
1 0 1 1

A
1 0 1 1

D D D D

D D D D

4. Identificar a expresso Booleana mais simples (produto de soma) a partir do mapa de Karnaugh abaixo: a)

A
C
1 0 0 1

A
0 1 1 0

A
0 1 1 0

A
1 0 1 1

b)

A
C
1 1 1 1

A
1 1 0 1

A
1 1 1 1

A
0 0 1 0

C C C

D D D

C C C

D D D

B
c)

B A
0 1

B
d)

B A C C
0 0

B A
1 1

B A
1 0

A C C
0 0

A
0 0

A
1 0

A
0 1

B
e)

B A
0 1 1 0

B
A
0 1 1 0

B
A
1 0 0 1 f)

B A C
C C C
1 1 1 1

B A
1 0 1 1

B
A
1 0 1 1

B
A
0 0 0 0

A C
C C C
1 0 0 0

D D D D

D D D D

B Pgina 47

Prof. Walteno Martins Parreira Jr

Lgica Para Computao


5. Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la. a) S = A B + A B b) S = A B + A B C + A C c) S = A B + B C + B C + A B C d) S = A B C D + A D + A B C + A B D 6. Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la. a) S = f(A,B,C) = A B C + B C + A C + A B b) S = f(A,B,C) = A B C + A B C + A B c) S = f(A,B,C) = ( A + B ) ( A + C ) d) S = f(A,B,C) = ( A B + A C ) ( B + C ) e) S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D f) S = f(A,B,C,D) = A B D + A B C + B C D + B C D 7. Usando as propriedades da Algebra de Boole, simplificar as expresses abaixo, indicando a propriedade usada em cada passagem.. a) S = A B + A B b) S = ( A + B ) ( A + C ) c) S = A B + B C + B C + A B C d) S = A B C + A B C + A B 8. Usando as expresses abaixo, simplific-las usando os conceitos (Propriedades) da algebra de Boole. a) S = f(A,B,C) = A B C + B C + A C + A B b) S = f(A,B,C) = A B C + A B C + A B c) S = f(A,B,C) = ( A + B ) ( A + C ) d) S = f(A,B,C) = ( A B + A B ) ( B + C ) e) S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D f) S = f(A,B,C,D) = A B D + A B C + B C D + B C D

Comutativa: Associativa: Distributiva: Teor. Identidades

Propriedades da Algebra de Boole A+B=B+A A+A=A AB=BA A + (B + C) = (A + B) + C A (B C) = (A B) A + 0 = A A+1=1 A (B + C) = A B + A C (A B) = A + B (A + B) = A B A + A = 1


(A + B) (A + C) = A + B C A + A B = A + B

Identidades A1=A A0=0 AA=A A+AB=A A A= 0

TRABALHO: os alunos vo fazer os exerccios definidos abaixo, e entregar no dia DD/MM: Nro do Exerccio: 2 2 3 4 6 7 8 Final: 5, 6, 7, 8, 9 A C C B E C A Final: 0, 1, 2,3, 4 B D D E F D B

Prof. Walteno Martins Parreira Jr

Pgina 48

Lgica Para Computao


4a LISTA DE EXERCCIOS
1. Identificar a expresso Booleana mais simples (soma de produto) a partir do mapa de Karnaugh abaixo, depois representar a expresso simplificada usando portas lgicas. a) b)

A C C
1 0

A
0 1

A
0 0

A
1 0

A C C
0 0

A
0 1

A
1 1

A
0 0

B
c)

B
A
1 1 1 0

B
A
1 0 0 1 d)

B A C
C C C
1 1 1 1

B
A
1 1 0 1

B
A
0 0 0 0

A C
C C C
1 0 0 1

A
0 1 1 0

A
1 1 0 0

D D D D

D D D D

2. Identificar a expresso Booleana mais simples (produto de soma) a partir do mapa de Karnaugh abaixo, depois representar a expresso simplificada usando portas lgicas. a)

A
C
1 0 0 1

A
0 1 1 0

A
0 1 1 0

A
1 0 1 1

b)

A
C
1 1 1 1

A
1 1 0 1

A
1 1 1 1

A
0 0 1 0

C C C

D D D

C C C

D D D

B
c)

B A
1 1

B
d)

B A
C C
1 0

B A
0 1

B A
1 0

A
C C
0 0

A
0 0

A
1 0

A
0 1

3. Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la. Representar a expresso simplificada usando portas lgicas. e) S = f(A,B,C) = A B + B C + A B + A B C f) S = f(A,B,C) = A B C + B A + A C + A B g) S = f(A,B,C) = A B C + B C + A C + A B h) S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D i) j) S = f(A,B,C,D) = A B D + A B C + B C D + B C D + A B D S = f(A,B,C,D) = A B D + A B C + A B C + A C D + A B D

Prof. Walteno Martins Parreira Jr

Pgina 49

Lgica Para Computao


4. Escrever a expresso booleana representada pelo circuito a seguir. Represent-la no mapa de Karnaugh e depois simplific-la. Representar a expresso simplificada usando portas lgicas.

a)

A B A C A B A C

b)

A B A B C
A B C D

c)

d)
A B C

A B
A B C

A B C B C D A C D

e)

A B

f)
A C B C

5. Escrever a expresso booleana representada pelo circuito abaixo:

C D

C D Prof. Walteno Martins Parreira Jr Pgina 50

Lgica Para Computao


6. Dada a tabela verdade abaixo, achar uma expresso booleana que a represente. Simplificar a expresso encontrada usando o mapa de karnaugh e depois desenhar o circuito lgico correspondente a expresso simplificada.
a) A 1 1 1 1 0 0 0 0 c) A 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 7. B 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 C 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 D 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 S 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 B 1 1 0 0 1 1 0 0 C 1 0 1 0 1 0 1 0 S 1 0 0 1 0 1 1 0 d) A 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 B 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 C 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 D 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 S 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 b) A 1 1 1 1 0 0 0 0 B 1 1 0 0 1 1 0 0 C 1 0 1 0 1 0 1 0 S 1 1 0 1 0 1 1 0

Dada a tabela-verdade abaixo, achar as duas expresses booleanas que a represente. Depois fazer os circuitos lgicos correspondentes. a) c) A B C S A B C D S 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 b) 0 1 1 0 1 A B C S 0 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1

Prof. Walteno Martins Parreira Jr

Pgina 51

Lgica Para Computao


TRABALHO: os alunos vo fazer os exerccios definidos abaixo, e entregar no dia DD/MM. Nro do Exerccio: Final: 5, 6, 7, 8, 9 Final: 0, 1, 2,3, 4 2 A B 3 I J 4 B C 6 A B 7 B A

Bibliografia:
JONOFON, S. Raciocnio Lgico, Vol. I, 9a Edio. Editora JONOFON, 2000. DAGHLIAN, J. Lgica e lgebra de Boole. Editora Atlas, 1995. IDOETA, I. I. & CAPUANO, F.G. Elementos de Eletronica Digital. Livros Erica Editora Ltda, 1999. ABE, J. M. & SCALZITTI, A. & SILVA FILHO, J.I. Introduo Lgica para a Cincia da Computao. Arte & Cincia, 2001. ALENCAR, E.A. Iniciao Lgica Matemtica. Editora Nobel, 1995. COPI, I.M. Introduo Lgica. Editora Mestre Jou, 1981.

Nota do Professor: Este trabalho um resumo do contedo da disciplina, para facilitar o desenvolvimento das aulas, devendo sempre ser complementado com estudos nos livros recomendados e o desenvolvimento dos exerccios indicados em sala de aula e as listas de exerccios.

Prof. Walteno Martins Parreira Jr

Pgina 52