Vous êtes sur la page 1sur 85

i_GicA E LGEBRA DE Booi.

E
Diferentemente de textos convencionais, este livro adota a estratgia de ensi-

lmwilm-

JACOB DAGHLIAN

nar atravs de exemplos, com a utilizao de um instrumental lgico que facilita O 9edm60 B 8 mOde|agem de sistemas reais. O uso de ilustraes como meio de exposio proporciona, neste texto, bases seguras para generalizaoes e para o prprio conhecimento e desenvolvimento da lgica pelo leitor. A introduo Lgica e lgebra de Boole visa mostrar um exemplo de modeIomatematico de inumeras e importantes aplicaes em diferentes- ramos da atividade humana como eletrnica, computao e outros. O livro resultou de intensa pesquisa e da experincia de magistrio do autor. Por isso, sua forma agradvel de apresentar o contedo programtico:,em vez de uma abordagem orientada para o conhecimento da Matemtica pura, abstrata, o autor optou pela apresentao de um sistema algbrico que representou importante passo no desenvolvimento da eletrnicac, computao, pneumtica e outras aplicaesque envolvem at a Pesquisa Operacional.
n

Dci ongh
me irum , , ,._,.iz.

.uuui . _.-s-n.-up-ami

LOGICQ Q FLGEBRQ de l3OOLE...___

NOTA SOBRE O AUTOR

Jacob Daghlian licenciado em Matemtica pela Faculdade de Filosofia, Cincias e Letras da Fundao Santo Andr, onde lecionou lgebra.Foi professor de lgebra Dooleana na Faculdade de Filosofia, Cincias e Letras "Prof. Carlos Pasquale". E reitor da Universidade Metodista-de So Paulo (UM-ESP) e possui larga vivncia industrial que lhe permitiu avaliar a importncia da matria ora apresentada. A

4._J

._4i._

APucAo
Livro-texto para as disciplinas LGICA MATEMTICA e INTRODUAO LOGICA dos cursos de Matemtica (bacharelado) e Tecnologia de Processamento de Dados. Texto complementar para a disciplina CIRCUITOS LOGICOS E OFiGANlZAAO DE COMPUTADORES do curso de Cincias da Computao.

LCA LG E DEBOOL GEBRA E

publicao citlci:
www.EditoraAt1as.com.br

*|H

1783522 41255

nI:In:

ii r_* i _

l`

_\

)) I' } i_' )i' J J_\|3 VJ_ il`I l l I,

1. v 6 'I

5' 'z

f. 1
7

U $

JACE3

DAGI-ll_lAl\l

~i

Iui'vlbumiurww tivlvwvo-au

LGMZA E LGEBRA DE BQOLE


I

4 Edicao

i
iI
Q

1 f .

SO PAULO EDITORA ATLAS S.A. - 2008

1986 by Editora Atlas S.A.

go i~*I'*'~1_,
.F

1. ed. 19s; 2. ed. 19ss;3.@.199o, 4. ed. 1995; 12. reimpresso zoos


Capa: Paulo Ferreira Leite Composio: Style Up

i
,zz,;:;li.,.Af:i ns.u.|u. Di WWW H -Y

E 5

.-m.

- .|v"`n;._, .J ff" -1% -O* ' .gi

;|I""'\-IF'

mmol

Hi 'Ui MJ' !-Il as

3,

Agradecimentos Antonio ngelo Fratoni (Desenhos do Captulo 14) Vnia Linda Domingues (Datilografia do Captulo 14)

Dados Internacionais de Catalogao na Publicao (CIP)


(Cmara Brasileira do Livro, SP, Brasil)
nmi-w.'u`ilMmIi!'w|n'tiIf~:mi\nl.

Daghlian, Jacob, 1936 2008.


Bibliografia. ISBN 978-85~224-1256-3

Lgica e lgebra de Boole/Jacob Daghlian. - 4. ed. - 12. reimpr. - So Paulo : Atlas,

1. lgebra booleana 2. Lgica simblica e matemtica I. Ttulo.


95-0876 CDD-511.324

ndice para catlogo sistemtico:


1. lgebra booleana 511.324 TODOS OS DIREITOS RESERVADOS - proibida a reproduo total ou parcial, de qualquer forma ou por qualquer meio. A violao dos direitos de autor (Lei ng 9.610/98) crime

estabelecido pelo artigo 184 do Cdigo Penal.


Depsito legal na Biblioteca Nacional conforme Decreto ni* 1.825, de 20 de dezembro de

1907.
impresso no Brasil/Printed in Brazil

A
Carlos Alberto Garcia Calioli (in memoriam

e Rubener da Silva Freitas


Mestres e amigos cujo entusiasmo e

incentivo me conduziram ao Magistrio.


Editora Atlas S.A. Rua Conselheiro Nbias, 1384 (Campos Elisios)
01203-904 So Paulo (SP)

Tel.: (0_ _11) 3357-9144 (PABX)


www.EditoraAtlas.com.br

- nz.-nuvwa~p-qwn~-un.-4*i_:-zmMu4Uvmn~H-

un

'z' ...-. .. _.W_.

Pela ajuda de do/'s sbios: meus pais, Leon e Hripsm Pelo incen tivo de minha esposa: Hulda Pela carinhosa presena de meus filhos: Leon e Ricardo Pelos meus irmos: Carlos, Luz e Celi Pela oportunidade de realizar este trabalho Elevo 0 pensamento em gratido a DEUS.

nml-|l'$ i|uIl%NiI1r\ il}*iI U

`eqi -iU*ill vim'vH ul irun H' vlg ians-i'I' n' \o1~* 'Il.

Sumrio
Prefcio, 13 Apresentao, 15

1
SISTEMAS DICOTMICOS, 17

1.1 1.2 1.3 1.4

Introduo, 17 Interruptores, 18 Conjuntos, 22 Proposies, 26 1.4.1 Princpios fundamentais da lgica matemtica, 27


Tabela-verdade, 28 1 4.2

.zl

Exu

=.`S, 29

.i

2
OPERAES LGICAS SOBRE PROPOSIES, 31

l
al

i l
.mu- um-i

2.1 2.2 2.3 2.4 2.5 2.6

Negao (), 32 Conjuno ('), 32 Disjuno inclusiva ou soma lgica (+), 32 Disjuno exclusiva (), 33 Condicional (--r), 34 Bicondicional (<-->), 35

Exercicios, 36

ii

z z

-1 z

7
CONSTRUO DA TABELA-VERDADE, 39 , _ Exerc1c1os, 42
Iun? um mi dn-u;.\ ul-fz .

FLUXOGRAMAS, 77 1 Exerccios, 85

__ _ RELAOES DE IMPLICAAO E DE EOU1vALENc1A,4


4-1 Denies 46

OUANTIEICADORES, 89
8.1
8.2

Sentena aberta, 89
Quanticador universal, 90

4.2 4.3 44
4.5

Relao de implicao 47 Relao de equivalncga 47 Equivalncias notveis, s


Propriedades, 51

8.3 8.4 8.5

Quanticador existencial, 91 Valores lgicos de sentenas quanticadas, 93 biegao de sentenas quanticadas, 93

Exercicios' 96

Exerccios, 51

9
5 AROUMENTO VLIDO, 54
5_1 Deni-0, 54 5.2 Regras de inferncia, 56 Exerccios, 5 8

, INTRODUO LOEBRA DE BOOLE, 97 9.1 Operador binrio, 97


9.2 9.3 Propriedades das operaes, 97 Sistemas algbricos, 105 Exefclclosf 114

10
6
TCNICAS DEDUTIVAS, 62
'-_

FUNOES BOOLEANAS, 117


Exerccios, 120

6.1 6.2 6.3 6.4

Prova direta, 62 Prova condicional, 65 Prova bicondicional, 67 Prova indireta ou por reduo ao absurdo, 68 .

A 1 1 4 O . l REPRESENTAAO DAS FUNOES BOOLEANAS' 122 11.1 Diagramas de Venn ou crculos de Euler, 122 11.2 Tabelas-verdade, 123 g 11.3 Representao geomtrica, 124 Exerccios, 128 11

6-5 Pwva indireta da forma Cnd0n1 70 Exerc1c1os, 71

:-

FORMAS NORMAIS, 131 12.1 Forma normal a n variveis, 131 12.2 Forma normal disjuntiva, 131 12.3 Forma normal conjuntiva, 133 12.4 Funes na forma binria, 134 12.5 Funes na forma decimal, 135 Exercicios, 137

'vi-.ir rii wwi

.Q

%Wiu. rezir'za;sr.~'_eir
_: _-

Prefcio
Os ltimos 10 anos vm presenciando um aumento sem precedentes da aplicao da Matemtica, particularmente da lgebra, no entendimento e soluo dos problemas das Cincias da Computao. Estruturas algbricas, cada vez mais, esto
sendo empregadas na modelagem e controle de circuitos eletrnicos e de sistemas de informaes. A lgebra aplicada computao vem sendo paulatinamente introduzida nos currculos das escolas de 2.0 e 39 graus sob formas diversas.

13
MINIMIZAAO DE FUNOES, 139 c 13.1 Mtodo algbrico, 139
13.2 Mtodo do Mapa de Karnaugh, 140
.

13.3 Mtodo de Qune-McC1uskey, 148 Exerccios, 152


J. _

14
PORTAS LGICAS, 154
i

, pois, com grande satisfao que apresentamos ao leitor este dedicado trabalho do colega Jacob Daghlian. Trata-se de um livro que surgiu como frutodo

intenso trabalho de pesquisas bibliogrficas e das experincias do magistrio vivenciadas pelo autor no ensino de disciplinas cujos contedos abrangem este texto. sabido que os estudantes so mais hbeis quando conhecem a causa pela qual aprendem uma tcnica particular e tendem a perder o interesse se os mtodos matemticos so apresentados de maneira puramente abstrata, sem aplicaes pr-

Bibliografia, 166

ticas. Consciente, o autor adota a estratgia de ensinar, atravs de exemplos, utiliZando o instrumental lgico para o entendimento e a modelagem de sistemas reais.

O uso de ilustraes familiares como meio de exposio, por certo, oferecer


base para generalizaes e o prprio conhecimento e desenvolvimento da Lgica pelo leitor. Devemos deixar claro que no desaprovamos a abordagem orientada exclusivamente para o conhecimento da Matemtica Pura. Porm, entendemos que, quando o trabalho bsico inicial estiver bem assentado, o aluno ter estmulo para aprofundar os indispensveis conhecimentos tericos da Matemtica Pura. Com esses objetivos o autor produziu um livro-texto claro e compreensvel destinado aos cursos introdutrios de lgebra Aplicada Computao que certamente dar os fundamentos para que os leitores caminhem com segurana nos estudos, investigaes e pesquisas nessa rea do conhecimento humano.

z.-

Congratulamo-nos com o Prof. Jacob Daghlian e com a Editora Atlas pela publicao, augurando a continuao de empreendimentos desta natureza.

-zf _*

So Paulo, abril de 1986 PROF. GILBERTO DE ANDRADE MARTINS


-M-

Apresentoo
O presente texto originou-se das notas de aula do curso que ministramos h alguns anos aos alunos do curso de Matemtica da Faculdade de Filosofia, Cincias e Letras da Fundao Santo Andr. Ao redigi-lo, como primeira razo, moveu-nos o interesse de entregar aos nossos alunos um texto que contivesse os pontos principais de nosso curso e que superasse a necessidade, nesta primeira parte dos estudos, de livros estrangeiros de difcil e cara obteno. Outro aspecto importante que nos levou a este trabalho e nos mantm motivados no seu aprimoramento a apresentao de um sistema algbrico que representou importante passo no desenvolvimento' da eletrnica, computao, pneumtica e outras aplicaes que envolvem at a Pesquisa Operacional. Sua presena marcante nos estudos de automatizao, levando a simplificaes com sensveis redues de custo, tendo dado origem a mtodos que representam grande economia de tempo em projetos com os quais possa relacionar-se. Nada apresentamos de original e, em alguns casos, incorremos na linguagem caracterstica de queridos mestres como o foi Alcides Boscolo, de saudosa memria, e ainda o Edgard de Alencar Filho, no deixando de mencionar a marcante influncia de alguns textos citados na bibliografia.

Agradecemos o apoio dos colegas, bem como as crticas recebidas, sendo os erros e imprecises de nossa inteira responsabilidade. Em particular, agradecemos ao Prof. Jos Otvio Moreira Campos o incentivo e empenho para a concretizao
deste trabalho.

Finalizando, prestamos nossa homenagem aos professores que desde o Jardim da Infncia participaram de Jnossa formao, dedicando-lhes este livro e, para evitar omisses, citando as diferentes escolas que cu rsamos:
Jardim da In fncia e Primrio

Academia de Comrcio Horcio Berlinck -- Ja - SP

14

15

1'

_;

Ginsio Ginsio Estadual de Ja -Ja - SP Colgio So Norberto - Ja - SP Colgio Dante Alighieri- So Paulo - SP Centff/'co Escola Preparatria de Cadetes do Exrcito - So Paulo - SP Escola Preparatria de Cadetes do Exrcito - Porto Alegre - RS Superior
ir.

ih-ers.+i:ei'fas~r=i+r.miz+fvr.

Academia Militar das Agulhas Negras -_ Resende - RJ Faculdade de Filosofia, Cincias e Letras da Fundao Santo Andr - Santo
Andr - SP

Sistemos Dicotmicos
1 $

Organizao Santamarense de Educao e Cultura - OSEC- - So Paulo SP (Especializao) ' Pontifcia Universidade Catlica de So Paulo - PUC -_ So Paulo - SP (Ps-Graduao)

Instituto Metodista de Ensino Superior - IMS - So Bernardo do Campo - SP (Mestrado em Administrao)

1.1 INTRODUO
O mundo em que vivemos apresenta situaes com dois estados apenas, que mutuamente se excluem, algumas das quais tabelamos a seguir:

So Paulo, 1995
1' 7' ' ' ' ' 77 7 ' 7 W" 77 7 ' ' l 77%' 7' ' 77" ' 77 F ,

JACOB DAGHLIAN
1

l
l *I fim

1
*

l
Ami* 'f`I7T7J"r_7`|F l i 7

`
fz f_____

S'im
:_-;____ _ __ __ f 1; ---

.
-- -ff ;L z 7-f-f_ `

No
;_-~z-77 ___ _ __ ff

li 1
T7 Ylfr _ _

Dia Preto
' ' ' 7 " 'mf' ___T_ _ __ __

Noite or
"' 7 ___ _

Branco
"' z Tfwz __ 1 _

*
'41'

Ligado

Desligado

H situaes como morno e tpido, diferentes tonalidades de vermelho etc. que no se apresentam como_ estritamente dicotmicas, ou seja, com dois estados excludentes bem definidos.

A Lgica comeou a desenvolver-se com Aristteles (384-322 a.C.) e os antigos filsofos gregos passaram a usar em suas discusses sentenas enunciadas nas formas afirmativa e negativa, resultando assim grande simplificao e clareza, com efeito de grande valia em toda a Matemtica. Por volta de 1666, Gottfried Wilhelm Leibniz (1646-1716) usou em vrios trabalhos o que chamou ca/cu/us rarr`0tr`nator, ou /og/'ca mathematca ou /ogrstca. Estas idias nunca foram teorizadas por Leibniz, porm seus escritos trazem a idia da Lgica Matemtica. No sculo XVIII, Leonhard Euler (1707-1783) introduziu a representaao grfica das relaes entre sentenas ou proposies, mais tarde ampliada por John Venn (1834-1923), E. W. Veitch em 1952 e lVl. Karnaugh em 1953. Em 1847, Augustus DeMorgan (1806-1871) publicou um tratado Forma//og/'c envolno

17

"'.\`-T
.

a .

vendo-se em discusso pblica com o filsofo escocs William Hamilton (que nada tinha a ver com o matemtico William Rowan Hamilton), conhecido por sua averso Matemtica, o qual, entre outras coisas escreveu: A Matemtica congela e embota a mente; um excessivo estudo da Matemtica incapacita a mente para as energias que a filosofia e a vida requerem. George Boole (1815-1864), ligado pela amizade a Del\/lorgan, interessou-se pelo debate entre o filsofo e 0 matemtico, escrevendo The mathematfca ana/yss of /ogic (1848) em defesa de seu amigo; mais tarde publicou um livro sobre lgebra de Boole, chamado An investigar/'on of the laws of thought (1854) e em 1859 escreveu Treatse on dfferental equations no qual discutiu o mtodo simblico geral. O trabalho de George Boole foi ampliado por Lewis Carrol (1896), Whitehead (1898), Huntington (1904 e 1933), Sheffer (1913) e outros. Este perodo de desenvolvimento da Lgica culminou com a publicao do Principfa mathematica por Alfred North-Whitehead (1861-1947) e Bertrand Russell (1872-1970), que representou grande ajuda para completar 0 programa sugerido por Leibniz, que visava dar uma base lgica para toda a Matemtica. A lgebra de_Boole, embora existindo h mais de cem anos, no teve qualquer utilizao prtica at 1937, quando foi feita a primeira aplicao anlise de circuitos de rels por A. Nakashima, que no foi bem-sucedido, pois, ao invs de desenvolver a teoria j existente, tentou desenvolver a lgebra Booleana por conceitos prprios. Em 1938 Claude E. Shannon mostrou, em sua tese de mestrado no Departamento de Engenharia Eltrica do MIT (Massachusetts Institute of Technology), a aplicao da Algebra de Boole na anlise de circuitos de rels, usando-a com rara elegncia, o que serviu de base para o desenvolvimento da teoria dos interruptores. O assunto deste curso, ainda que elementar, visa mostrar as aplicaes da lgebra de Boole ou Algebra Lgica no s no processamento automtico de dados (computao), como tambm na automatizao da produo industrial, mediante a utilizao desta teoria aplicada aos fluidos.

Por convenincia, representaremos os interruptores da seguinte maneira:


_ _ _ 3 __ _ fz _

Neste caso, somente conheceremos o estado do interruptor se tivermos a indilrI'rf:Hli=.'i*+-.=i~'-i: z<

cao de que a = 1 ou a = 0. Conhecendo-se o estado de um interruptor a, poderemos denotar tambm por a qualquer outro interruptor que apresente o mesmo

;;

estado de a, isto , aberto quando a est aberto e fechado quando a est fechado.

Um interruptor aberto quando a est fechado e fechado quando a est aberto chama-se complemento (inverso ou negao) de a, e denota-se por a'.
__ r , .
.z

F _

Sejam a e b dois interruptores ligados em para/e/0. Numa ligao em paraleIo, s passar corrente se pelo menos um dos interruptores estiver fechado, isto , apresentar o estado 1. Denotaremos a ligao de dois interruptores a e b em paralelo por a + b. Ento: a
._____.___a+bi.__.__._
{ l?

._-1

I.

-1

1. . T.

P.

'i -
1

Sejam a e b dois interruptores ligados em srie. Numa ligao em srie s

,. H. i

passar corrente se ambos os interruptores estiverem fechados, isto , se a = b = 1. Denotaremos a ligao de dois interruptores a e b em srie por a - b ou simplesmente ab. Ento:
___ 3 ___ __b__ _ a.b

1 f
1 fi

Assim, considerando os estados possveis de serem assumidos pelos interrupto`

res nas ligaes em srie e em paralelo, podemos notar que:


0+O=
O CD (D

CJ

0+1= 1.2 INTERRUPTORES


Chamamos interruptor ao dispositivo ligado a um ponto de um circuito eltrico, que pode assumir um dos dois estados: fechado (1) ou aberto (0). Quando fechado, o interruptor permite que a corrente passe atravs do ponto, enquanto aberto nenhuma corrente pode passar pelo ponto. Fiepresen taao. 1+0= 1+1=
a+b=
'1- Q) DID)-. ._j
...

U--AC)_

0)

,_}z
_

a+3'= ,._U'-._a-a a +0 = a a + 1 = 1

' a'= a 0: Oocr-c: o a - 1=a

... _

Todas estas equaes podem ser verificadas desenhando-se o circuito apro priado. As ligaes de: a b
__C _

_
__

/8______ ._._a_____ _

___

aberto

_{

______ fechado

so a ' (b + Cl 8 (8 ' b) + (3 - c), respectivamente. Os circuitos esto ambos abertos se a = 0 ou b = c = 0, e esto ambos fechados se a = 1 e (b =10u c = 1); logo, suas ligaes so iguais. Ento: a'(b+c)=(a'b)+(a'c). As ligaes de:

bl
3

3 _
um .z

{;1~l;1~

,.

EXE RCCIOS
1. Dar as expresses algbricas dos circuitos desenhados

~l

lr B di Hfla+(b'c)=(a+b)'(a+c).

vi
1 , gv _.

al
s -(2

so a + (b c) e (a + b) ' (a + c), respectivamente. Oscircuitos esto ambos


abertos se a = O e (b = O ou c = 0), e ambos fechados se a= 1 ou b= c =1;logo, suas ligaes so iguais. Ento:

z'-r

b)

Vejamos alguns exemplos.


79 Exemplo:

l
ai
e)

xa-ni-1

Vi r --4: }-4 r
_ Z :_

- w z

' 7 >
l )

Determinar a ligao do seguinte circuito:


a

rz
_ n

1-. p __

l . . , lo
X _

-Y

1it:]_,.,___
za (ih
T7 a' a'

Soluo :

fl

(a+ b) c + (n - p).
z _
Zz

b 7 .c ..__.._b'

29 Exemplo:
1

9)
___

Desenhar os circuitos cujas ligaes so:

al D'(D'+1'rl bll +vl ' ('+v).


Soluao:
.Iv

_ 3' _
_ 3' __
fr

_ b _
__ b'

l
)

hl
__

_a_
C __J

b___
3 b

al

D' Q-_-D

b
(

---d-z_c
b d

-rqiniaiurvmz

sv _~.v 'av

=f'vvzi,;(

-1

{ a

_ c
.

_- K

'7"z*'*f

'1

Ff'

'

*T

T
I'/.,_./_

-.
,__ .

l i
1

'_`.- /L)

./.:i=1~.z~zz;`f:a':efz az.~;;zr:<rzz;<~a' ~.<


' / .f //.'.~'/.f

.->':-.f?f`?'>`z1)1.

fz :2---'.'z>-z _; z;-.'-""'.'/<";l"_";}I"'. ` -z1-ez<_r;f-.f.>_f;-1/'


,z jI_/;z"_f.//:I';1'-''- by/J' "'/,'('

z' 1--:/_-zz6-fg-'->:*',f_-f'; -

:_-'.`f/`{z,-,f'` _- -I .,_(.-_,. -J

>:f-.-:fz/<.r.;.:_;.-T:/../rff"
_. _'-'.f'f.;`:7z~
- __ /f'fz " f '' '-' -""'''-*I/f''5'5 1*/z_"` I'-'-,"-.'-'zf/-l/"--1->'-iy-fi:

->zz.-.--'-f-.-.f

-. _.

-_-ze

ls 1 1

_ _ __ 3 _ ___ b _
1- a _ __ , ___

,___
___

1. 1

zi:~;>;7?'~~">'f/:;~'~?f'iff 1

`~ li `l.

ff;;,.z;4f*fa;-feff 1'
5' / ' /' ; "ff/f':f~$f~: " z/ /zr////z / //r 1 / z/, / z.//fz: ,__

'

/-/sli?"??}/is763?/_'i~;'rf vfzz/y-zfZ/z'f'zy~'//ztfif_..z/

._ -%__f__ -*___ _

.=.f/ft//6,4 -,'/_;",/ // /"

,_-.,;z=-'w-uz,X,,,z/ ,z; /':_ 1-' 'if ' ' .-<


z' 7 ,z ff

..:/.'~";'>`4%'*'22/f/""'

_'-'.-fzf:-ff.-.*zz/.zf
/'/,-1.-;f;

if

-'ff ,fx/_ _ m z.v~'?zy'~'yf.;;~;zf~._


j-_ J

ol

fm_'.IF-_~~--' ' /'/ fz//z z; 'f-/' ----__ _ ;:Vf__.-. _...-_-~ _ ~'f ___; __ _ /' I, ,- /-7 ,_/ 'P-:f*'_+;_ii-.___e___, '/2

-m;_.-1: -F-'

-;/-.fi/2'-;'f."'~6?/'fffzz z.-/-/.fzzz
_;/-,//_-;z.y/1///,. ./,, _ ,_r_.,)._.

ll

//,/,z;`,\\x 3'}"f"/

/f//'./?~f'~

_ 3

_ br

__

_ _; <1';f se" / .. . /,, W.

- _;_:_-_~~_f- fr

"1'__'T"_"__;`

'

, ' '

__

H l .

, __ .

a a' a _

rf

, ___.
i1
4;I

fs
,_E__ , ,

/r

b ___ c b' c

l j

l__.__..' __b .......'__._.. __ __a __b -___ c'__ _.

Denotaremos por a + b o conjunto de todos os pontos que pertencem s ao

conjunto a ou s ao conjunto b ou a ambos. Dizemos que a + b a unio de a com b. O conjunto de pontos comuns a ambos, isto que pertencem a a e b, ser denotado por a ' b. Dizemos que a ' b a interseco de a e b, que pode ser denotada tambm por ab.

"'_'l L_ _a' _ _b'-

r-_' c ___ l
{

2. Desenhar os circuitos cujas ligaes so dadas pelas expresses:

alr'(q+rl
blm+(D"Q"r')
]im+n+p+q

l
4 -i

dll'vl+("
el,

\\\&\`\\

fl lr+ql'lp'+q'l gl lD+ql(r>+q'+r'l
hi(a+b-c)(a"b'+c')+a'b"c' i) p'[q'(s+r)+r's] +(q+p')-(rs'+s)

f ( f. vl+( . V)

. p_

_,

1
a

________

;l

__

_ _

%/

___ ___ _

J,

1i _________

____

il

a +b

a ' b

Seja a' o conjunto de todos os pontos do espao considerado que no pertencem a a. Dizemos que a' o complemento de a.
i

Aten:'o:

O leitor no deve passar s pginas seguintes sem que se sinta perfeitamente capaz e desembaraado nos dois tipos de exerccios das seqncias acima. Tente de novo, marcando o tempo e os erros cometidos.

Chamaremos conjunto vazio e o denotaremos por 0 o conjunto que no contm pontos; denotaremos por 1 o conjunto de todos os pontos, que o conjunto universo.

l
777
.

z f',z'ff^>",1'. '5f1:./1;;-;'

fi;

1 J

' I,

f`/ /

-1 ;

221
/;.<~<'.,~.'<f:.~<;.:12:-z:g:zf' . 1

_ / zs; ir;/; /'/r,. /5 ' //y ,,./,, .,,. . ., .


Z.

ll ar, l
rgzf;-.
\ _///._ . __./_;/,

%*//r///f
\`\`

-f-/f7//ff/1%*/-- zf/
ffyzl/z 'f'/,//'2 /-V z '

7 i"`

1.3 CONJUNTOS
Sejam a, b, c, conjuntos de pontos tomados num espao E dado. Na figura abaixo, o retngulo o nosso espao E e as figuras internas so os conjuntos '

,
1

,_,./,,;,Z_.{/'//_///_,_4.< . 1.). _ \ x \.-\ t~.\Q-.'_ . Ls ..\` vt *S

_.,_//,',/X._.__.--,l/,-ff 3.). z

, . u
_-.\ ..\

,z-aa,-6-.f%r;;_uz%%;

.\ f`.\\

22

a'

23

'-2.

Para dois conjuntos quaisquer a e b do universo 1 valem as igualdades: 0+0 0+1

is -2

l'i~i`. "'-7'-1'fl.~*i
..-

--Q

oo

-zo
ii
..._ 1-

1+0
1+1
a+a'=

a+b=
a+0 a+1

+ ID
mU'_. -.. m0Jm_. \.

U'm__-C3

0 1

8+(b'Cl
mC3U'Q-*CDGO

(a+b)(a+c)

29 Exemplo:

Podemos verificar sua validade construindo os diagramas apropriados, por exemplo, pelos crculos de Euler ou diagramas de Venn. Outros resultados podem ser obtidos para trs conjuntos quaisquer a, b e c. 19 Exemplo: Mostrar mediante diagramas apropriados que: a+( b'c)=(a+b)(a +c) Soluo:
a

llustrar pelos cfrculos de Euler a expresso pr' + p'qr. ; Soluo :


I O I

Q
DF'

4
F Cl

,i

lli

i'

D ' Cir

Dr' + p'qr-

`%
a

_)
""-%'___
m

3P Exemplo: i
C

Dar a expressao da regio hachurada no diagrama:

b'c

a
-;.i.:,i,Iiir.,,__| _ .z_:~j',ii,llii

l
r

'Will
24 a + b

ilrrliiii llllljil lllilili ill .mi

viii ,ll liliiliiir. * "* '*'l '

4
_

.z (1.
1 S0lU.'0=
X V Z: + xr yr Z O

l ;i,ll(ll

3 + C

ii
J.. i1 .

i1;r
1

EXERCCIOS 1. Desenhar os diagramas de Euler-Venn para mostrar: a)lJ+q'

,. ._

O valor lgico da proposio (8) a falsidade (0). 9 da Df'0D0S0 (bl 8 verdade (1). As proposies podem ser simples ou compostas. Proposio simples a que

Lfl.

., |

bl cl dl el fl

i1q' p'<i'+r:'<i (i+1ilr li2'+q'l'r lD+ql'r

no contm nenhuma outra proposio como parte integrante de si mesma. lndicaremos tais proposies por letras minsculas de nosso alfabeto, da seguinte forma: p: Carlos careca.
q: dos carecas que elas gostam mais. O nmero 16 quadrado perfeito. log; 1 = 0. U'l"\

.F

2. Dar as expresses correspondentes aos conjuntos hachurados:


'i (I

iii'
fiz .P

jlliliilllllllllll (W

lil'
i
lgie'
.il

A proposrao composta e formada por duas ou mais proposioes re acionadas pelos conectivos "e", ou e se... ento" (ou impIca"). Sero indicadas por letras maisculas P, O, R. Exemplo: 4
IU I p o no I I

ii -1

_iiI.,.
.lili

...ill l
7

'

l i li ilil l l ll
- __. '7 -:A1 m-mm*
- -_ _ _. .

'--

Sejam p = 1 + 2 = 3, q = 2 1 duas proposies (no caso, ambas de valor 1). Podemos formar as proposies compostas:
P=p-q:1+2=3e2a1 O= p+q:1+2=3ou21 R= p-->q:1+2=3implica21

- =-g-=_._-:E

-_.-_ 5_ "-_.' -_=-_-_ .:-I'

r(lil= i

'

li foi
llli i ll'

iliri"

1., |

3. Usando crculos de Euler, mostrar que:

-al lr+ql'=i' ' ci' cl (D'l'=P

bl i=+lir"il=i>+i

Observaes'

i.
li

ii..,. i. .iii

i ~.i

ll'
l

1.4 Pnoeosioes

l.: `|(l

,l`

fl
il

Chamamos conceito primitivo aquele conceito que aceitamos sem definio. Enquadraremos neste caso o conceito de proposio G. D0|'30z 0300 def* niremos. Entretanto, nada impedeque conheamos suas qualidades, lembrando que propos:"o uma sentena declarativa, afirmativa e que deve exprimir um pensamento de sentido completo, podendo ser escrita na forma Slmbvlw OU linguagem usual. Ento, so proposies:
a) tg -:L = 1

a) Quando for conveniente indicar que uma proposio composta P formada pelas proposies simples p, q, r,..., escreve-se:P (p, q, r, ...). b) As proposies componentes de uma proposio composta podem ser, elas mesmas, proposies compostas. A c) As proposies compostas .so`tambm chamadas frmulas proposicrona/s. lndicaremos o va/or lgico de uma proposio simples p, por V(p). Assim, se p verdadeira, V(p) = 1 e se p falsa, V(p) = 0. No caso de uma proposio composta P, indica-se por V(p). Nas proposis abaixo: p: O sol verde.
q: Um hexgono tem 9 diagonais. r: 2 raiz da equao xz + 3x - 4 = 0.

V(p) = 0.
V(q) = 1. V(r) = 0.

b)\/3<rr o c) O Mxico fica na Amrica do Norte.


fz.-;_i"'._ _"TFZ*._F_:`' ..

il

Dizemos que o valor lgico de uma proposio a verdade (1) se a _proposio verdadeira; a falsidade (0) se a propos0 f|S- POI' 0BmPl0 a) O Japo fica na frica. . bl 0 BW-il Qah0U 3 CPa 9 M'-"'99 de 1970 " M'' li

1.4.1 Princpios fundamentais da lgica matemtica


a) Princrjoio da No-con tradio:
.

Uma proposio no pode ser simultaneamente verdadeira e faIsa".

27

.Li i.:

I
5' T

bl Princiivio do Terceiro Excludo: Toda proposio ou s verdadeira ou s falsa, nunca ocorrendo um terceiro caso.

bl P(p'q'f)
T T * " '
l

De acordo com esses principios, podemos afirmar que. toda proposiao admite umeum s dos va/ores 1,0. Chamam-se conectivos lgicos palavras ou expressoes que se usam para for. H . . ~ 1 mar novas proposioes, a partir de proposioes dadas. Damos abaixo algumas proposies compostas por diferentes conectivos (grifados): P: O nmero 4 quadrado perfeito e o nmero 3 impar. O: O tringulo ABC retngulo ou issceles. Fl: Se Joo estuda, ento sabe a matria.
. , . H

. . _

- ~

l
-

K , 1: i 1 1; O z O
,

P * q i f li
___* * O i
1 ,W;_

0
q Q 1

.;

T 1 iiij li li 2 \ 0 0 T. . ...___ 0 0
`

, :__

1 f 1

i J

r p

l 3 1 4 1
`

1 1 e O
7

l 0 *I F" T 1 il ,ga, 1.e,

U1
_

1.4.2 Tabela-verdade
Pelo Principio do Terceiro Excludo, toda proposio tem Vlp) = 1 ou
: 0. _

ir 6 i, 1 "lr o z 1 T
rfffff

,e

_.

s. /f\l -iu f'|

q
I'

l l

T.
7 . 1 1 E O

ff-
f;i=f
i 1. O 1 i
li

1------1

0
sp 1

,.:.;i_

fa11i1
L-

1'

`, eu l

Apresentaremos, sem demonstrar, o seguinte teorema: Teorema: _ 1 , i i O nmero de linhas de uma tabe/a-verdade dado por 2", onde n o nmero de proposies componentes.

i Nas composies, o valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles unvocamente determinado. Usaremos como meio auxiliar na construo das tabelas-verdade o diagrama da rvore, que se v ao lado das tabelas._Na.situaao atual, os nmeros que aparecem na primeira coluna tem apenas a finalidade de indicar 0 nmero de linhas para cada exemplo apresentado. T T s Para as proposies compostas, veremos que o nmero das componentes simples determina o nmero de linhas das tabelas-verdade. Exemplos:

Exemplos: a) Dada pg n = 1 e a tabemverdade ter 21 = 2 unhas. bl Dada Plp,q), n = 2 e a tabela-verdade ter 22 = 4 linhas. D cl Dada Plp,q,rl, n = 3 e a tabela-verdade ter 23 = 8 linhas.

al Plp-ql
l l i `

o
_______Ff_____ E O __.. \ N. g O \ i 3 *1 O fi .- i -_ Q- _ O
TJ O

exe Rc rcios
1. Determinar o valor lgico (1 ou Ol de cada uma das seguintes proposies:_ al bl cl dl O nmero 11 primo. senz 25 'T+ cos225 = 1. O hexaed ro regular tem 8 arestas. sec2 32 = 1 + tgz 32. Vla l V(b) Vlcl V(d l

\. /\. r\-f.z_\f| \iuf.z

Q t. 1

) ) ) ) l
)

10

28

4 *T 1

1%

el ioga.-= 1.

vie)

) ) ) ) l
f) loga1= 0. \/(f) z

gi semi 30 + CQS2 30 = 2.
h) senz g + cosz g = 1. i) log (2 3) = log 2 + log 3.

Vlgl =

Vlhl =
Vll =

l )
i \ l

1:, ,,;;,'
lO
ol cos(-xl = cosx.
Dl -2 <0.

j) Todo nmero divisvel por 5 termina em O. l) O par { x} igual a {x}.

Vlil =

dl

l-l l

_ ~

mg vipi z
m
V(0) =

zz

2 ~ *' ' Operooes Logicos sobre Proposioes


~

Escrever cinco proposies de valor lgico igual a 1 Escrever cinco proposies falsas. Estudaremos as operaes do clculo proposicional tambm chamadas operaes lgicas.

x. /"~u/\u/*I I"

2.1 NEGAO (')

) )
) )

Seja p uma proposio. Denotaremos a proposio composta pelo modificador NO por p' e l-se: no p". Ento, V(p') = O (falsidade) quando V(p) = 1 (verdade) e V(p') = 1 (verdade) quando V(p) = O (falsidade). O valor lgico da negao de uma proposio p definido pela tabela-ver~
dade:

) )

)
l 1) que nos d: 1' = 0, 0' = 1. Ento, dadas as proposies abaixo, vem:
al p:1+4=5 p':1+4#55 VlD'l=O bl qt Joo estudante. (O) (1) (O)

J J
l )

J
il
i

q': Joo no estudante. VlCi'l =l

(1) 31

Outras maneiras de exprimir uma negao!

O valor lgico da disjuno inclusiva de duas proposies definido pela

No e' verdade que Joo estudante. falso que Joo estudante.

tabela-Vefdadei

D
.z O
_
L*

1iD+1
,
Ei.---E. e
i , ' 1

2.2 CONJUNO (.l


A conjuno de duas proposies p e q uma proposio verdadeira quando V(p) f= V(q) = 1, e falsa nos demais casos, isto , s verdadeira quando ambas as componentes forem verdadeiras. Chamamos p 1 q a conjuno de p e q e l-se:
np e qn'

1
O _`

E
' 3

101

;1=1,1
.

O valor lgico da conjuno de duas proposies definido pela tabela- -verdade: 1


1: to ~ J *` q=r'=i~ 1 - ,-

Ento dadas as proposies abaixo vem: ' '


al p:Tr=3 q:9-3?6 VlD+ql =1 (0) (1) ) )

._,v' ' 'u

ao 0
ET
l 1: 1,;

lL

oiol! 110.
i

._ 1
--

r;-c4-; z

_ . i

l1olo^
- -

bpz/<1 qz2<\/2`
Vle+ql=0

lol io)

_. ___z;zlz__.zz..__z__

1111
. V

il

Ento, dadas as proposies abaixo, vem: al pzsen = - 1 q:cos0=1 i (1) (1)

2.4 DISJUNO EXCLUSIVA ( $ l


'\r`*'\-/

A palavra ou tem dois sentidos; no caso anterior, temos a disfuno inclusiva, que exemplficamos a seguir: P: Joao estudante ou mecnico,

Vl.p'ql =l
bl r: |ogz2=1 (1)

indicando que pelo menos uma das proposies" p: Joo estudante q: Joao mecnico verdadeira, podendo ambas ser verdadeiras:

s: 2.=2 V(r s)=0

(O)

2.3 DISJUNO INCLUSIVA OU SOMA LGICA (+l


A disj'un'o de duas proposies p e q uma proposio falsa quando V(p) = V(q) = 0 e verdadeira nos demais casos, ou seja, quando pelo menos uma das componentes verdadeira. Chamamos este conectivo disfuno inclusiva ou soma lgica; denotaremos a disjuno de p e q por p + Q. 8 l-S62 "D OU Q"Q

Joao estudante e mecnico. Por outro lado, temos o caso em que isto no ocorre; disfuno exclusiva, definida a seguir. A disfuno exclusiva de duas proposies p e q uma proposio verdadeira somente quando V(p) #= V(q) e falsa quando Vlpl = V(q). ou seja, quando p e q so ambas falsas ou ambas verdadeiras. Denotaremos a disjuno exclusiva de p e q por p q, e l-se: p ou q, mas no ambas.

\. .z\. f\.,z\|r&/

J
33
\

_)

11

) ) ) l
E

O valor lgico da disjuno exclusiva definido pela tabela-verdade:


,_ _

'U O O
_)

.Q ii? O
1-J

\ DQQ

_ __
_

'll' = CUS?

________ 2

ii. _

.g--2

-ao
_.:

O
_-_

Vlp->ql=0
2.6 BICONDICIONAL (*"_*l

-~./ul'-ui/~. '

Ento, dadas as proposies abaixo, vem:


al p:rr<3 q:3>2

(0) (ll (0) (0)

V(pql=1
bl p:tr<3

O bicondicional de duas proposies p e q uma proposio verdadeira quando V(p) = V(q) e falsa quando Vlpl # V(Cll. Denotaremos o bicondicional de p e q porp +-> q e l-se: p se e somente se q. Convm notar que o bicondicional no uma operao original, mas dupla aplicao do conectivo (--l. O valor lgico do bicondicional de duas proposies definido pela tabela-verdade:
___ _ ,_V_ il _ _ .i

q:sen2 %<1
- /-./\-/\-/ '\

vli@1il=o

ip
i" fz-

q,*"*q
f r z z ___ z -__a:.

) ) )
_)

2.5 coNoicioi\iAi_-z)
1 O condicional de duas proposies p e q uma proposio falsa quando ii l

fzz_z_

-*OO

--~

_ _
In.

O-*O

OO-\

_).

ii

-fl

zz

tt)

V(p) = 1 e V(q) = 0, sendo verdadeira nos demais casos. Representa-se. o condicional de p e q por p --> q e l-se: se p ento q. A proposio p chamada antecedente e a proposio q o conseqente do condicional. 1 valor lgico do condicional de duas proposies definido pela tabela-verdade:

V E"z dadas 35 PYODOSBS b3l0z Vem! 3) p. \/ um nmero n,acona Q\/ > 1 WP ** ql = 1

(1) (ll

) i
)

)
l
'ff

ca
O
r__

z p _) qci
1-ul

bi r:/IT E 2 =i=/ > 1

ni-'L

Vip*->ql=0

ioi iii

`c:
zbunnl

il J
l

-o

Daremos de maneira breve a ordem de precedncia a ser observada entre as operaes estudadas, que a seguinte: al' bl P T c)-> d),.,_____,_
` _ Esta ordem de precedencia entre os conectivos tem a finalidade de permitir

1-L

Ento, dadas as proposies abaixo, vem: al pztgg-=1


q:sen0=-'-O

i J
J

(1)
(1)

VP _* ql = 1

a identificao da forma da proposio composta, conforme mostramos a seguir:

Assim, p -- q _- r da forma bicondicional; a proposio p + q' -- q - r da forma condicional, ao passo que, p + lq' --> C1 ' rl composta por disjuno. Portanto. a correta colocao de parnteses, quando for o caso, de extrema
importncia. _ .P 1

C) 3 > 2 ou sen90 > tg45. d) se l -1 I < O ento sen90 = 1. e) 3 > 1 _ 30 -.z\/e 3_


f) 1; > 4 i 3 >

gl tgn = 1 se e somente se senrr = 0. h) No verdade que 12 um nmero impar.

EXERCICIOS
, 1. Sejam as proposies p: Joo joga futebol e q: Joo joga tenis. Escrever na Iinguagem usual as seguintes proposies: a) p + q it 'A

) (1 +1 = 2+-4+3=5)'.
jl (sen 0 = O ou cos 0 =1l'. .5_ Sabendo que V(p) = 1 e V(q) = 0, determinar o valor lgico de cada uma das proposioesz

bl ia Q cl iv q' dlr'<i'
el lp'l' fl lp' ' q'l'
2. Dadas as proposies p:'Maria bonita e q: Maria elegante, escrever na linguagem simblica as seguintes proposies: al bl l dl el f) Maria bonita e elegante. Maria bonita, mas no elegante. A No verdade que Maria no bonita ou elegante. Maria no bonita nem elegante. Maria bonita ou no bonita e elegante. E falso que Maria no bonita ou que no elegante. H

_
z

al ia Q' bl r+q' elr='<i


dl is' Q' el p'+ai' fl D ' lp' +ql
6. Determinar V(p) em cada um dos seguintes casos, sabendo que: al b) Cl dl 9) f) Vlql V(q) Vlql Vlql V(q) V(q) = = = = = = O-*OOOO

fnfr wi dui dw

i l

Vlp ' ql = 0.
V(p+q) =0.

Vlp-+-il =
(DCDCDCDID

Vl|=-F-:il = vlw-ral = Vip*-*ql == -"59-o


O O

3. Classificar as prapasicss compostas abai0. como soniunco. disiuso. con- , `


dicional, bicondicional ou negao. .

al. lp 1 q'l'
blp+(qr'l clp-(q---rl

7. Determinar vlpl e vlql em cada um dos seguintes cases, sabendo que: 3) Wp ___, q) = 1 e Vlr:il=o. bl Vlrs"-'ral =1 e V(p+q)=0.
0lVlP*_*Ql=1 dlVlD*_*Ql=0 e V(pq)= 1.

2 l 1

s Vlp'+ql=1

dl i2>q-r'

ei lp - qq' + (r _). 5)

V z

8. Para que valores lgicos de p_e q se tem Vlp ql = Vlp ---.q)? 9. Se V(p) = Vlql = 1 e V(rl = Vlsl = 0, determinar os valores lgicos das seguintes proposies:

gn [D ___) (Q _ rn _ S ' ,

fl lD+o'l-(rsl
hl [D-->lq' rl]

il lr+larl1'-s' ) (p+_q)._r'

lP'+f bl lr+(r-rs ll
cl lp' + lr sl']
dl [CI *_* lp' S ll'

4. Determinar o valor lgico de cada uma das seguintes proposies:

el3+2=7 e 5+5=1o ` bl senrr = 0 e cosir = 0.

llpHl+lq`_`>pl fl lD**Cil'lr'-'--rs)
l

r l
l i
l

9) {[Ci' ' lo - s'll'}' h l i>'+la lr-s'll


. il [D + lq-' sli' + lr-_s'l
ll Cl" lll"+Sl-_-lD-_->q'll

il lD'+fl'_'*lq--*sl

ml lP'_*l<lli*rll"'_>s Determinar os valores lgicos das proposies abaixo, justificando os casos em que os dados forem insuficientes: llJ'""*lQ+'l. Cl dl al fl 9) h)
_)

A i 3

. /-/ -f~./

bi ip ... ., . .L ii f;f;.';f;?...Z... V... _ 0,


b d V(l=0. D [q' --> (r ~ s)], sabendo que VlDl = 0. D ** (Q sl, sabendo que Vlpl = 1. lp' + fl "-> (q --> sl, sabendo que V(q) = 0. (D -"> rl ' s, sabendo que Vlrl = 1. p -- (r + 5), sabendo que yr,-) = 1_ lp 1 ql <:~> r, sabendo que V(q) = 1.

Construoo do Tobelo-verdode
"' 1 Para se construir a tabela-verdade de uma proposio composta dada, procede-se da seguinte maneira: al determina-se o nmero de linhas da tabela-verdade que se quer cons trur_ bl observa-se a precedncia entre os conectivos, isto , determina-se a for ma das proposies que ocorrem no problema; . . _ .. .. . . . _' c) aplicam-se as definioes das operaoes logicas que o problema exigir. Vejamos alguns exemplos: .

) [lp '_-_ fll . p]__ pl' Sabend que Vlp) = 0' ll D _* (Cl ' rl. sabendoque V(q) = O e Vlrl = 1. J

) )
l l ) .

19 Exemplo:

) i

Construir a tabela-verdade da proposio: P(p,q) = (p q')'.


Soluo : J

l
)
)

r-p
i

e ~

11<iD'qlP'ql.
I' I' fl'

-rf

ij

l
l l l l j 38

i.

- c:io

- *CJ-*O

O-*C3-*

O-*OO _ ___

i-__

-eo-.. . .

Considerando as linhas da tabela-verdade, temos: Pl00l = Pl01l P(10l

Pl11l

-. o. .

e, para todas as linhas da tabela-verdade, vem: P(00,01,10,11l = 1101. O conjunto V = {00,01,10,11} o conjunto de todos os valores possiveis ~ de serem assumidos pelas proposies componentes de PlP.Cll e, considerando que * a cada elemento de V corresponde um e somente um dos valores de {0,1}, dire- 1 mos que

39 Exemplo:

Construir a tabela-verdade da proposio:

A
Soluo :

Hmmd=D+r~*q'f.

lp
Cl '

I
'l

q
_____

T" r
__L _

r ser

Pieeiz v -~ {0.1}.
ou seja, a tabela-verdade de P(p,q) uma aplicao de V em {0,1}. O mesmo se d com proposies compostas por um nmero maior de proposies componentes. A S

p r q - -~~~ fr f
__

r
_

p+r -->q ~f
O

r
_

l 5

1 l `i ,l

~. /uI d' d~ ul-/

29 Exemplo: Construir a tabela-verdade da proposio --c>oc: >


- ~o - o
- *CJ-O-*O-*O CD-*O-*O-*O-H zz
_;-. . _\@. @_

Hmw=%o'm"+m**pY.
Soluo :

`
i

1
O

-.

_l____

zzzzz

__

O- IOQO-*O _

_ _ _

@.. @@.-. . . .\

_ _

No caso de trs proposies componentes, temos: Pl000l =


O
-A
d

Pl100l = O

'P

pq mqY

arco

lqttm'
___

w'qY+h**DYl O
_|_ _ __ __1-uinq _!-lu-rm

Pioo1i=
V, P(010l =

Piio1i=
P(110l = Pl111l=

O
ni-

ui-I

1
-*OOO
Q.-aa.-a-.L -\@@-.L @-A

1 i
o_\

l
l

P011l=1 V,

__O O C
O

P(000,001,010,011,100,101,110,111) = 01110010.

/J'

T "J"`" procedendo de manea anwga ao exempm anteor' temos:

Fazendo V = {000,001,010,011,100,101,110,111}, ou seja, V o conjun toxde todos os valores possiveis de serem assumidos pelas proposioes componen tes de P(p,q,rl, mediante raciocinio anlogo ao caso de P(p,q), temos:

P(00l =
Pl01l =

HmmdW-*{Q0@..s. .-s Q

P(10l =
P(11l ==

ou P(00,01,1 0,1 1) = 1110.

Ento, a tabela-verdade de P(p,q,rl uma aplicao de V em {0,1}.

\./\/\f\I"\-'

) 49 Exemplo: _ V P _ __ Cn5tr" a tabla`l'e'dade da p"p5'ap(p'q) = ip __> q) . (q _, r) _, (D ___., r _ ' )

Eno, determinar P(O0,01,10,11) consiste em construir a tabela_verdade para a proposio dada e responder na forma indicada nos exemplos dados. 40 H outros mtodos para construo de tabelas-verdade, porm nos restringiremos ao mtodo utilizado nos exemplos dados. _ ' f P

) l

41

Soluao.
F

III

O
_ ___

2, Determinar P(00,01,10,11l em cada um dos seguintes casos

rf

_ __

fi

',f**."*frr>r<iHall*fl lp-*l'<efl:*lf**'l 1 i

.__ __ __

__

__

_.

_zzzz

M1

el bl el dl el

Pim) Pim) Plan) P(p,q) Pliml

= = = = =

lD'--ql' ri' +<i -+ i lp +il - lp ql' (D q'l + lp' ql (lp +ql lp' +q

ii

Determinar P(000,001,010 011 100101 110111) em cada um dos seguintes


035052 -r CDOC3O O - -*DCD -*O-*O-*C3
QQ-a_. . .
-Q-zh-O. . _

-/. ./\uf'rud-./

-.@_. . . . \

DO-*O- e-

-.. _. .n

Q-Igl

-ni-J
F

Q _;

-I-L

O -\

ca -

O -*

al P(p,q,rl = is ' r'-- q' bl P(i.q.rl = p ri -+(p+r cl PlD.q.rl = ln +q'l' lp' +rl
. I I
I

Determinar P(101l em cada um dos seguintes casos Neste caso, temos:


P(000l = P(001l'= P(010l = P(011l =P(100l=P(101l=P(110l=P(111l=1,
. /\nd'\| /\|i/-z./

al Plp.i.rl = 0' + lq r'l

bl P(p,q,rl = ln + r'l - la + r'l


cl P(p,q,rl = lr - lp + q'll ' lr' + lp
dl P(p,q,rl = ln + (Q -> r'll lp' + f - Cl
Sabendo. que Vlpl = V(rl = 1 e V(q) = Vlsl = 0 determinar o valor logico de cada uma das proposies:

P(ooo,oo1,o1o,o11,1oo,1o1,11o,111=11111111.

Quando o valor lgico de uma proposio composta for sempre a verdade (1),: quaisquer que sejam os valores lgicos das proposies componentes, temos uma tautologia. Quando o valor lgico de uma proposio composta for sempre a falsidade (0), temos uma contradio. E, finalmente, quando na tabela-verdade de uma proposio composta ocorrem os valores 0 e 1, temos uma continnca ou indeterminao. _

al ia ' ri - r ' s'

bi ie'--=i--iz.-f-i

cl D-->q'-+lD+rls dl lp'qllrsl--D+s
Sabendo que os valores lgicos das proposioes p q, r e s sao, respectivamente 1, 1, O e 0, determinar o valor lgico de cada uma das proposioes

EXE RCCIOS
1. Construir as tabelas-verdade das proposies seguintes: al lD'l'l'
`\r/ \-..~ \"I/

al D--ri+-+rl-->r
bl l(D+sl (`s+rll'

bl lo-->i'l'
cl P'Q-->P+q

cl lr-->Dl--+lD--rl
dl lp--rl--lD'-r'l
Dizer quais as proposies que satisfazem s tabelas verdade abaixo
Qi

dl is'--li-il
el ln-'>ql-~iq fl ai*-+ai" ia

sl li+-:i'l--ri+i= hl lr<-q'l---p'-q
l D"I"---q+r

bl

cl

jl p---r-q+r'
ll p--(p--|"l---q+r

ml lD+q-rl+lD'<-l>q+r'l

p +q

Ap +q'

A;p-- q

Bariri

Brp--*ri

BIG*-*P

11. Determinar quais das seguintes proposioes so tautologias, contradioes ou contingncias:

pr-ra
qi>p

C=r'--*ri
D:p'q

C=i><-*ri
D:p'<->q'

nenhuma delas.

E: nenhuma delas.

E: nenhuma delas.

alD'_*(D'_'>ql bl p'+q-*lp-*~>ql el na->lq_>lq-*roll dl (lp-rol*-*ql-rn

8 Determinar as proposies compostas por conjuno que satisfazem a cada uma s das tabelas verdade indicadas.

el i+<i'_+lr-+q'l
fl i1'+q'--*lp--ral' el D->li=+cil+r hl pq-->lp+->ri+rl
il lCl_*Dl*>lD**Cil

l
L p ,ql A l B
CD

C W D

E _

_.
CD

--ioo

-l

i
CD
' '7"____ __ __,iun, '

._. ._. QI-

CD -*-e _

CDC3 -e CD 1

(3 _ _. _;

9 Determinar as proposies compostas por disjuno que satisfazem a cada uma das tabelas verdade indicadas.
_ _ JI' '' ' LY

-. \. /\uv\u/\_.

+___ __ _-+-

l
L ___ zi

1
___ --

P
*___

Al

B i C

i... zA-4 _ . .@. . @3 -ih _;


4 _ __ lF

l_

3 Q -L _; _Q

C) _; ._-s

_i______

CDCD CD -^

.___ _ _

@ -.L -.L-.ni

CD -*

xl

L___

10 Determinar as proposies compostas por condicional que satisfazem a cada uma das tabelas verdade indicadas.
"notre ff
T
___ __ _ _ 'ff

r
___

rf*
____*"

1
rbd ._

AT B i
__i______

Cl DT E
zl

__.___jJ

_-AQQ

-.@. .@

O -A. __;. ab ir -__ -_

CDCDCD -e
Lie -1_.

@ -A_; ._

CDCD CD -4

@ -a - -li

i
nl
l

Exemplo:
1 ff* '_ 'ff *___ *_ *mf 7 _

il

po

p__

)
X
l

fl

Reloes de lmplicoo e de qu|vo|enc|o


I A 0

No ocorre a alternativa 10 entrepeq->p.

I.__s__JL_...- "lr

- *O-IO

-s-. @. -1

Neste caso, dizemos que existe uma relao entre as proposies p e q --> p. Examinaremos as relaes simples (quando uma alternativa no ocorre) e as relaes duplas (quando duas alternativas no ocorrem).

4.2 RELAO DE IMPLICAO


O estudo das relaes de implicao e de equivalncia, de grande importncia na Lgica, ser feito de maneira suscinta, como convm ao nosso estudo. Antes, porm, definiremos alguns conceitos introdutrios. Diz-se que uma proposio p implica uma proposio q quando, em suas tabelas-verdade, no ocorre 10 (nessa ordem!). Nota:'o: p -i> q.

-. \-/ . ~. /_/

4.1 DEFINIES
a) Duas proposioes sao ditas independentes quando, em suas tabelas-verdade, ocorrem as quatro alternativas. L Exemplo:
_

l
l

Observaao importante: ` No confundir os smbolos --> e -L->, pois, enquanto o primeiro representa uma operaao entre proposies dando origem a uma nova proposio. o segundo_ indica apenas uma relao entre duas proposies dadas. Exemplo: Verificar se p i q --> p. Soluo:

) )
\

ne]

l -=`OC> m...

3
1

Q r fl-.
-- *Q

i
1

fl
\ ll \ l

31.

'__

bl Dizemos que duas proposies so dependentes quando, em* suas tabelas-verdade, uma ou mais alternativas no ocorrem.

Comparando as tabelas-verdade p e q -~ p, verificamos que no ocorre 10 (nessa ordemll numa mesma linha. Portanto: p q -- p. .`

) J

4.3 RELAO DE EQUIVALNCIA

46

Diz-se que uma proposio p equivalente a uma proposio q quando, em suas tabelas-verdade, no ocorrem 10 nem 07.

Natao p <;:> q
Observaco importante

al D + Q :> fi + D.
b) p _ q <___:> q _ p.

Leis comutativas:

Vale para os simbolos <--r e <--=--> a mesma observao feita para

,e..__

al

,_

ii

1li+qli+i
l

__

emplo uo

Verificar se p

q <`;> (p + q 'l'

p+q

ln +ril _

--c:o,
-L .

_\o_Lz L* L-

bl Verificar como exerccio


- *CDO
_;

CD--*O
. . .

OOC3
_;

@-. . .

_@_|.

. -. . . .

DOO

Leis associativas:

CJ

. .ai

a)i>+lq+rl<-%~>lir+ql+r

Comparando as tabelas verdade de p q e (D + GI l VflfICm0S Cl'-ie 030 orre 10 nem 01 numa mesma linha Portanto p q <----'"'_'> (D + Q l' De maneira pratica, verifica se que duas proposioes dadas sao equivalentes qfando suas tabelas verdade forem iguais

bin-lqrl.#>li>'ci)-r ._ ,__ __ +r '' al L p


"'
I ___, m7' ' i

+ q+r)

p+q

(p+q +r

T""T

__

ll
l

i i l

if

4 4 EouivAi.ivciAs NoTvEis
l

l
"l

-SQ-\-.Le-@
l _,

pla negao

(D l <-'=> p

- o - o -c-:-:-:. L_i__a l
-'^-* CDOCDCD

I-cz

cinilu uiwnl -unc

\-/

b)_ Verificar como exercicio


1 _ J

Leis de De Morgan:

is idempotentes
3)

al ln i`l'<=> P' +q'bl lir+ql'<==> 0' ' Qi al +i


-- oc:
-*O-*CD
@@-L -@-A

*-. /\-/\./

ln i<==>i:

-D1,q._l.. ' '

ln ql

-*DOO

bl Verificar como exercicio

Leis distributivas

Destas tabelas tiramos as seguintes equivalncias notveis:

alp l<i+rl%>li> ql+(p l blp+m rM%=$%p+qllp+n


'O zz..i

lp -- ql i> iq' --> D'l iq _> pl <-_-=> ln' --> Ci'). E


O O O

T
nf

E
ca
O

I
o
n_I

q+r
o
-nl

lq+r)
--_...

4 5 PROPRIEDADES
A condio necessria e suficiente para que p > q que o condicional p - q seja uma tautologia.

o
CDO
1__

O C)

\...../

zin-L

--o

._.i_

xlanl

OC)

QDO

DOO

CJOCD

Demonstrao: A condio necessria: (p > ql -- (p -1-I- ql.

. ._.<5
lu-lnnl

--oo

-*O- IO

. -. . @

- -c:o

_o_o

Se p > q, no ocorre 10, logo o condicional p _- q uma tautologia.


I:-ai-.._@

A condio suficiente: (p -L- q) _- (p > ql. bl Verificar como exercicio


_/\- /- N./\.

Se p -T- q, no ocorre em sua tabela-verdade a alternativa 10; logo, (q -- p


p "-"'---> q. c.q.d.

Bicondicional p +-+ q <~> (p -- q

p-Hi D--<i

i-+0 ln-ql (ci--r

bl A condio necessria e suficiente para que p i> q que p <--> q seja uma tautologia. Demonstraoanloga anterior.

-*OO
_

Q..-a. .
i

.QQ-in

EXERCCIOS
_

Condicionais 6 b c) d P '_> Q q -- p (contrapositivo) q -- p (reciproca do condicional) p' --> q (reciproca do contrapositivol

Dizer se entre as seguintes proposies l'r~impIicao ou equivalncia quando tomadas aos pares.

blq--+0'
c p--q

dlq'+i2> elo Q
Mostrar que:
a) q _ p --- q

qn-me-->p ri---ip--=i

bl ql=>i'=i<->-r
--oo -~o- c:i
__

o:- _ _

cado-
7 77 f _ _p

C D<->q' no implica p'-- q' d) pno implica p ' q el D+Q=l$p

Verificar mediante tabelas-verdade as seguintes equivalncias:

g) Contrapositivoz

z i+''<-=>i=+f,
bi (lp ' q'l'l' ) p ' '
C) f'f'>I"

D' --> (Ci ' rl' (D + ql --> r'

1 5
l l

(iv--><1l--lr--sl'
h) Condicional:

dli='i'+i'q'<P'<l'
3) (p'+q)'_e>I<1l'l'D'l' f) p+q'-r<>C|"f+P
g)p.(q+pl<_>D

D'--~ lq rl' D + (ci -- rl lp' + fil'


il B icondicional:

l l
\ \

hip+li'ql%>P
i) i:<->iJ'<1<-""-_'->D--*Cl
) q<_-p+q<>D-'*Q _

lln'-~>q'l - l1i'_ i'll


llp' ql -~r'l ' lr'---(r si (r+~<i'l

miip.-ql+lD-->fl<=-'f"->D--"*Q+f
nl ID---ql-->l'>l>'f'-"'*fl' Dada; as proposies abaixo, escrever as proposies equivalentes usando as equivalncias notveis indicadas. al Dupla ne93

ii ip-~ql~li-->fl<-:->i>-"'*'

) l
l.
E J

(lp +1l'l' lli" q'l'l'


P ' Q

) )
\

l ,i

bl Leis idempotentes:

P' +<i'

ip..- ql + (D--*ql

(ip--<i)'~ lp-+ql'l'
C) Leis comutativas:

lp' ' ql + "


ls' rl ' IP*_-'*5l'
(p --+ Sl ' Ip 'I' fl

) 3 i ) )

d) Leis de De Morgan:

(ip + q) - (r -- sl'l

lo' + I'l'

lo --> ql ' f'


Q) Leis associativas:
r + IP' +q'l
pr (If-->S) I$+rll'

\/ -~. ._/

/ i )

iip+q) - lp-rl) ' lD+sl


f) Leis distributivas: s' ' lp' + ql '

p+iiq- fr- ir-sll

l i
J

19 Exemplo:

Testar a validade do argumento: p ~-- q , q, pSoluo:

5
Argumento \/dlido
51 DEFINIO
Chama-se argumento vlido toda seqncia de proposies pj , pz, .. ., pn+1 . n E N, na qual sempre queas premisms pj, p, , ..., pn so verdadeiras a concluso pn+1 tambm verdade e tal que a conjuno das n primeiras implica a ltima, `

Temos:

p:p--q l323Cl P330 V

Devemos verificar se nas condies da definio, pl pg > p3, isto :

lp ~~> fil 'Q D?


i
Procedendo conforme o critrio j estabelecido, temos:

u Q lp-:lol

l-ig;-ql-ql P

|_
P1' P2 ' Pa '

1___ o|
_\@ Q _.

' Dn > Pn+1i

I
-*O-*O
-.\@.- .n. . _@_@

Ento, para testar a validade de um argumento, procede-se da seguinte ma) ) ) l al constri-se a tabela-verdade de pj pz p3 ' - pn; tb) constri-se a tabela-verdade de pn+1 ; V Cl comparam-se as tabelas: se na mesma linha ocorrer 10 (nesta ordemll, no h implicao (m) e o argumento falho; se na mesma linha no ocorrer 10, haver implicao (il e o argumento vl ido. Observao. A seqncia das proposies pode apresentar-se nas seguintes formas:
P1

` Na 29 linha, as premissas so verdadeiras e a concluso falsa. Na 4% linha, as premissas e a concluso so verdadeiras. A 2? linha contradiz a definio de validade: sempre que as premissas so verdadeiras, a concluso deve ser verdadeira. Ocorre 10. Portanto, (p-ql. qgp e o argumento falho. _ ` O leitor deve ter notado na tabela a repetio da coluna correspondente ltima proposio da seqncia p , para evitar que, na verificao da ocorrncia ou no, numa mesma linha, dos valores 10, no se incorra em erro, verificando a implicao:

P2
Pa'
p1rp2rp3r 'rpr pI'II'1

i@ii--ii-q
em vez de verificar:

Dn

lo _ ql ' Q $> o
que seria a forma correta.

Dn+1

1
2.0 Exemplo: ~ Modus Tollens (MT):

l
sl

Testar a validade do argumento:


p+q
pl'

D -r Ci . fi' a implicao: (p -~~ ql ' q' > p'. --T-.

.. q

Adio (Al: __..__ D ,q . E a implicaaoz ri >


D . _ ...

l `i \ D + Ci .
l.
\i

Soluo: Devemos verificar se nas condies da denio:

Simplificao IS):

lD+Cll' D'>q p q Construindoas tabelas-verdade correspondentes, temos: Silogismo Hipottico (SH):


p-H'q|qr

E a implicao: p q > p.

l
III

ri

ci

p'Z_i+q

lr+nli'

rzz.

. a implicao: (p -- q) (q _ r) 1) p -_ ,-_

) )
\ i i
I

--oo

._o-.@

@@_\. . .

-._\_@

OO-*O

Silogismo Disjuntivo (SD):


-.s@_@

--q-_. a implicao: (p +q) - p' > q.

D + CI. D

Neste argumento, somente a 29 linha tem ambas as premissas verdadeiras. Como a concluso tambm verdadeira, no ocorre 10. Portanto. (p+q) - p' => q e o argumento vlido.

Regras do Bicondicional (BIC): al D ~ pqiq fpzzz za


p-q

l l
I. i

p a implicao: (p-- q) - (q --p) ip -- q. zz z E a implicaao. p-q ---> (p-q)


_ _ _ _ _

5.2 REGRAS DE iNi=ERENciA


As regras de inferncia so argumentos vlidos (simples).

bl

(q-p).

Dilema Construtivo (DC):


Unio (U): a implicao: D ' q 1) p '_ q.
\. \./ .-./:._

Pi*

r q~zrz

"""'* i

sz

'I'

. a implicaao: (p -- q) (r - s) - (p + r) =>

..

Ji l i

---_->q+s.

Modus Ponens (MP): 56


P * qi P ----E---. a implicao: (p -_ q) ' p > q.

Dilema Destrutivo (DD):

/l

D--Hi. r---s. q'+s') *ef b. _, se - , a implicao: lp -- ql - lr _- sl " IQ' + s'l r"""'i> p' + r' ` 57

l J

J'

i
l

Dupla Negao (DN):

l pp l

ou (p,),. a implicaao: (p'l':;> p ou p > (p')'_ , p *


ii __

..

3. Dado o argumento: I
P* l"i

q 1 premissa
.
l

YPTTTP .
z
.___

l
l

premissa
~ ~~~

W"

conclusao (
~~~~~~z. zi
.

*CL

)
3 l

Regra da Absoro (RA):

I q f_-> p (p ._ q

~ __

zz

~~~~

?
?

i-i ----5 i-->lr'q

a implicao: p

i
1

1 ?
1 1 ? `

ii i

i)
J. I

_.. oo
l__ w____

- *O- *O

l l

__.. . @
_l

o--o
l __ _

Simplificao Disjuntiva (S+): -----E---. E a implicaao: (p+r) - (p+r') > p.


p+r: ' . . ...I

qual dos conjuntos de valores lgicos abaixo torna esse argumento vlido?

-me

.iAi 1 iaiz icil ioii


7 ' 1* ff ___ 4l.i~ff '___ fff ___

4).

EXE RCCIOS
\-/\/\-/\J

1. Testar a validade dos seguintes argumentos:


llll*-_>Q' blt--r,r',t+5,5
(3 Q; _. _;

) )
l

_---_.;-1.____._....

p+q' ii . ri

4. Mediante o uso de tabelas-verdade, testar a validade dos argumentos:

al ri --- D,
lr'l'

2. Dados os conjuntos de valores lgicos:

ii

iAi I' iai I* ici


\-/"f'\-i/x.

ioi

bl D--~q'

p+q i<-eq'

i
l
i

C)

rl'_______pr

CD CD -e
i

i
ea _
-. _-. .ro

lo' +ql'
L
O_. . |. _

CD

___

O-o- _

__

ql

qual deles torna o seguinte argumento vlido?


i T f' f 'f f *fea-

dl 6*-> (b +c), b -~>a', a'.

el (n+ql'.i1i->r.iJ+liD'->=il.<i+r '
_ l

premssal premissa ji concluso


.7 ?

fl ir->:i'.ri*-+r'.i>+r'.Ci'+f'
5. Dar os nomes de cada um dos seguintes argumentos:
al (C-i-dl'--~e _

-*OO

?
?

ici

-I-I-nl

58

HJ

. . @. . .@
___)

zz

_l

O z

_ i

__

_i=+_i' _
E

59

bl f-f->lb+dl (i:+;ii' f. ci lp ' q'l +lq - r') lp ' q'l' q'r'


dld'(a+b'l a+b' e) r'--+5'

ol la' *ut b'l + c l' -"-* b'l'


C

Dis'-"->lt'rl lt'rl
s 6. Completar cada um dos seguintes argumentos validos

al lr ' Dl "tm Q'

ls'l'
r fl la bl' c--->a

lq'l'
?

bl a---*lb-->c) ?
af

labl' lc-->a)

gl b-c
(b->c)+d' hl a_->b' A b'-->c a--->c i) (ai b) +c' (a ' b)+c
--_.--.__-..

cl la' b'l +(b ' c'l


?

ab'
d) (ar ___* br): + C:

ab il a-->lb--c)
3

e) a>(bc) ? a_-rd'

iz--i z
ll (a --~>c) + (d +9)

ld+el'
a--c

*-_./\i-/\

ml f"""-*liD+ql'

llo +il'l' _
r'
I'

i'

.`

nla c

'

._

61

19 Exemplo:

Provar s' dadas as premissas:


2. t --- q'

3. q' z s' Demonstrao:

Tecnicos Dedutivos
9"P9!Z"
m`.Q_.Q`1*"'

f|`-os

premissa premissa premissa Modus Ponens, 1 e 2 Modus Ponens, 3 e 4 c.q.d.

Justificao da passagem 4:

61 PROVA DIRETA
. -/\u/\-/\nu/

'I -_* Q'. I


'

Diz-se que uma proposio q formalmente dedutvel (conseqncia) de certas proposies dadas (premissas) quando e somente quando for possivel formar uma seqncia de proposies pj, pg, p3, pn de tal modo que: al Dn exatamente qq; E

s 4 ` `i ' s 29 Exemplo:

ou seja, (t --- q') - t > q', conforme se pode verificar pela lista das regras de inferncia

bl para qualquer valor de i (i = 1, 2,3, nl. Di ou uma das_premissas f ou constitui a concluso de um argumento vlido formado a partir das proposies que a precedem na seqncia.

Provar r + SI dadas as premissas: I- S ' Q


2.t--q'
3. t'---r.

Escreve-se
:__ ._._._>.____ . _;-__

Demonstrao:
I _

.D

P1

U! Ff

.D

P2

pf
Pn-1 Pnlll

ou iz.rz.i>z...-.Dn-1 l Pnlql-

ui.i x.ra-l.i _*m._'za_\di4

`l95$:"'$' -'
O0

r`:`_Qr-1;

+_:

5 m

Justificao das passagens: 4.


iefm4 .Lfblih'i:e.ltixA'1. 4f_u.z-o|'i.sr.-

premissa premissa premissa s,1 DN,4 MT,2 e 5 MP,,3 e 6 A, 7 c.q.d.

A proposio q no caso de ser formalmente dedutvel chama-se teorema e a seqncia formada chama-se prova ou demonstrao do teorema.
Vejamos alguns exemplos:

,ou seja,s 'q;>q

1*
zj*

5- -- cl). . ou seia. q '""~> lq'l'


q

63

1 I I
.,_ _

6. ----;-_- , ou seja, (t--q) - (q) _) tz

t ")' q r

ir

1 l

Im)
:.- - ,-za

Inicialmente, por razes de convenincia, passemos as proposies dadas P ara a forma simblica. Nosso roblema reduzir-se- ao se 9 uinte:

( )

7. -_-r-- , ou seja, lt -- rl

t'

ri

tt

t' > r.

fd'

Provar a dadas as premissas: 1. a'-_>b 2. b i>c 3. c'


Demonstra o :

I
8- --~. . OU Seia. r -> r + s. r+5
_
r v s!

_-

*-. ii .'-:-

z-

'E-5

Na indicao das regras de inferncia utilizadas na demonstrao de um teorema, MP 3 e 6 significam que a regra Modus Ponens foi aplicada entre as proposies de n95 3 e 6 da seqncia, o mesmo ocorrendo com as demais abreviaes. Observaes: 1
-i.

_: V
._

I*

'l

__; 1;;
I'

a'->b bn*-eo ,

V
'oo

'--

I '

D
MT, 2 e 3 MT,1 e 4 DN, 5 c.q.d.

al Qualquer tautologia pode ser incluida na seqncia aps qualquer proposio j colocada. ' De fato, seja oi uma proposio qualquer j escrita na seqncia e B uma tautologia. claro que o argumento ido, pois:

i
4

(a')'
ni 535-"':"'$^! I'^ cr

=i

_!

' 4.... 1:. -...J T.-115'

Q\

_
Of
.

< 2!:

sei
:' _

P
5
A 1
, `
`

49 Exemplo:
l

Provar a dadas as premissas:


a'>c

_- _:fizIv }
_; _ .gil

5*

I l no ocorre 10 (l _ '* '_ , -.-fi.

c--rm'
m+r i

:P'9!`:-*

'I

Demonstrao: . a' --> c . c -->m'


. m +r

i '
`

1 _
` ;

I
_

- ._.'z.i.zi. ...gi
.,. -- .si i,_1 'X
l7ifi"iif

bl Se oi for uma proposio j colocada na seqncia e (3 for outra sentena tal que [3 > oi, ento, seguindo-se a oi pode-se colocar B. De fato, sendo B > oi, temos: B <-> oi. Logo, ii oi pode entrar na seqncia por ser uma tautologia. Mas, -z-E--B-. Logo, or -B pode ser incluida na seqncia. E, finalmente, pode-se escrever B pela regra do Modus Ponens.
('24--a

_ _`_."_._ X __.-_

\. ._

__

. r' 3 (m'l'
_ c'

"C'U'U`C1

SD, 3e4

DN, 5
MT,2e6

(a')' opoin5.ni>w_io-
.v` _ ... ~ 11-..

MT,1 e 7
DN,8

c.q.d.

39 ExemPIo:

-.

6.2 PROVA coNoicioNAi.


H Seja provar cr--(i dadas as premissas p, , pz , p3, .:. , pn. Fazendo aconjun ao das premissas igual a P, trata-se de mostrar que valido o argumento' P 1+_ l oz --[i, isto : -:g__-;-B-. Trata-se de validar esse argumento. Ocorrendo a

Provar x = O dadas as seguintes premissas: 1_ X ; 0' ento' X = Y 2_ X z V, ento, X = Z 3. se z


~L 1..

65

validade, temos: P -T (oz -*Bi ou P ---> (oi *->). A letra grega 1' SODFB 0

-r

4.

(C')'

DN'3

si'mbolo do condicional indica tratar-se de uma tautologia. Princpio da Exportacao Para mostrar este princi'pio utilizaremos a equivalncia notvel : p -->q <=> <> p' + q. Ento, temos:

5-W
6' d: + (PT 7. d 8. c-->d'

M1164
De Morgan, 2 SD,5e6 PC 3a 7
c.q.d.

P-ll+ur-+5)=>e+4a-wn<=:>P~+m~+m<=in+
+ a') + [5 > (P ' oil' + [3 <> (P oz) --_*B. Portanto,,se P oi-*-*B for tautologia, isto , se P - oi B, ou seja, se for possivel deduzir B de P - oi, tambm ser uma tautologia a proposio equivalente e, portanto, P 15 la -"-* 5) dedutvel de P. Dessas consideraes, segue-se a tcnica da prova condicional: pa: ra demonstrar a validade do argumento cuja concluso tem forma condicional oi -143, introduz-se oi como premissa provisria (indicada por DD) e deduz-se B.

39 Exemplo: Provar a A-->b dadas as premissas:


1. 3+]--+9
2. j___(gr.hr)

a+b
Demonstrao :
1. 3 +j'-->g 2lg' ' l'I') p p

19 Exemplo:
1

Provar r --~> p z dadas as premissas:

1.0*-*Q
2. r _->q'

3. j+b
4. a g
5. 3 +j

p
pp
A' 4

Demonstrao:
D"'_'*Cl
.__-..)q"

P
p

A9
7- ""`*(9 *hr
9- [(9 + h)']'

Meias
EquivaIncia,2

'

9i91z=-.i.-* -U_Q

PP MP, 2 e 3 . MT, 1 e 4 Prova Condicional de 3 a 5 c.q.d. `

&9+h

As

DN' 8

'Ui' 1Lb
12.a-->b

~~Mr7z9 soseio
PC,4a11 c.q.d.

29 Exemplo: Provar c -A-> d' dadas as premissas: 1. b -* c' 2. (d . b'-)' Demonstrao: 1. b ---fc'
2. ld b')'

6.3 PROVA BICONDICIONAL


I

A p r ova de um argumento cuia ' conclusao ~ e uma . .. da forma bicon. proposiao erlslfzlalsa 5; semelhante a prova condicional, com a diferenca de que feita partes istintas. Entao, dada uma proposio Q -- 5, prme,-O provase oz - ' PTOVG _ 59 5 __, oi, concluindo-se . . memo ez 3 5e9uir, pela validade do argu-

D
P'

66

3. c

r pp

Exemplo Provar a <-~+ v dadas as premissas:


't""'*8

Seja agora provar a a partir das premissas pl , pz, pg, ..., pn, seqncia essa que chamaremos P. Consideramos as premissas P e oi' e procuremos deduzir oi a partir delas, isto , vejamos se P - ai' i- oz. A proposio oz formalmente dedutvel de f Poi' se Poz'>a,isto,P'oi'-->a.Mas: 1' 'r P - oi' --- oi <> P ---> la' --> oz) (Principio da Exportao) Ora, essa ltima proposioconstitui uma tautologia se ocorrer a seguinte implicao: P > la' --Hx), isto ,Pi-- oi'--*cr
'U'O`U'U

2 v--*t
a"-*m 4 v+m'

Demonstraao: 1 t --:> a

1'C1 d'~fu~f ./~ ~.

v -- i
a --> m
v + m'

oi' -->cr<'L'> (a')' +ai>oz +a<=-> oi

.'.Pi--a e P' a'i--oi


3
rn V 3 -'-- V

pp
MP, 3 E 53

SD, 4 e 78
PC, 53, 78

Ento, para mostrar a validade de um argumento por prova ou demonstrao indireta, introduz-se a negao da conciuso como premissa provisria e deduz-se uma contradio (por exemplo: q ' q'). '

V 12

DPMP, 2 e 5b
MP, 1 e 6b

,
._ .il . I, .

19 Exemplo:
i ':.
| e .' :

Provar r dadas as premissas:

V-- 3

PC, 5b, 7b

-_
3 -- V

_..
U, 8a, 8b

~z~ -zz
Equivalncia, 9 c.q.d.

-~ -

=
1 1

1.p'--~r
2. r' _->q

ia-_-W) - (V-_-a)

.z\ur\ur\Id

3. lo ' ql'
Demonstrao:

i-fi .i ~ xi _ 5. j; ;.
- 2.' ' "'

.p'--->r
I__q

6 4 PROVA INDIRETA OU POR REDUO AO ABSURDO


Observamos, inicialmente, que de uma contradio pode-se dedLi2I' QUHQUEV proposiao De fato, seja a contradio p ' P' B 0! Uma Pf0D0$|0 CIUHQUGYTemos
ff _ ff _ ,nun-I

UTD
..

..,.
,. \._

_.

_ 1;

,_-

. .|._

v _.Ir *- " ..*. .Ii-

ql'

p
PD

PA
QE

MP, 2e4 De Morgan, 3


DN, 5 SD, 68 7

\. \-\|v\

-1.
C

~zz

'U

U5

'U

um

'U

um

'D

Un _,..,....

'D

11-

.. _ .,
1:*

""'+ __ -. .

oio O
-A

u,4e9
c.q.d.

MP,1e8

_. -___.

.4=~5~*i~'o'o_'o + Q
P1 Q

>5$"
cn

.=.r._

.*Pf~9 ."P91:'>$!'--'' U`--._- ,_Q-1_ _.-. -;

Prova indireta de 4 a 10

*ha-B.-b

.g _,

.U

-'

'~..~j.-.

J..

i-_.\j_' r

~_.

Observao:

. Da mesma forma como encon t ramos a contradi ao r ' r par Pf0V3" f P' I deremos encontrar a contradio q q' para provar p', como verem0S HO BemP 0 _ , ,_ .. da a seguir. Isto e, a contradiao procurada p ode envolver ou nao a n'\Sm3 letra proposio a ser provada.

. ...

_. l ,

n + 3 p _ q, n + 4'-D n + 5. q _,

n + 1' Ip __* q l' n + 2. (p' + q)'

pp
' + 2) De Morgan (n S ,n+ ( 3) S' (n + 3)
Equivalncia (n +1)

Exemplo: 29 Exemplo: Provar p' dadas as premissas:


l r
-1

Provar r --.+ q' dadas as premissas


1. r'+s'

1+
$'!:"
\

2. q-->s
"

.o-o_o
~

Demonstrao.:
P D DD
I' "'

Demonstraao:

'U'U`O

l+ Q___
' -1 aq.

'9I`*'9*9":'*$^!' ." 'c. :'oi_5-.oD1'D: _-D_

DP DN,4 MP,2e5 SD,1e~6 U,3e7 Pl,4a8 c.q.d.

.;

ri

DP DN,3 SD,1e5
MT,6e2

'I

.I _'

~ .

15 '_

.5= s=:~'s= s.=.~os .oi`>:f-_-;:3~.o_

...~

l-L ir: ~f n__U.

DN,4 U,8e7 Pl,3a9 c.q.d

6.5 PROVA INDIRETA DA FORMA CONDICIONAL )

"

l l

EXE RCCIOS
-1. ` Provar t' dadas as premissas: 1 p ___) S '

Sa provisria (ppl. a seguir lp' + ql iwf eqivalsi E (P ' Q l


H T

. - = E ndicioPara provar a validade de um argumento cuja conclusao e da ffm 0 ._ ' remis- 1 nal (p --> q) mediante a demonstrao indireta, usamos (P "_* Q) m P . .. . . .. '-

$9'"d 5 dm'

3. 5 - r -- r'
4. q ---> r 2. Provar s dadas as premissas:
1. t --> r 2. r'
.' ';_z'.

2. D ' CI

p, q'. Na prtica, comeamos pela hiptese (H) e pela negao da GSE IT) m premissas provisrias: Provar:
I' 4'

-.'

-'_

._ ' -

.':'\_ .iza, r_.-

.'=

._

P "'*"*I Q 3.

1. 2.

3. t+s Provar t s dadas as premissas: 1. e--*s

P
.
70 kn..

2. :'-j'
3.e'j 7I

_.~_ .

__

J'
.

-'IL z_`

_-fi ,,..:I_ " _' _.

Provar s dadas as premissas:

_-_

.s

11-

1- P-_-*Q'f
2.p 3.t-->q' 4. t+s Provar r + s' dadas as premissas:
1. s'q

-z'_-`-7.' :_
,___ -

PfV3f ' dadas 35 Pfem'5535 1. t-->s 2.f-->t 3. s+f Provar e + m dadas as premissas
1. s+r

2. s--->e'
3. r-->m

2.t>q' 3. t'--->r

Provar (t + sl dadas as premissas 1. r'+b' 2. t+s-->r 3. b+s )

Provar x + y = 5 dadas as premissas:

1. 3+y=i1--'3=9
2. (3=9--+3+y=11)<->y=2 3. y=f=2 ou +y=5 Utilizando a demonstrao condicional:

4. t'
Utilizando a demonstrao indireta do condicional Provar p -> q dadas as premissas

Provar a - h dadas as premissas:


1. a+f--->g

1. lr_>-i +r
2. s+t-->r'
3.s+(t

.2-i-->9'h'
3.] Provar t + s' --> r dadas as premissas: 1. r' -+ q 2. t' 1 3. s' --> q' Provar q' --> t dadas as premissas: 1. s ---> r 2. s+pi
_ ___-'J i"_ _;

Provar p ---> q dadas as premissas 1. p ---> q + r 2. r'


5,. -_ . ._ -_; T_ __ -_ __ f,. ___=, _-. -_ : * _

.Provar p ---> s dadas as premissas

1. lp--*ci + r S
2.q )

Utilizando um mtodo dedutrvo de sua escolha


Provar p _-> q dadas as premissas
1- P ' q '""`* V' 'I' 5' 1

3.i--*Q
4. r-rt Utilizando a demonstrao indireta: Provary = 2---> x =y dadas as premissas 1. #=y--->>y ou y> 2.ya'=2 ou =2 E 3. x>y ou y>x-_>#=2
_ ` n E __ _*

2. r ' s Provar p --> r' dadas as premissas

1.r+<i
2. r'+q

3 1
'i _.|

Provar s' dadas as premissas:


fr ;

1. p+q

2. s--->p' 3
i

3. (q+r)'

1 2 3 4

a--->(b--->cl
(cd)*_>e

f*_*lb'd) lf"+a')'

`U`UU'U

Provar s' dadas as premissas:


I.

1. (p---*ql-"-* lr ' S_>tl

2. D ---> q ' r.
3.r

~i= =.
10 11 12 13 14 1 2
U`U'lDU'-" *

Provar 2x = 12 --* V = 4 dadas as premissas: 1. 2. 3. 4.


c_/"u|/\_ .z- /\i -.|/-/

2+3y=24 , (=6--y=4) ou 2=12 (2=12-->=6) ou 2x+3y24 a'=6

c d c'd e c.q.d

lp' i'l +(q r')


D-*S
s'+t
'O'U'O'U

Verificar, mediante as regras de inferncia, a validade dos seguintes argumenOS I

)
) 3
);_

al (se),e -_->g,s--->g

bl S-_*i1.D~_-:*lw+il.s'w'.i cl a-*u.u'+lb'i'l.b-+a.li"ta'l'+b.i*-'"* H'


Nas demonstraes abaixo, justificar as passagens indicadas. al 1.
2 3 4

.ss

._ . __ JT `.i. F' _ 1.-

Cl . qr)-f
mf-i_gz -`

'5cogo-io:u1.i>w -<=_t,__:_'o_..
4'
-'_ : _. ar'

) )
i .

c.q.d
P D PD

p_>i
r__i_+ql

P P

) )
__.

'lp' +5 'l' pf S

.~ .r

.=

1 lb' Cl'-->a' 2 a--ib'-ai 3 a 4 b'-a


.

) )
)

o~.icnui m_o'crU'
(D@"~IO)J1 |_QO cn

c.q.d
b)1 i_>e" 2 (er: sr): 3 I 4 8+$ 5 ef S _ 6 D
_ p

J i J

c.q.d.

1 2 3 4 5. 6 7 8.

(a:______b|):+c

D
P P

c.q.d. _.

d'a + d'b'

c-->(d--b) d'la+b'l
a+b' a'-_->b' c d-->b

-4

9. d 10. b 11. a
E
_

c.q.d.
z

I.

b'-->a'
b-*~>(c+d)
pp

7
Fluxogromos
c.q.d.
~./;d "'|l,._f' _-.

CL..

<g0-.|O7U'1-lrt.-J[.\ z-'

.cw--_')d QI_,. . _3o.1""c_:_U-QJQ

hi

1. r-->(i>+il'
2. s-*D 3. (s -_* i"l'
_ (5' +.r.')'

_ O fluxograma constitui um mtodo alternativo para as tabelas-verdade na verificao da validade de um argumento, no qual se ilustra o raciocinio utilizado. Neste mtodo, para verificao da validade de um argumento ou prova de um teorema, procede-se da seguinte maneira: 1. consideram-se as premissas verdadeiras;

1 _)

-E-qi'
zl

-. 11
_, ,.. --.=. _'i _5` Irr '-

o o ;~1D$1-P*

'_; '= "'Z '

QE

% 1* '* Y.-L
T*
:' "I`

11. p'
12. s--rf' i)1.a--'>(b"'"*Cl 2.(a-dl+l"l p p c.q.d.

"
'

2. aplicam-se as definies dos conectivos lgicos para determinar o valor lgico da concluso que dever ser a verdade (1), para que o argumento seja vlido ou o teorema provado; Caso ocorram situaes em que no se possa determinar o valor lgico da concluso, ou em que O = 1 (contradio), o argumento falho. O teste de validade de argumentos ou prova de teoremas mediante o uso do fluxograma pode ser feito pelo mtodo direto ou indireto, obedecendo s particularidades de cada uma das tcnicas dedutivas j estudadas. Vejamos alguns exemplos.

:__ \_'*' z.

'fl
1.-..' "

3. lb'+dl'1
4. a' ld+)

sl
O

9.`*97S" cri crr

9.c` 10. d +e 11. d' 12. e 13. c - e

19 Exemplo:

/l 1 _)

Provar p' dadas as premissas:

ll

1-D-*fi
2. q' c.q.d

Jl

14. ib'+di'-->l= el

'l Ji

/l
I

Solu30:

' .'..:a-_-.
LJ.. .L

Jusziffca. Consideramos as premissas verdadeiras fazendo a -*> b -I-' 1 e a' = 1, . Como a' = 1, pela negao, a = 0. .Levandoa =0em a--b = 1, temos:0 b= 1. _ No podemos concluir se b verdadeira ou falsa, pois, pela definio de d00a|. '-'* 1 = 1 6 0 -_* O = 1. Se b pode ser verdadeira ou falsa, ento a concluso b' pode tambm ser .verdadeira ou falsa e, portanto, o argumento falho. _ 39 Exemplo: Provar q' dadas as premissas:
I. p + q'

zc. /wi/'*\l -/~/~_

l r' 1 I
_

.
Justificao'
. /\\`In /

2. p--*r 3. r' Soluo


_ W '__I; *rf

1. 2. 3. 4. 5.

Consideramos as premissas verdadeiras fazendo p -* Q = 1 0 Q' = 1Como q' = 1, pela negao temos: q = 0. 1 Levandoq =0em p--->q =1.tem0SiP'_*0=lPela definio de condicional p --~> 0 = 1 se e somente se P = 0A Como p = 0, temos p' = 1, o que mostra ser vlido o argumento, pois premissas verdadeiras conduzem a uma concluso verdadeira.

2 Exemplo: Testar a validade do argumento:


._

O
_

a_______b'_aI'b!

1
Justificao .'

Soluo

78

12. -

1 _ _ . _

2. 3. 4. 5. 6.

Consideramos as premissas verdadeiras, fazendo p +q'= 1, p --> r = 1 e r' = 1. Como r' = 1, por negao temos: r = 0. Levando r=0emp--->r=1,temos:p--> 0= 1. Pela definio de condicional p --+ O = 1 se e somente se p = 0. Fazendo p = 0 na premissa p + q' = 1, temos: O + q' = 1, . Pela definio de disjuno O + q' = 1 somente se q' = 1. Portanto, o argumento vlido.

.``

49 Exemplo:
Testar a validade do argumento:

Soluo _'
7 __ ._ 1 Inn 'mw ____ iu

DTCI. p+q .P

ii-nv

1.

I pi>q=1I

IlD'+Ql'=l

l
d=0
.p_=
__

Soluo :

2.

d+q= =0 I I

*~
2.
3.'

I |
I D=1 I q=1
1. E

3.

4.

1.*
,.

Ii ,;

1.
T pu-1

I. _ _ ___'

-1;

:L

5.
.-.
'L i

1-"">'O=1

~. /s*\ \1d~du
\.

.*'.i*':' 1.

4.

D+0 =1

".'9u -ui J

5.

l
Justificao: r

__ l_pi

i 5 s
,__ ni-

6.
}_

o=1

_
rc.

1- "

-ar 1. 4

` _ :_

Justificao: 1. Consideremos as premissas verdadeiras fazendo p .--> q = 1 0 lp' +


+q)'=1. '-

i
*if

1. Consideremos as premissas verdadeiras, fazendo p + q = 1 e p + q' = 1 2. Pela definio de disjuno, se p + q = 1, ento p = 1 ou q = 1. Se p = = 1, o argumento vlido, pois premissas verdadeiras levam a uma concluso verdadeira. 3-' 59 Cl = 1. substituindo na premissa p + q' = 1, temos: p + ,1' = 1 4. Pela negao, temos: p + O = 1. 5. Pela definio de disjuno, p + O = 1 somente se p = 1. Portanto, o argumento vlido, pois premissas verdadeiras levam a uma concluiso verdadeira.

'16

=i.

VT '-'z

P.-8 A,

.r

U*

l -2 I

2. 3. 4. 5. 6.

i
|;` .T

fi:
-ITQ:

1
_ 5.
I

,Z 'Tj ., __ z'. V_ '.

Pela negao, p' + q = O. Pela definio de disjun'o, se p' + q = O, ento p' = 0 e q = 0. Como p' = 0, pela negao temos: p = 1. Levando p = 1 e q = O na premissa'p -""* q = 1, temos: 1 --> 0 = 1. Pela definio de condicional 1 ----> O = 0. Considerando as premissas verdadeiras, chegamos a uma contradio. Portanto, o argumento falho.

\./' ' \ni|f\. /

-' -S * . J _..._i*._~ -

1 ,
'I

ff:

.-

69 Exemplo:

--.'
.

,'_._ ;_.

59 Exemplo:
1

Provar p' --> r dadas as premissas:


O I

Testar a validade do argumento

i zrilnsrm ....-I-P z

ea '
.

1.p+q
2. q--->r

Ii l _) ,I l Il
l

i->:1
(p+q) n
I'

. na _ ~- -'im _ f "=;;]'A

_.-`-7'
`-5 .-

i
~ ~

1 =

rf

Soluo: Como a concluso da forma condicional, consideramos o antecedente p' verdadeiro e procuraremos mostrar que o conseqente r verdadeiro.

i
_

c-rwiz .

wa.

mf_
_'""_^.___ --`?-.:-*

1?-f 1 '`

ji

_ -.I.1_' T' I..

., _' '_ -.
_' "

. za;-_ _

_;__:.

_-'1.f:-...

_. _ _ i.~1r_ ._

-ia

1.

p+

l li f il
1--)=

1.'

Ip+

q=1

Ip'-)q'=1|

2.

i=>'=
__):

2.

_/'~n if"f'*u/-1/-`-ni

3.

Ii
\

0]

3.

i~-z-ri

_)

4.

0+q=

4.

\
/ll

. `|

5. 6.

ci=1
1--->r=1
r=1

5.

6.

7.
-/lltf

7.

_)

)
) )

Justificao: 1. Consideremos as premissas verdadeiras fazendo p + q = 1 e q --> r = 1. 2. Consideremos verdadeiro o antecedente da concluso (premissa provisria), fazendo p' =_ 1. 3. Como p' = 1, pela negao, temos: p = 0. " 4. Levando p = 0 na premissa p + q = 1, temos O + q = 1. 5. Pela definio de disjuno, O + q_= 1 somente se q = 1. 6. Substituindoq =1 em q ---+ r=1,temos:1--- r = 1. 1 7. Pela definio de condicional, 1 --~> r = 1 somente se r = 1. Portanto, zi<?;: a concluso verdadeira, pois p' = 1 leva a r = 1 e 1 -* 1 = 1. No consideramos a possibilidade de a premissa provisria p' ser falsa, pois, Fse p' = 0, a concluso p' --> r seria verdadeira, isto , O ---> r = 1. ' ff _~
=' , __' ..z: ___
L .r .I _, _ \ ' ' _.

Justificao.:
1. 2. 3. 4. 5. 6. 7.

'z

~ " _t _ `__;
." 'Hr Z

T,

_-

ii )
) i
) J

alii

";'

z: ~.~-''. . _-: .z zsf: .ti 9.. -_ __

*Iv 1 f.

..

Consideremos as premissas verdadeiras fazendo p +q = 1 e p'---> q' = 1. Consideremos a concluso falsa (negao da concluso) fazendo p = O. Levando p = Oem p'_;q' = 1, temos: 0'--->q' = 1. Pela negao, temos: 1 --- q' = 1. Pela definio de condicional 1 ---> q' = 1 somente se q' = 1. Pela negao, q = 0. Fazendop=Oeq=0emp+q=1,temos:0+0=1. Usando a premissa provisria p = 0, chegamos contradio 0 + O = 1. Portanto, p = O eliminada, ficando a outra possibilidade p = 1 como soluao.

1 ) J
) i
_)

.-

_ _,_. .'.'.

79 Exemplo:

89 Exemplo Provar p dadas as premissas:


I. p+q
Us ~-''

Provar p dadas as premissas:

1.p+1
2. p'--+q'
._

Soluo.:
Usemos o mtodo indireto.

=' ~_' .s ' 3..

2. q-->r 3. r'

A *_ ' j * __ .1

) _) 82

_".';..A` e IP*-'
:,_.` ' _'\ _.;'. _; :-

Soluo:
Usemos o mtodo indireto.

~ z

. '

I; l.

_ i s
2.

i izz~zi i_+i
'

' l'*q='] l'*f='i


=
__ ,T

2.

pz___,,=0

3 4 5 6
Justificaao:
ni

3.

[1 -= il
.z. , _.. _,

i iT i
1 No

4.
5.

l l l
q- =1 q=0 I
i

~_/ui" '\J\ulu

6. 'n fii-' -'i .*-fia. _. . :.: '--_ 1 1. ... ;.`_= "2"-

'-_
'

' 'V . za :'-

=_`_'.'-"'.f

1. Consideremos as premissas verdadeiras fazendo P + Q = 1 Q


='1er'=1.

V=

1 l O +=1l
Justfca'o: 1. 2. 3. 4. 5. 6. 7. Consideremos as premissas verdadeiras. Consideremos a concluso falsa (negao da concluso). Pela definio de condicional p' --> r = O somente se p' = 1 e r == O. Pela negao, temos: p = 0. Fazendor=0emq--r~f1,temos:q--0= 1_ Pela definio de condicional q _-> 0 = 1 somente se q = 0. Substituindo p = Oeq = Oem p +q =1,tem05z0+0 =1_ Usando a premissa provisria p' --+ r = 0, chegamos a uma contrad50 + 0 = 1- POFHHO. D' -'_> r = 0 eliminada, ficando a outra possibilidade p' _-> r = 1 como soluo.

Consideremos a concluso falsa, fazendo p = 0. Fazendop=0emp+q=1,temos:0+q= 1 . ela definio de disjuno 0 + q = 1 Smee 50 Q = 1'UTIela negao, r = 0. <s.es != Substituindo q = 1 e r = O em q -_-> r =1,temos:1_"> 0.=~1. Usando a premissa provisria p = 0, cheQams C0f3dla0 1 '"""`* --+ 0 =1. Portanto, p = 0 eliminada ficando a outra possibilidade p = 1 C0m0 .. soluao. 9 Exemplo.
" '

_ ._ 3

z I:
:z' --._ ~_~ '_' : 'T Qi :"--' :. .'_,UI -'__" ''^, ._ '-.';_i-'.L '__ ____,

fi`1f_'?z'- "-.i.''fs'-_'-z;z_'.-z.f~l!.11; _.'-.f:'-.;"'-:i:,.f"z.'Jf 1-',z-_1,; -.}.


'=-'

-.'.~+-.=.-z '

_.. .fm . J- '

' xz

';=:2":`i-: ii; ., _:__ _,-. lb. * ' _. _' .'-- 'mr'- "__ `-_`: 'if'

1-; r.
1

)
.J

.
"*="_""

,.
_i|

_ __
'

.iz. lr. . 11 i. .

'ir

23'

a.

-'- -_ *Li _-I-:

..'-,

-J'_

' - '._31'.f-'~ E-_~.__ 1-. -zw -

1
z_Q ,1.
r_ '

)
)

._
_.:-_-.._ .fiz 1.
___,.; _

Provar p' --> r dadas as premSSSI

1-p+q
2. q-->r s0U,0'_

:i _ .._;_ _.. _'_.:_ H _- z.z`"j _' z _~- . ...f _=

-f~

`-__'4.' _-' _'

Exencfcios
1

>J
1.
J

1.
_`_ _z _; .f -:. 3; .___ ' '*1._-. *gi _. ._ _..__. ..Z_ . _ .,;. '__ a L ' ^ ._l _-~ ,__. L. .'~r._

Testar a validade dos argumentos abaixo, mediante o uso de fluxogramas.

Usemoso mtodo indireto.

_. _

al =i_*ir'.lr'l'.q' bl p_->q'. D'q.q p +q.<i-->r'.p'


d) a_*"*b,(C'+b)',c'--a'
3) p + fl, p -i->' ql q --i-) |" 5: r'

.l
_
}

_. -,~__

1,1 -I z`, ..,;' . TH ' ..' ^ I

-_ _-.

._

'

. A
lei,

.ff

".' '_ I' -.' '_

84

.._.__..._ _.. .;.:'c

,.._ _._-i . _ -._ __ .S _._+.', - _ . '_..__ _! 9;


'_"_-.'"`-`"

flip ___* Gi + r r'_*_ s. 5+ qq


g)1+=1-->=0

9 m en 1 os a b aixo corresponde o fluxograma? Aqualdosaru a a ---b b+c


iii...-._

2x=#O-->1+x=#1 2 Mostre atraves do fluxograma, usando os metodos direto e indireto, que o argumento abaixo tem premissas contraditorias D ""* Cl
I

#0ou2-0

a
-

, b+C

C 3 "_"*b

(fl nenhum dele;

b+c
-ii.-

a'--)*b=

C:

Jg,

Mostre atraves do fluxograma usando os mtodos direto e indireto que o argumento abaixo nao contm informaoes suficientes para deduzir a con cluso

p'-*Q q+rl p S
4 Dados os argumentos abaixo, a qual deles corresponde o fluxograma?
a"__-+1:

P' 1 Cl'

bl

p +

dl nenhum deles

P'"*q

D'--*Q

P'-*Q q:_____p

-.

ii

O ua Ifl uxograma corresponde ao argumento p+q q r pp

i=
`U__ ex

=
-1.

if'

` '

4 ' '..i.:.

_~ ,1

T
) ) ) ) )

ii

)P+ci'=1 q'=1 W

1
. T ' 'ii _ -.if - . '__ "i___ -* ..r_%
;
_. * "`

--1 -nlE _*-C

-=-s

"4.z

-I._._.

vi-_-_._ .;_.'______ah.
* l=in

l=' 1
1 s

lis*

.~__v _ ,_ _ ___`_ _n}' '

._=__ *__ '-

Quontificodores
vu' vv uv -v
1

_.

_. ...g 1
__ tz -- .__

._ -.3_. ;r'

\._-, .___ _ 1) x _- W,
-_

.s.Yxi. \.'. . "'=\ _ :__ '_-._z. _ :i *'5!\. _ J'


_' z__~ :

8.1

SENTENA ABERTA
)

z * .1 ~-'2 _1"'.i ~._-:_ ._ _


;

Sejam as proposioes:
' . -r_ _- e'_

p:3+5~.11, V(p)=1 q: x + 5 Q 11, V(q) = ?

sr
, if .. .:: ' _\. !__=j-__"_l-r

..._ ___
-_

'Q

.ii _:_.; '

- E. 'I-;"

.-1 Ei iz

d) nenhum deles.
ii Jz _

A proposio p, como podemos ver, verdadeira, ao passo que nada podemos afirmar sobre o valor lgico na proposio q Vlq), que somente ser conhecido quando x for identificado. Neste caso, dizemos que a proposio q uma sentena aberta ou funo proposcional. Nas sentenas abertas, os simbolos x, y, X e outros sao chamados variaiveis.

) ) ) ) ) )
)
)

% P

." |,.r_ ._ __-z_ _L__`- _.. . 7_"Pi - ._.`:__* _. _:.P_f_l"__. K -V_-' ':E "z.. Y_' .___ :z ';-_-' \~-'.___~` _"" -: '' *fa1,13' `-_ -_ 1 -._`l '_ `-'1' ' V2'` .,.i . .",..

1--

VV \s-

Chamamos conjunto universo (da varivel) ao conjunto das possibilidades lgicas que podem substtuir a varivel na sentena. Denotaremos este conjunto por U. Cada elemento de U chama-se valor da varivel. U s vezes tacitamente imposto pelo contexto, mas pode tambm ser escolhido pelo agente de estudo em questo.

_.- _ __ '_ . '13


1 _ ._ __ ._ _ .I __ _" _ :_ ai

fi\

-'

:~:

-H???-|_'_

-z

sr 1 ,. 5

Ji; -' ~\'_ _. __.

19 Exemplo:
Seja a sentena aberta: x + 5 Q 11. Podemos impor que o conjunto universo da varivel seja N ou Z ou Q ou R ouoconjuntoU= {1,3,5,7,...}. _ s 29 Exemplo: Seja a sentena aberta: O planeta X o maior planeta do Sistema Solar. O conjunto universo da varivel X , pelo contexto, dado pelo conjunto dos planetas conhecidos do Sistema Solar.

) ) )
). ) ) ) _) J
_)

1.-'e z.

rf
H'

_i.___ _. 4 L.

5:
F'
i. _ 11.

_;. z_

i-_;

st

f~1:z
`

_ ..'! -V g. ~.~'_ 'mz _ __ -:va 5

._ a. :__ __ _
*(1 .'_""
|,'. _.. _ .: _ ._

'_-._ -'-.rf _ is
Y $ 'U

1-- - .'Z' -5 +1 U

... fr

_.-

*mir

U() = {Mercurio Venus, Terra, Marte. JUPWGH 5aUm Uf3 Net" Plutao} CONJUNTO VERDADE (da sentena) e o conjunto dos valores da varivel para os quais a sentena e verdadeira Denotaremos este conjunto por V
././\'ur~/

A proposio Todo inteiro racional pode-se escrever: 1.~\+x,xZ-->xO.

v = {eu lvlplxll =1
onde p(x) e uma sentena aberta na variavel x

2. Para todo x, sexZ, ento xEQ. 3. Para todo x, sexZ, ento xEO. 4. Para cada x, sexZ, ento xE0. 5.-V-x(xZ-->xE0) 6. Qualquer que seja x, x E Z --> x E 0. 19 Exemplo: Escrever de maneira simblica a proposio: os nmeros do conjunto A so todos os reais. So/u"o:
R():x real

1 Exemplo

Dada 3 Sentena aberta + 5 < 11 x E Fl determinar seu conjunto verdade So/uco


V= {R lxs
. ,/\-f\'\ini/-. /

V-x(xEA<--x R) A() '~'= Filx) 1

29 Exemplo:

Simbolizar a proposio: Para todo x, se x real, ento x 6 0. 20 Exemplo O conjunto verdade da sentena aberta O planeta X e o maior planeta do Sistema Solar e
V = iJupiter}
~._/\|/%|f'\- /

.S`oIu'o: Q(x):x EO R(x): x real Vx (R(x) ---> Q(x)). 39 Exemplo: .

3 Exemplo Determinar o conjunto verdade das seguintes sentenas abertas


x+1= = x-5<13 U=

V-x(x2 20*-->xER)

8.3 QUANTIFICADOR EXISTENCIAL


I

Soiucoes aV=} = ___678

No caso de proposies que envolvem expresses do tipo "Existe", "H pelo menos um, Para ao menos um" e AIgum'_', usaremos o si7mboIo_'EI", chamado quantificador existencial, para exprimir o fato de que para um ou mais elementos de um dado conjunto a proposio Pix) verdadeira. Uma proposio do tipo Existe um x tal que P(x)" pode ser escrita simbolicamente: Elx, Pix). As seguintes proposies tm o mesmo significado: 3mxN. Existe um x tal que x G N. Algum nmero natural.
Existe pelo menos um nmero natural.

a 2 ouANTii=icAoo|=i uNivEi=isAi.
Usaremos o simbolo V chamado quantificador universal para exprimir

o fato de que para todo x em um dado conjunto a proposio P() 9 Verdade* ra' Uma proposicao do tipo 'Para todo x P() e simbolicamente repfeemada
por V x Pix)

19 Exemplo:

8.4 VALORES LGICOS DE SENTENAS QUANTIFICADAS A sentena Vx, P(x) verdadeira se e somente se o conjunto-verdade de P(x) e o conjunto universo forem iguais, isto , U = V e, falsa quando U as V. A tabela a seguir nos dar alguns exemplos do que acabamos de definir.
_17 '

I i
) i i

Escrever de maneira simblica a proposio: Existe x tal que x2 + 1 -_= 2x.


Soluo.: A

Piz2 +1 = 2`
Hx, P().

v.Pii _

'zfzz

u
{o}
{0,1} R i

*wii

vvv.Pii

'mw

29 Exemplo: Simbolizar a proposio: Existe x E O tal que 0 < x < 1. Soluo : x

v,=o
Vx,x=0 'Vx,2-x+1

{o}
{0} Fl l

1v,22+3+1=0

Piizo<<1,eo
Elx,xGQ,P(x). Osquantificadores podem aparecer juntos ou no, conforme mostramos nos exemplos abaixo.

_v,22+a+i=o

z.. `{-1} _

CDC?-*CD-\
' __ fr

_/*u fn-/\-f

A sentena Hx, P(x) verdadeira se e somente se o conjunto-verdade de P(x) no-vazio, ou seja, V #5 (D e falsa quando V = A Vejamos alguns exemplos atravs da tabela abaixo:

1.

) )
l l )

19 Exemplo:

Para todo x e para todo y, + y = y + x _ representada simbolicamente por:

Vxvy (x+V=Y+).
i

__zP<>
3x, x = O lx, x = O

UA/ _ V<HP<>l
f-*i

-Sl

r-^

{0,1}

{0}

29 Exemplo: Para todo x, existe um y tal que x < y, representa-se por: V x Bv. lx < y)
\

^_ax2-+1
3x,2x2+3x+1=0
_x,2x2+3x+1=0

R
N
Z_

l n j
O
-1 li
_D-.s-.L-4

) )
_l

39 Exemplo: Existe um x tal que para todo y, + y = O, representa-se simbolicamente por: 3x-VV, lx + V = 0)-

8.5 NEGAAO DE SENTENAS QUANTIFICADAS


Seja a sentena aberta P(x) e U = {a, b, c, d, rivel x. Ento, -Vx, P(x)<%--`* P(a) P(b) P(c) P(d) f .. o conjunto universo da va-

cw

) )

) >
/z

49 Exemplo:

A e sua negao dada por: (V x. P(x))'<'__=>(P(a) P(b) P(c) P(d) ' Pela lei de DeMorgan, (Vx,P())' 4% <-'-"'> lPla))'+(P(b))'+(P(C))'+(Pld))'+... Vx,(P(x))'.

) )

Existe um x e existe um y tal que xV irracional, escreve-se: Elx3Y. (xV G ll. 59 Exemplo: 92 _ _

)
| \ i

Para todo x, se x par, ento- existe um y tal que x = 2v, representada simbolicamente por:V x (x par -'-> Ely, x = 2V)-lk FIES

) i

._ _
_)

___ ' -*, ~: _, ._ z*~-`

_'

~ -z-- f. '?" ' _ -:ff . '-'_ `;1._-. z; .

Portanto: L( .V _ p())' <=-> z_|_ (p())~'1 Vejamos agora a que equivale a negao da sentena 3x, P(x) Temos: zf

i
_)

- 3 _.
_ z

3U5-' (V x, P(x))' <-f 3x, (P(x))' Existe pescador que no mentiroso.

" .s-

. 39 Exemplo: Negar a sentena:V x, x - 1? 5.

Elx, P() <--=> P(a) + P(b) + Pic) + Pld) + ...


e sua negao dada por: (Elx, P(x))' <- (P(a) + P(_b) + P(c) + P(d) + Pela lei de DeMorgan, `
m: 3 ~z_

9s

8" (Vx,x-1>5)'<3x,x-1<5 49 Exemplo: Negar asentena: 3x, xa = 1 --> x se 0.

llx, Plxll' '<'f_""-> (Pla))' ' (P(b)l' ' lP(C))' lP(dl)' ' .<==> V x, (P(x))'. Portanto:
_ _ ,\_;/\. _ . _ /x. /*nu/\J.
l

_ ri _ { llx, P())'<->*'"'" Vx. lP(x))']


_

Solub: (Elx,x2=1_->x0)' <=-'_-> V'x,(x_2=1--->xa0)' i> 'V'.ll2=1)'+(x0))


<'__'=> VX. X2 = 1)')' ' (X :Pe 0)'

)
) _

Vejamos alguns exemplos.


-,
' ',

%'-> 'V'. l2 = 1) ' (X = 0)_

19 Exemplo: __ Soluao.' El: alguns x: alunos l P(x): alunos sao estudiosos Ento: . _ Existem alunos estudiosos. Elx, P(x).

1: ' ._ '. |'_ __

Observao:

Negar a sentena: Alguns alunos so estudiosos.

.
.z .--n , -

<=> D' + Ci`

Neste exemplo usamos a equivalncia notvel: p -_* q =-> ~

-_&.'__ >_L_ _ \ _ 'ej:-l-

- .;.

) )
/ -_-

f_1
T'

;_

59 Exemplo: Negar a sentena: ((V x, sengx + cosz x = 1) (Elx, 2x imparl)

':.

' *

Slvcbr
. ` l(Vx,sen2x+cos2= 1) (Elx,2x l'mpar))'< <=> (V x, senzx + cosz x = 1)' + (Ex, 2x mparl' <='-*""> (lx, senzx + coszx se 1) + ( Vx, 2x par). .

i )
)

"ai153 i,:_-._

2
.if '- -'
r _' "'

69 Exemplo:

E a negao desta sentena equivale a: ou seja, __ __ _ Todos os alunos nao sao estudiosos.
29 Exemplo'

Negar a sentena:V-x Ely, x + y =11.

ia. Pi' <=-->v. iPii'

Svlurv-'

(VxE|V,x+y= 11)'<==>3xVy,x+ya#11
5-`-'iii1' :'._.'*_.l'i. * j=IiI-'*;g- ="i_1l).'}

7 Exemplo'

\-of `*,\. _____, ,.-

(D .h

Ne9ar a sentena: Todos os pescadores so mentirosos. .

Nega' 3 sememai 3 V' V () = 0) + (V + 1 `< 7))

\ 'Y

Liz. .,} V-

"". Ei
__ fi

olub:

~
_,__ .i-_

<-_>--- V-x lv. l( = 0)' lv + 1 < 7l')

la v v. l = oi + iv +1 4 7)))' <-=>

<_>-- vav.lio) -y+1>7)).


~

_ _ _.

5.;

-. _ _--1. _ i -..:_z

i
*S 9 _

EXERCCIOS
Determinar o conjunto-verdade das seguintes sentenas abertas:
a)x+11=21 =

b)2x-5<13 c)x2-7x+12=0
d)x2-'l=0

= =
=

lntroduoo lgebra de Boole


.
9.1
3

`
OPERADOR BINRIO

e) 2-4x+3.0 f) 15x2+2x-8=O

= =
`C`CCCCCC

gi52+i9+12=o
a) b) c) d) e) f)

= wwuz uz
*

Escrever simbolicamente as sentenas: 1 < 2, ento existe x tal que x Q 2. Todo tringulo um polgono. Existe x tal que x primo e x par. Existe x e existe V tais que xz =.y. Para todo X, se x E N. ento x E Z. Todo poligono regular convexo e inscritivel.
-

__ - _-._z_

E . _-Q

Iniciaremos nosso estudo recordando alguns conceitos primitivos de especial interesse que so: a noo de conjunto, elemento de um conjunto e a relao de pertinncia. Assim, dado um conjunto A = {1,2,3}, dizemos que 1, 2 e 3 so elementos de A e, em conseqncia, pertencem ao conjunto A. Neste caso podemos escrever: 1 E A, 2 E A, 3 E A, que se l: 1 pertence ao conjunto A", etc. Caso tenhamos um elemento 4 que no pertence ao conjunto A, denotamos o fato escrevendo 4 A, que se l: 4 no pertence ao conjunto A". X Chama-se operador binrio ou operao bna'ria (ii) a lei pela qual todo par ordenado de elementos (x, y) leva um terceiro elemento z. Notab: x ii V = z. Os sinais aritmeticos +, -, '_ + sao exemplos de operadores binrios.
l 1 iu Ip u 3 Q Q f

Dadas as sentenas abertas p(x) :15x2 + 2x - 8 = O e q() r52 + 19x + 12 = = 0, com U = R, determinar os valores lgicos de p + q e p q. Determinar o valor lgico de cada uma das sentenas:
3) VX. | X | = x = R, r'

1-;=: ~ fz

__ '.-

5- =

_i`f3

9.2 PROPRIEDADES DAS OPERAES


* P1. Seja X um conjunto. Dizemos que X fechado em relao a ii se x * * y G X, Vx, y E X. Por exemplo, considerando o conjunto Cj de todos os interruptores, se a, b GC,ento,a +bC ea ' bC, isto,a +bea bsotambm interruptores e pertencem a C1.

bl Elx, x + 3 = 10
c) V-x, x2 + 3x + 2 =
d)3,4-3=1-2x
Q

= {1, 2, 3, 4, 5}.
= R.
=

ii

ei a_ 22 + = 15
f) (V x, xz +x = 6)'

= {1, 2, 3,4).
= (1, 2, 3}.
CCCCC CC

II

-ze _ *s-" "55 __-_-

Q) i,2 +3=1'

= {1_ 2_3}.
a+b
_

Negar as seguintes sentenas: a) Todos os homens so maus. b) Existe pescador que no mentiroso.
c)3xER,x2+5=2x.

"*'"_"'"""

U'

\..z

d) Existe y tal que para todo x, x + y .> 7.


e) Para todo x, existe y tal que x + y< 3.

zw -

Chamando C2 o conjunto de todos os conjuntos de pontos, se a, b E C, , ento a + b G C2 e a ' b G C2, isto , a unio e a interseo de a com b so tambm conjuntos e, conseqentemente, pertencem a C, _

I W
-_

`i

zm"

f W*

mf "

'=

11

e~

_/

,. '

i
~.\. ' f '. H
i-'=~ . .az - _. . ._ .__ _ ._ '-.' v* __
E.-_ r.` .;\__4

29 Exemplo: P
Sea,bC2,ent'o,a+b=b+aeab=ba,isto:

HT1 ._, I_z,

1,.-

.ez - wi:

i *

T* se

a+b

'

a'b

)
_)

Se tomarmos o conjunto C3 de todas as proposies, e se a, b 6 C3, ento, a + b E C3 e a - b E C3, isto , dadas as proposies: . a: Joo estuda. b: Joo trabalha. P

.zz

_ J

;-__

__

__

a+b I

_ l_

b+a _ W

P .H b = a b,

Temos as seguintes proposies (compostas):


_ ./*u/*u/\-J'

a + b: Joo estuda ou trabalha. a ' b: Joo estuda e trabalha. Ou, mediante as tabelas-verdade:
It ' ` . .. '. .I ' zzzzw

'J

' _

~ .

z -_ __

_.__

3'b

ba

) )
\ .P

;ab
-t

a+b

____

a'b

39 Exempio: Sea,bGC3,ent'o,a+b=b+aea'b=ba. i Podemos verificar esta propriedade mediante as tabelas-verdade.

) ) )
P)

O
4: .

oo--

)-@_ __

_.

@.-s-n-.

L.. _._-.z

OO-

-zz

az b
._

._

.-.T

a+b b+z5 z-bi b-z~


i
___ zz~z

...._

..

_ff

__ _

___; z-

`i

,;~

zz

__

z..zzJ

P2. O operador * oomutativo se x * y = y *,,V', y E x.

19EompIo:
Sea,bEC,ento,a+b=b+aea b=b'a,isto: V
a b H

2.-- 1..-

Q.. z. z.
ff _ _f_f Y _ ___ _ f L

L____J

L____3
I

P3. Dizemos que o operador * associativo se * (y * z) = (x * y) 1 z, V',y,zEX. p

1
J98

a+b

b+a

.b--W
a'b

zb ~
_b'3

.a

19 Exemplo:

i
. .

306.b.0C,ent'o,a+(b+c)=(a+b)+cea(b-c)=(ab)-c. isto
-L..-.z-z... z-.

~Li1f alir
a+(b+c) (a+b)+c --a'--b-----c--' a(bc) = --a-"-'-b---c--' (ab)'c
`l

ID

U'

b+c __

a+(b+c) os + U' --.


1 1

(8+b)+c

1 1
'-n-f'\q...f '/-I n/'-h-ra

~_.--'

O-*O-*CD-H

o oca- -

@@-._@@-_._
' f

o_

@-._-.c)_. -_;

Gnn

OO

o__-.n-

lr

29 Exemplo:

`
ID

-v
E T

Lv-

Sea,b,cEC2,ent'o,a+(b+c)=(a+bl+cea'(bc)=(a'b)'c, isto :
F
___ __ ___* ffff 'ff' _ _ ff 7 z L J___f ff* ___ 1 f 7 f f-.-1L-f.--.

U'

b'c

a lb clab

--. QI L--..-......

.o

\|

_'

n -I-n li -L

) )
l

QOOOQ--\ OOOC) O - *-'C D-1'- *


_ l _J_

O-*CD-*O-*C3-4

DO -*GOES-*
,

a+(b+c)
_ 1-U7 ll-I-I r

(a+b)+c
zzzzzz 7

l
`|

ODOCJO O- 1

OOOOOCDO-l

I:ff~

T*
f

Op Ii
'l

5--F

b a-(b-c) c 1

b (ab)-c
u

P4 Um operador + edlstributivo sobre El se x * (y Elz) = ( * y) El (x * 2),


'V'x, y, z EX

19 Exemplo:
1'

,.-\. ~.

Sea,b,cEC,,ento,a+(b-c)=(a+b)-(a+c)ea-(b+)=(a-b)+
(a ' c), isto

39 Exemplo:

Sea,b,cGC3,ento,a+(b+c)=(a+bi+C8.'(b'C)=l8'b)'C. isto : _

-~f l-1 ~l
J-C

a+(b'cl b

-;1~l;:}
la+bl'la a-.._..
ff 1.

a'(b+c)

a c (a-b)+(a-c)

101

-.-

_-. .f

--.f/

2'?ExempIo: Se a,b,cC1,ento,a+(b - c)=(a+bl'(a+c)8(b+Cl=(3 bl+ +{a - c),isto : T


_. f f

Analogamente
E ID

U'

b+C8'lb+Cla
fffiz l
l

a'c(a'b)+(a
"'F

fz

fff

fff

ff

1
a

1 1

"%%
_ ff f __ _ff_f

OOOO-A-e
@@@-._-. _
JL _ __ _ __ __ * "W ___ _ ___ __ W __ __ _ ._.._, -L-\o, tg

a+m-C)
-f-

` f

ta+m-a+d
" fff ff "E" " * ' ** ' WT

0
ff;._

--*Q-\- \@.
ff

"
. if f

O
_ z

CDCD OCD-\ 4- b

CDC)

O CDCJO-HC)-r
7

O CDCDCD-*

___

___ _

..

P5 Um elemento e, um elemento neutro para a operacao


S. =e *=,,VxEx. 19 Exemplo: 5933EC1.I'0.a+0=O+a=aea _ _ a ___

se e somente

'

1=1a=a,VaC.

1
_ W; _

*
_ _ f_ _.

.
" z

fff

ff ff

__a`

a- (b+c)
./\'-_ /\-'u/\n-.f_/\. uI'\J|/-.z/

(ab)+(ac)
' a

a+b
ffffif"' ff 1*f"' f ff : a

39 Exemplo:

if

29 Exemplo:
Dad0aGC2,ento,a+0;-0'1'a=aea
If l __ fff _ f

Se a,b,cC3,ento,a+(b - c)=(a+bl' (a+Cle8lb+Cl=(" b)+ + (a cl, isto , construindo-se as tabelas-verdade correspondentes a cada caso,
teremos:
___
V V V - _-

1=1Ia=a"v'aEC2_

p
___ O

'ff

1u.f_

ffffff_

1,.-

OJ

U'

_:

b-iz+ls-az+b W" 1

a+ca+bra+o i 1

_
_ _

__ 3

L
O

Wa
___
I

1 3
-fi;

`\-f `\-_/\._ ~.._ ,-

@@.. _. . -.t

@.. @-.a@. -L

_._.-:I;:_-:-?:f;:f;S;;.-. _
- z

-_'.z._'ff;~;._\ .`~_'-z._-._

.`f_-.'_-:f."_f_ '-fi:-`:f$f'7';f:'f:?;J;r:.

OC)-*DOO-'
OO DO
o_.

. @-. -. -a. .
P '~r-:f;::;'~';f-:~:f;-:1f:;?:i:If:1;::;:~:5;f

G)

O
@@_.W; . . . \_

Dj.-. _. . _.

DOO
L_.p .-u-. . _

'I-2;;.'?:?:i:-:fi-':?;: :-`::;:-::.-f;:f:ff?;;;

1
"~."~.-_. .z,__ _.-.

.l _

E a

102

portanto a + lb

c) = (3 + b) - (3 + c) pois suas tabelas verdade so iguais.

1'=a

103

.-'.;__.

'

-"' 1-'
.-_

--.=~..-'

f aii- "

39 Exemplo: Dado a5C3,ento, a * e= e * a =a,*+aC3. para ii = +, temos que a disjuno inclusiva ou soma logica falsa, somente qua ndo ambas as prol3osies consideradas forem falsas. Ento. dada Uma PYO' posio a e Vlal = 1. Vm
N`-=-1 '-li' 'f .i ..:;'.^ 3 l .4 . . uz; li

5.
=`_
f lr

Dados os operadores * e El distributivos um sobre o outro, reduzir ou desenvolver as expresses a seguir de modo a apresent-las sob forma diferente. a) a*(bElc). b)alIllal.lb). c) arlalbl. dl alIl(b*lcl_ld)l. e) (blIla)*lbElb). fl lab)E1l*Cl.

.~

_' -. _ zf _

.. _ _

_f,:

_. z
.

" 1.-'z.f. .= _ _
' \.,

3.-l-_O = 3,'V`3.
. \

_'
1

' _'

3,.

;
f f

.`_'_,1
2-ii*

para ii = - , temos que a conjuno verdadeira, somente quando as proposies componentes forem verdadeiras; logo, dada uma proposio a e Vlal = =1,vem: 3 -1= a,'\7a.
\ 1 s.

9.3 SISTEMAS ALGBRICOS


Antes de estudarmos a definio de uma lgebra de Boole vejamos o que um sistema algbrico ou uma lgebra abstrata tambm chamada simplesmente de lgebra. Chamamos lgebra abstrata ou sistema algbrico a um conjunto no vazio munido de um ou mais operadores binrios sobre ele definidos. Denotando por A o conjunto e por * e ] os operadores definidos sobre A, podemos ter:

EXERCCIOS
1. E A Seja o conjunto C = {T, 1, O}. Definamos dois operadores binrios * e El pelas tabelas abaixo. Para lera primeira tabela,jpor exemplo, a * b, tomamos a interseo da linha correspondente a a e coluna correspondente a b, onde
a e b podem ser quaisquer destes simbolos. Ento:O * J. = T e O El .l. = 1.
= 1.' im- -.
.. .' '.= `
~.`

_ ' W:z`1* 5 f ` ':l':';. --g. - _.

_; r

_r ___; :'; . ";-_ .:F flr=`.'-.l.: 1*. = -ii _. .~ .-te _ _' - sa: .' .
.;. -z =

(A. *l ou lA.lIl)

. . _: _ f`q; .-z
.f '_. _; ._ ..-2

..

zz

__

O i- -IO
__ ___ ffff _

l- O i- -|

=i -| z

lOl- O -l_-l
._

f_

A -l- O . fl_' +- O
f f_

..-

fz.~., ___ z

-:l
.u

que so lgebras com um operador ou uma operao, e

*_;ffff__ i

_ _.

zzz.. V ,-I .\

i`

.. . .f _ Q
'i _ -cr

il

fff

if

'.'- "' _. 'L "- '_ \

..: ~ =1. '_ `".

r __ .-'\-L'=f. r.
. .

(A. *. 'Ill
que uma lgebra com dois operadores ou duas operaes. Uma lgebra pode satisfazer a alguma, a todas ou a nenhuma das propriedades dos operadores, assumindo nomes particulares para os diferentes casos, como: se`migrupo, monide, grupo, anel, corpo, espao vetorial, conforme as propriedades satisfeitas pelo operador ou operadores definidos sobre um conjunto considerado. No trataremos destes casos em nosso curso, para o qual tm especial interesse os sistemas algbricos chamados lgebras de Boole, que deniremos a seguir.
l'

Ol- -l-Iifr- OO
_;___ _. .,

_ . . t"

: 5. _' . ..
`: :|-

5 : . 3,., _i_._.,-z

I.. __

,...1,.Z^

-2-'

al O operador * comutativo? associativo? b) O operador El comutativo? associativo? c) Os operadores * e El so distributivos um em relaao ao outro?
lu!

:_

- '- '
. ,*-'

f' '-:,- 4- ,
*ii _

H .: zf-

.-~.

--fr

.,._._ :u; .`

Tt,

2.

Dados os operadores aritmticos +, -, - e -I-, dizer quais dentre eles so operadores binrios no conjunto Z de todos os inteiros. Considerando os operadores aritmticos +. -. ' E *z dilef l`U5 df' eles so operadores binrios no conjunto N dos nmeros naturais. Seia 3 ,, b z \/ 32 + b2 onde a, b G R. O operador * fechado? comutativo? associativo? * distributivo em relao a Z? dSfbU'tV0 Em H-'la' o a * ? * admite elemento neutro? .| ._

.`

_'

'-5

Dizemos que o sistema algebrico (B, +. ' ) e uma lgebra de Boole quando e somente quando -V-a, b, c E B, valem os axiomasz AL a+bB. AZ a'bB. A3 a+b=b+a A4 a'b=b*a

As. a+s-z=z+i-z+zz.
i izzzzz.-_-f

105

l
'l
'i

'` | ._

A6.
A7.
r i

a'lb+cl=(abl+(a'cl.
ElOGBtalqueparacada aEB,a+0=0+a=a_

"-'7*' '\., f\. |' .13" ._ .ii "_. ~__. .'M __H _'.. V. ,_.-_
._ F__.-. _ .- _.

1' uuii It riu -1:| ..#1

Prova Pela simetria da definio de uma lgebra de Boole entre os operadores + e -, e os elementos 0 e 1, tanto os operadores como O e 1 podem ser intercambiados conduzindo a outros resultados tambm verdadeiros. . c.q.d. 19 Exemplo: Dualizar a expresso: x ~ y' + x' - y - z + y - z'_ Soluo.Como a expresso no apresenta os valores O e 1, basta trocar os sinais ' por + e + por ; temos: 1

A8. A9.

31BtalqueparacadaaEB,a1=1'a=a ParacadaaEB,Ela'EB tal quea+a'=1ea' a'=0.

No axioma 9, o elemento a'chama-se complemento de a. Uma lgebra de Boole dita degenerada quando os elementos neutros para as operaes + e so iguais, isto : 0 = 1. Consideraremos apenas lgebras no degeneradas, isto , lgebras de Boole nas quais O =/= 1. Vejamos alguns exemplos.
\_./wzfwf/\-./'

19 Exemplo: B2 = {0,1} uma lgebra de Boole cujos operadores so definidos pelas tabelas a seguir:

l+WP(W+v+zP(v+fl
_/\/\\J
i z

H0
1

01 0 0
0 1

+ o
1

0 o
1

1 1
1

que o dual da expresso dada. Obs.:- 1. No houve qualquer modificao nas letras complementadas, ou seja, onde aparecem ', y', z', continuam sendo x', y', z'. 2. A dualidade tem grande semelhana com as leis de DeMorgan que veremos adiante, diferindo apenas pela observao 1. 29 Exemplo: Dar o dual da expresso: x' + y = O Soluo:

) )
\_

) )
1.

Esta lgebra conhecida como lgebra dos interruptores ou lgebra da comutao, e a mais til entre as lgebras de Boole. o fundamento matemtico da anlise e projeto dos circuitos de interruptores ou de comutao que compem os sistemas digitais. B2 o exemplo mais simples de lgebra dei Boole no degenerada.

29 Exemplo:

_
.s

Trocando na expresso dada + por e O por 1, vem:


'.y=1

J )
`| |\

B4 = {0, a, b, 1} uma lgebra de Boole com quatro elementos descrita pelas tabelas:
I. ';'

que o resultado procurado.

o
"
O

z
W*

sf
3
CTCDCI

_l

'i *H

11%,

L,

0
O a b 1

1"
Teorema2- a+a=a,a'a=a,-V-aEB. Prova a+a=(a+a)'1 = (a+a)'(a+a') = a+_(a'a') = a+0 = a a+a=a. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..A8 ..A9 ..A5 ..A9 ..A7

1)
1

i _J
'1
l

=b 1
Q __"-z_zz

OCJCD

nCDn
;__.z z. zz z_

CI'
_

b 1 1
__-

za

b ;11

. . 3'_U"

Inl nlnlx

1 l

106

Teorema 1 - (Principio da Dualidade): Todo resultado dedutvel dos axiomas de uma lgebra de Boole permanece vlido se nele trocarmos + por
e 0 por 1, e vice versa

Analogamente,

Teorema 6 - Os operadores + e ' so associativos. Prova


A6

DJ
...-

al +la
(a+a'l

......

1 00

JDJJQJ" "'D.'I

IOCO

OJ

=a

c.q.d.

Teorema 3 - a+1=1,a0=O,VaEB.

(a+b)+c = = = = =` = =

((a+b)+c)'(a+a') (((a+b)+c)'a)+(((a+bl+c)a') (a((a+b)+c))+(a'((a+b)+c)l (la:(a+b))+(a'c))+((a"(a+b)l+(a"cll (a + (a - c)l + llle' ' al + la' bl) + la' cl) a+((O+(a"b))+(a"c)) a+((a':b)+(a'*c))

. . . . . . ..A8,9 . . . . . . ..A6 . . . . ....A4 . . . . . . ..A6 . . _ Teor. 4,A6 ..Teor.4,A4,9 . . . . . . ..A3,7


. . . . . . ..A6

= a+(a'-(b+C))

(a+1):

= a-l(b+c)

. . . . ..Teor.5

h+1l%a+l
a+(1a'l
a+a' a+1=1 Pelo Principio da Dualidade, temos: s

(a+bl+c=a+lb+c).
A5
. . . . . . ..A8, Pelo Princpio da Dualidade, temos: (abl'c=a'(b-cl c.q.d.

Expresses como (a + bl + c e (a bl ' c podem ser escritas sem parnteses, e expresses tais como la' + b) (_c + d + el podem ser desenvolvidas como na lgebra usual; a ' b pode ser escrita ab e o operador tem precedncia sobre + , de modo que a + lb c) pode ser escrita a + b - c ou a + bc. ,

Teorema 4 - (Lei da Absoro): a + la bl = a, a ' (a + bl = a. Teorema 7- O complemento de cada elemento de uma lgebra de Boole nico.
'(1+b)

a+ a

bl

'lb+1l
'1 a + (a ' bl = a e, pela dualidade, temos: a(a+b)=a Teorema5- a+("bl=a+b.

.....A3.
.....Teor.3

Pro va Suponhamos que a e x sejam complementos de a. Entao:


I N 3

a+x=1

z-=o.
Logozx = x(a+a') = a+a'
O + a'x
L.

(a+a') '(3-l-b)

. . . . . . ..A5

a'a + a'x a'(a + xl a' 1 a'.

a+la'b)=a+b

Corolrio- Qualquer lgebra de Boole nao degenerada tem um numero par de elementos.

Teorema 8 - (a'l' =

3
Fa :. 1 1.; ._

Teorema 12- ab+a'c+bc-=ab+ac


l

a' o complemento de a, ento: a + a' = 1 e a ' a' = 0. Mas estas eQU35 apenas mostram que a o complemento de a', isto : a = la')'. Pelo teorema 7, existe um nico complemento, portanto:

ab+a'c+bc

QI 11-

nn 1-

gn ._

HT

ab+a'c+bc

1 1

ab+ac+bc(a+al ab+a'c+abc+abc ab(1+c)+acl1+bl ab+a'c ab+a'c


I' I'

Teorema 9 - ab + ab' = a. Teorema 13- (a+b) (a'+c) lb-1-c)=a+ab ab + ab'


1 -nu

a(b+b') a-1 ab+ab'=a.

`la+blla'+0llb+cl = laa'+ac+a'b+bc) (b+c)


0+abc+abb+bbc+acc+abc+bcc abc+a'b+bc+ac+abc+bc abc+a'b+bc+ac+abc ac(1+bl+abl1+cl+bc ac+a'b+bc ac+a'b
cl = ac+a'b

D.

Teorema 10 - 0'=1e1'=O

la + bl la' + cl lb
0+1 O-1
e Logo: 0' 1'
. . A3,7 _ . A4,8 '

. . . . . . ..A9
Teor. 1

TO0I'8m8 14- (a+b) (a'+c)=ac+ab

la + bl la' + cl
Teorema 11 - (De Morgan): la bl' = a'+ b'e (8 +bl' = 6' b'-

um

aa'+ac+ab+bc

-_ uq

ac+a'b+bc
ac+a'b+bcla+a') ac+a'b+abc+abc a'b(1+cl+ac(1+b) a'b + ac ac + a'b

gx 1

iq

1 1

la +b'l+l8'bl'

(a'+b'+a)la'+b'+bl
l1+b'l' l1+a') la + bl la' + cl

_-_

'+b')-(a'b)

a"ab+b'a'b-0.

Ento, la' + b'l o complemento de la bl, isto : la ' bl' (a+bl' =


_;. af-I-bf I

Esses teoremas tm sua grande aplicao na simplrflcaao de expressoes bo oleanas e circuitos de interruptores, conforme veremos nos exemplos a seguir

19 Exemplo: Simplificar la + bl la + b' + c )

Soluao.

III

- _ 1^_fI*"-` !'.

Desenhando o circuito da expresso simplificada, vem:

a+blla+b'+c'l= aa+ab'+ac'+ab+bb'+b0' a+ab'+ac'+ab+0+bC' a+bc'

lI_'J~
49 Exemplo: Determinar o complemento de pq' + pfq. Soluo:

2 Exemplo: Simplificar o circuito:


q,,,.|'p H

lpq' + D'1)'= l1:q'l' - lr'ql' = ln'+ l:i'l') - llp'l' +q')

D-~.l
p:___ _.

rm

"_

'

= lr'+ql-lD_+q'l'
= |r'n+D'c'+1q+qq'

__q'kz

_----- f

= r:1+r'q'
Soludo:

lp + qr) lp'q' + r'l + p'q'r'


e o circuito simplificado sera:

_-

pr, + pq:rr

Teorema 15 - Se uma lgebra de Boole contm pelo menos dois elementos distintos, ento 0 #= 1. S Prova '

_-1

lp + 1'11'lf' (p + q:)rr

.---will

Suponhamos que existe uma lmbra de Boole com pelo menos dois elementos distintos, para a qual O = 1. Seja a um elemento tal que a 5* 0 Como, por hiptese, tal elemento existe,-ento todos os outros elementos so iguais a 0. Logo, a = a - 1 =-* a 0 ='0, o que uma contradio. Portanto, O a 1. c.q.d. ~ Sejam a e b elementos de uma lgebra _de Boole. Dizemos que a menor ou igualablablse esomentesea+b=b. f

3 Exemplo: Simplificar o circuito:

p:~qf
...... ----p'-

Teorema 16 - < uma ordem parcial.

of-f

"

Prova Pelo teorema 2, a + a = a. Logo, ai < a. 'S 1 'Sea<b, ento a +b= b;seba, ento a +b= b+a=a.Portanto,se a < b e b <a, ento a = b. Finalmente, suponhamos queabebc. Ento a +b=be b+c=c. Logo,a+c=a+(b+c)=(a+b)+c=b+c=c. Portanto,a<c. c.q.d. A

1:"-*_""' f
Soluo

nc' + mr + P'f =
=

p (qr + qr) + p;_"l'z;___f

= = = =

Dq' + Dr + D'f Dq' + lp + 1='lf D1'+1f D1'+f

Teorema 17 - Sejam a, b e c elementos de uma lgebra de Boole. Ento, a ordem parcial tem as seguintes propriedades:

Usando o teorema de De Morgan provar que


1. Sea~bea<.c,ento abc 2. Sea~'b,ento a<b+c,*vc 3. Sea-<.b, ento ac.b,*rlc. lbCl = +b +c

a+b+cl = Verificar esses resultados com os crculos de Euler Simplificar

4. abseesomente se b'<..a'.

1, a+b=bea+c=c.Logo,a+bc=la+bll8+Cl=bC 2_ $ea+b=b,ento,a+lb+cl=(a+b)+0=b+C 3. Pelas leis da absoro, ac+a =a. ou aca O resultado seobtem Pela transitividade. l 4. Suponhamos a -< b. Ento, a + b = b B. DOFHHO b = la + bl L090 bi + af = (3 + by + a'i= ((3 + bla) = a , pelas leis da absoro A recf proca decorre do teorema 8, onde temos la l = 8 C Cl d

ala+m (b+a b)Hp+c)+r+q)


cl a (ab+c) dl llS+tl'+(s+u'l'+v) Determinar o complemento das expressoes
a a b c)'+d(e'+f))

b)a+lb+lcd+ell
__./\I' %/- f

EXERCCIOS ,
Simplificar as expresses a seguir, justificando cada passagem

cl ab+cd+ef dlla+bllC+dllB+fl
el alb c(b(a+ac))+bc)

l
)

a)(abl+lab'l bll i=-q)+li:lc"fll

Nos circuitos a seguir, determinar a ligaao, simplificar e desenhar o circuito resultante

cllb-la'cl)+la'lb'c'll d p+((p'-lp_+il)+lirll
el (x+ly'Zll'l+lV"Zl) Simplificar:

~L.__l~
-_-mag-._ um

al ab+ac+abc+ab'c' bl f+g+h+f'g'h'
gl (p+q+r) (p+q+S)

d) '+y'+xyz+xy'z'

el la+b') (b+c'l lc+d'l ld +a'l fl la+bllb+cllc+al


Desenvolver as expresses a seguir tanto quanto DOSSW-il al D+Clf b) p+qrs
3) pq-l-I'S u

cnm_-pal-i.

-lux__|_I_-

dll a+(bc).-d ' ' 0'l'


mirim

Provar que ab' + a'b + ac' + a'c = ab' + b0 'l' C3

dl

r'-"'*"-*

""'-'-"""'b'

cz

i_._._a..__b
.

b_______c

#8 __l-_:b'---0'

1 .z -zbz-~-c'
'-_-C
3

10
Funes Booleonos
5

c --g-d'

im

l z
. l

zb- -S d-f

w fiw dwf ufwi z

=--
9.

no,i,
d
Z

Seja B uma lgebra de Boole e, sejam xl , ..., xn variveis tais que seus valores pertencem a B. Chama-se funo booleana de n variveis a uma aplicao f de B" em B satisfazendo as seguintes regras: 1. Se para quaisquer valores de xl, ..., xn, f(, ,,_, n) = 3, 3 E 13, en. to f uma funo booleana. a funo constante. 2. Se para quaisquer valores de , xa, flxl , ..., xnl = x para algum i (i = nl, ento f uma funo booleana. a funo projeo. 3. Se f uma funo booleana, ento g definida por glxl, xnl = = (flxl , ..., xnll' para todos 1 , xn uma funo booleana. 4. Se f e g so funes booleanas, ento h e k, definidas por
hlxlz --, Xl = f(X1 , ..., |1)+ Q(X, ..., Xnl G

l. I

Determinar o circuito complemtaf (lei al 1 `_""'b'

b---c'
c----I'
b) "_"`_"'Y

---y'---2
. l bra de Boole. 0 Provar que para quaisquer elementos a e b de uma 9 se, e somente se, ab' = 0. P . l bra de Boo 11. Provar que para quaisquer elementos a e b de uma 9 se, e somente se. bla =1* l mentos. 12. Mostrar que nenhuma lgebra de Boole tem tres e B _ ' mais de um 13. Mostrar que nenhuma lgebra de Boole finita com p tem um nmero mpar de elementos.
I V

|<l1 . Xnl = fl1.nl g(, so funes booleanas.

xn) para todos os x,

xn

5. Qualquer funo construda por um nmero finito de aplicaes das regras anteriores e somente tal funo booleana. Ento, uma funo booleana qualquer funo que pode ser construida a partir das funes constantes e projeo mediante um nmero finito das operaes ', + e . Para uma funo de uma varivel, a funo projeo a funo iden tidade flxl = x. Antes de nos adiantarmos neste assunto, definamos o que se entende por constante e varivel booleanas. Chama-se constante (booleana) em B a qualquer elemento de uma lgebra de Boole B. Chama-se varivel (booleana) em B ao simbolo que pode representar qualquer dos elementos de uma lgebra de Boole B. P
/ 1

10.

/5
l

S)

117

-x '\..,.f 'i* *\~i --. _.-f

19 Exemplo: 29 Exemplo:

fll = x + x a fl. Vl = 'Y + XY' + V'

_.,

39 Eemp|o:

flx. Y. zl = av'2 + V2' + a + Y

= = = +

lf(1ll'lfl0)l'l1) + lf(1))' + (f(0)i'= lfl1ll'lfl0ll' + lf(1ll' + (fl1ll'lfl0ll'x' lfl1ll'lfl0ll' + lf(1))' + (f(1))'(f(0))=f lfl0ll''
(absoro)

As expresses desses exemplos so funes booleanas, onde as variveis , y e z percorrem uma lgebra de Boole e a um elemento dessa lgebra. Por causa das relaes existentes entre as operaes, uma funo booleana pode assumir muitas formas. 49 Exemplo: ~ Dadas f(x, yl = x'v'~e glx, Vl = lx + Vl, sabemos pelas leis de De Morgan, que f e g so a mesma funo, isto , elas assumem o mesmo valor para valores idnticos das variveis.

= 9l1l +9l0l'.
49 Caso:

= lfllwx "`lfl0)l''

Suponhamos que o teorema vale para f e g, e seja hlxl = flxl + g(x) hlxl = flxl + g()

=' flllx + fl0)' + g(1) _+g(0)-

= lfl1l+ gl1i + ifioi +gioi'


= hlllx + hl0)'.
5.0 Caso: Suponhamos que o teorema vale para f e g, e seja k() = f()g() l<ll = = = =
=

._/\-/\-/\./

Para melhor determinar se duas expresses representam a mesma funo booleana, torna-se desejvel a existncia de uma forma padro ou cannica na qual as expresses podem ser transformadas. Desenvolveremos tal forma no teorema a' seguir. 1

flxlglxl lfl1) + f(0)x') (g(1) + g(0)') fl1l9l1lxx + fl 1 l9l0l' + f(O)g(1l' fl- fl0)g(0)'' fl1l9l1lx + fl0l9l0)'
l((1l + k(O)'_ '

Teorema - Se f uma funo booleana de uma varivel, ento, para todos os valoV resrde x, flxl = fl1) + f(0)'. 1 Prova Examinemos as possiveis formas de f.
19 Caso: f uma funo constante, flxl = a. f(1)x+f(0)x'=ax+ax'=a(x+x')=a1=a=f(x). .

Estabelecem 4 " uma f0fma cannica - para uma funao .. booleana de uma varivel P0d;:;":10. ` . _ _mstrarf de md Semelhei Cl'-16. se f uma, funo booleana de duas variveis, ento, para todos os valores de x e y, temos: P

_ Em Qeflz S8 f uma funo booleana de n variveis, ento para todos os valores de X1, ..., xn, ~ S
ano;
\

... _

.,an)11

0!

C!

..'nn

0:

29 Caso: f a funo identidade, flxl = x.


f(1)x + f(0lx' =1x + Ox' = x + O = x = f(x). 39 Caso:

onde oi'1 assume os valo '05 B 1. B x,gi e ' 'interpretado como x. ou xi conforme a_ | tem valor 1 ou 0. s EXempl03 : 5618 ' B uma lgebra de Boole com quatro elementos 0, a, a' e 1. Construamos as formas cannicas para as funes: 3) fll = + 'a

Suponhamos que o teorema vale para f e seja Qlxl = lflll'.

bl fl. Y) = 'v + xv' + v'.


Soluo: ; , _ al fu) = 1 flo) = 0- 00 01000 que a forma cannica Para f fl1l+fl0l'z=-=1x+ax'. 119

9ll = lflxll' = lfl1l +fl0l'l'


= lfl1)l'lfl0l'l' = llf(1ll'+x'llfl0ll'+l = lfl1ll'lfl0l)'+fl1ll'+fl0ll''+'

Valores de flxl = x + x'a


f-1-T*

Determinar a forma cannica para cada uma das seguintes funes'

al flxl = xx.
x l flxl , 0
`

.. b l f_lVl = XV ' + BX z + by, onde a e b sao . . , elementos fixos distintos de uma


Algebra de Boole.

0 t a
` 1

i---
a 1

a a
1

` .
.`i

cl fl=V=Zl = lV + 82') + l' + 2) (ax + V' + zl.


Suponhamos que B uma lgebra de Boole sobre o conjunto il). 0. a'. bz b'. C. C', 1}, e seja f uma funo booleana tal que f(0,0,0) = = fl0,0,1l = fl1,0,0l = 8. fl0.1,0l = 0, f(0,1,1l = 1, fl1,0,1l = f(1,1,0) = c', e fl1,1,1l = b. Determinar f(a',c,b).

il

b) g(1,1) = 0 e g(1,0) = g(0,1) =- g(0,0) = 1, de modo que a forma cannica para g gl,Vl = Oxy +1xy' + 1x'y +1x'y'. . Valores de g(x,yl = x'y + xy' + y'

i`

\ A1'
Yi. l rl

*fi f

rf

1 1

t
M

O ea
-zz _ zzz _

;\i_l
-z __i_

. _._
__ _

_. . .,_.
z ` z_ _ __ 741.

l 1.__

_ 93* _;

__ _ l_ _ _

r -

__ ._
_il _-l

il__ Q)

,1

_ Qi OI

_ .__ _ .

L __

O na

JL __

Note-se que em ambas as funes, a forma cannica reduz-se facilmente forma original. s s

A forma cannica que discutimos conhecida como uma soma de prod

ou forma normal disjuntva (FND). Existe tambm um produto de somas ou for


ma normal conjuntiva (FNC). Cada termo de uma FND , s vezes, chamado mm term lm) e os fatores de uma FNC so chamados mexterm (Ml.

EXERCCIOS

1.

Suponhamos que f uma funo booleana de uma varivel sobre uma gebra de Boole de 4 elementos, fl0) = a' e flll = a. Determinar uma exp so para f. Escrever a forma cannica geral para uma funo booleana de trs variveis

2.

-li.

v.f.
lfew ii i'.
.ii-___'.

err rcaao Algbrica:


Y
I

...

a'b'c' + a'bc' + a'bc + a'b'c

i_`i \.i. `~'-hr'-_


1

sz.-*-ll af f 'la iillll ~ei'f -~i'=


'v nz 'U

a'blc + c'l + a'b'lc + c'l


a'b + a'b' a.

. .
I

3. fz., =

_.,.

a'(b + b'l

_ _

Representooo dos FunO2S Booleonos


1

Para mais de trs variveis, torna-se muito difcil representar as interse es formadas pelos respectivos crculos de Euler. Neste caso, utiliza se a dispo sio mostrada a seguir para quatro variveis: a, b, c, d.

en|i-|eeeqi|n-|neonnq|i--o

g_

gi

__

11 1 DIAGRAMAS DE VENN OU CIRCULOS DE EULER


Seja representar as funes: 3) y = f(a,b) = ab' + ab + a'b
"'7_

a'b'c'd a'b'cd'

ab'c'd'

abc'd'"

a'b'cda'b'c'd
______

____ ab'cd'
ab'cd
1-;--nn fa -_nL.lun_Yw*' _'

.
l l _; inicieiz-ig

zb}7"
abcd
me 'u

1 -

_l__J a'bcd'
a'bcd
___

!a'bc'd' l
-J ..

n --il.

oon

ab'c'd
_ f 1 1 __ _* '__ _ _ : f_ __ t

T'

abc'd

a'bc'd
15

Ti.-

Q.

-nn

__.._f_---*'.:__#

W/
o001_ nenaunununnn

3.

ab.

ab

a'b

V = ab' + ab + a' b = :a+b

11.2 TABELAS-VERDADE
Construamos a tabela-verdade da funo:

Verificao Algbrca:
ab' + ab + a'b
alb ~l~ b') + a'b 3-1+a%
fm' ' j

f(a,bl = a + a'b'
z. fa _ *__".'

a+a% a+b

a
O O
___

b
O
-

a'

b' fi a'b'

_`I i

.- a'b'
1+-ab'
1+-ab

=. a'b'c' + a'bc' + a'bc + a'b'C

O
__;

-3

CD
-nl
%; -__~-~

O O

;
@1

O;O
O.

d,
_l`i

gi/

4;j7_

u-B

(13.)

14

\\ ' _.

Q\
a'b c'

"
a'bC

a'b C

@~

'
'fzfz,%'/J _ _ .
m

7 ..

Nosso problema consiste em determinar a funo booleana f dada sua tabe la-verdade.

a'bc'

.nf `..l'i

LA. --. _ z=..-

Exemplo: Determinar a funao booleana f representada pela ta e a a[b


if '_ m f ir*

b l -verdade:

cl Funo de trs variveis

uq:

. .='.tgz.
'z_,','.

C
1*

' 1 f
T 1
_

01 1
'li

111

O
.1__

O 1l C3
_-_

,O
-*CD
-

'z-1 f ,._._' " 1 _


'.. -1.-_

zi-'1

-- a'b'c <- a'bc

g, .__ A

T1 ..

tl;

'-z< z
. ii? ^ . - ._ - 1

CD ___WL_ .za O
W 'T

O
l #17

O
_

Vl

-
fz

'f "T

-.

___ ___ CD
. .

l
z,

C)
-I

O,-A
Wf

zzl

O
-_

O
i __ __ *mg _ 1l ;~d `;_

1 W
is

101

nal

-.I

+- abc

dl Funo de quatro variveis

Soluo: -' ' l com lementada r Fazendo a varivel nao complementada igual a 1 e a vari ve _ P igual a 0, pelos valores de a,b e c correspondentes a f = 1 em cada linha da tabcela. vemos que os termos da funo procurada so a'b'c, a'bc e abc. Logo, temos a uno: f(a_b_c) = a'b'c + a'bc + abc.
mia

"114

4 \ 1

Yara!
`_\nH-f u/_`%/_ .I

11.3 REPRESENTAO GEOMETRICA '


.al Funo de uma varivel

0" * ix """1
bj Funo de duas variveis 01 11

De modo geral, representamos as possiveis combinaes das n variveis como pontos do n-espao, e o conjunto de todos os 2" pontos formam os vrtices de um n-cubo, ou um hipercubo booleana. Para representar geometricamente as funes booleanas, ou seja, no n-cubo, atribulmos a cada vrtice do n-cubo o minte`rm de n variveis correspondente. Ento, no caso do 3-cubo, temos: 011 1 111 m-,

JV
<
- . .i___}_

-z
m3 j

mi

vrtice y
1 jl

3 Ui

011

yx

00

-_---III X

.io

000

---u-

m5

mi ` mo i
101 111 ,

ma

m4

l m-, |*

.l
_

-. ,;_... _ .'..;;
`Ir .cn _

1.

-.fF''1LI'

. -..;z , .. - i._..\ ....,=.- i.-_.-._

1%*

A representao geomtrica de uma funo de n variveis o conjunto dos vrtices do n-cubo correspondentes aos minterms da funao. Exemplo: Soluo: ' m-1
. /*w/\u/*-/ -/

__;-_\--___r

Representar geometricamente a funo f(8.b.Cl = mz2-37l-

O 0-cubo 100 est coberto pelos 1-cubos 100 e 101 100 e 110 100 e 000 e pelo 2-cubo 100,101,110, e 111 . Defnimos a distncia entre dois pontos de _ um n cubo como o nmero de valores das variveis em que diferem as representaoes bmarias dos dois pontos. Assim, dados os pontos 101 e 011 de um 3-cubo a distancia entre eles d = 2, pois diferem entre si em duas posies. Indicamos o fato escrevendo: d(3,5) = 2, onde 3 e 5 so os valores decimais desses pontos encontrados nos minterms m3 e m 5 . R
I' I

910.
mz' I

Vejamos agora alguns exemplos de representao geomtrica das funes booleanas. R 19 Exemplo: .Dar a representao geomtrica do circuito Soluo: ~ E - y'.z ~ e~~ z ~

ao .
Observao: 1 Cada um dos vrtices correspondentes aos minterms da funo dito 0-cuboz s dessa funo. E 2. D'ois 0-cubos de uma funo formam um 1-cubo quando diferem entre si por somente um valor da varivel como, por exemplo, 000 e 010, 010 e 011, 011

f(.v.zl = v'2

101

x y' z J' 1 0 1

._. . . .- _ . _-z z.

`\ |

29 Exemplo: Representar geometricamenteocircuito -~ SoIu'o. f(,Z) = 'z = x'yz + x'y'z - ' z a z -__
z . _ ._

i 1

)
/`

3. Quatro 0-cubos formam um 2-cubo da funo. Dizemos que um p-cubo lp Q n) um subcubo de um n-cubo, quando . os seus vrtices pertencem ao coniunto dos vrtices desse n-cubo, ou seia, p-cubo est contido ou coberto pelo n-cubo. E

)
Exemplo: Na representao a seguir: '

126

lv
'

Ar

n ~
39 Exemplo: E

O4-

C)_

@(_~<`

Representar geometricamente a funo f(x,y,z) = y + 'y'z_

127

Soluo

f(,y,z) = xy +yz =xyz+yz +yz

xyz + xyz' + 'y'Z Hi Hi ll 111 110 001

JW
lr

v
EXERCICIOS
Representar geometricamente as funes: a) f(y,z)=(yz + l b) f( y,z) = y( i c) f( y,z) = x y + xyz

ii 1;' 1 ei
I1 _|_|p-ri;

I'

y.--n

V
Z

___V.__,.

Determinar as seguintes distncias em n-cubo:

al d(7.13)
I' I

dl f(v.zl=v(+2)+v2 el f( v.2l = V

b) d(2,7) cl d(7,15)
dl d(3,11)

e) d(9,14i Determinar a funo booleana representada geometricamente por

Dar a representaao geomtrica dos circuitos

L -X

'__ __
zz

y'________2'___}$__
Y Z

al

me
\

)(':

LV' ___,z
Y

zzzzz'

-""'_"_I-DI I -uy

Z _ z' -

.
nn/

___

Fz""-"- | \_| \| I _..__.

m4

bl

m3

m7

Z'

v
X e ff

2' ea
y

mz

I
I

I J' f /
TI4

\L._ _ ._. .

Y'f

; / 1,' '/
[Tio
.=

I!

_1-.z

, ` '

~- 31;; _ '-.`_-_' ---

-_';Lf...

:__

cl

ma

m7

ms
\ '\ \ \ '\

_ v'-`_,..z_. _1 _ 'Qi-|' , . ' ___'-'._ _ ' _;:1*' _zf._ _ _i

__* _
#3

ma

mz;

_`_ ._ l` V `

..
_
.

Formos Normois
12.1 FORMA NORMAL a n VARIVEIS E
_
I

1; L*-;f\_1-_. .: _l.__1 -_ .-_' '_-;f\` \_ . _:_=`. -" -z.~ _


'l' -
. _'1..~;;`

E 'f rf-f .~:-'la

_
.

__':~"

=5.,_f_4._ _ _ :.-ru ' ....( -` _

, ,.,z- _

. '"t`-`~5?'1\i-. -_ '

_
\ |`\I I I I I R:"""""I

*E '
__
7: 53' . __1_-in-...

Dizemos que uma funo booleana est na forma norma/ a n varia'ves quando envolve todas essas variveis ou seus complementos.
19 Exemplo: a + b' normal em a e b.

FTI4

__
_I3s?.: - z
| __:^_' " . _

~_
m3 m7
~., `

29 Exemplo: a ' b' e normal em a e b.


E

|-'
I

||

li.

il

39 Exemplo: a + ab normal em a e b. V _ s
_

ri.

|. _ . ,_?..._u' .

49 Exemplo: a + b + c'd'e' normal em a,b,c,d e e. 59 Exemplo: ab'c'de normal em a,b,c,d e e.

lif
.hi

iii

ly

,Ff _ _.'___

F:

il
.JH

_ _. .J /

/.z

A
1-

12.2 FORMA NORMAL DISJUNTIVA


`Uma funao booleana est na forma norma/ disjuntiva quando em todos os seus termos aparecem todas as variveis envolvidas ou seus complementos.
`

'ill

-_" "_`1\

url

mo

m4

z 11.1? .'

. ..z.;.
'15'

l"_

__

_ r

"'

- _ are. 1"
l-'

.}'

19 Exemplo:
.U

I
-x ._ ._,,.,..v.
_'\''_-| - _ -

_ ;'__i. ;_;_

A funo booleana = ab' + a(ab) + a'b' est ha forma normal dsjuntiva_


' T."j_;:_' ;_._-'_ .'_.'_'.z;7.':1;.

29 Exemplo:

as
.lj 1

ll

_
_ .<;.,.~,-.
'\7.`.:. -

A funo booleana y = abc' + ab'c + a'b'c'est na forma normal disjuntiva.


39 Exemplo: A funo booleana z = abcd + a'bc'd' + a'b'c'd' esta' na forma normal dis' j untiva. 1 31

li

fz

I _
a
'=_=_f-_.'~i_-

4o Exemplo

6.bC_z1z' A
ql _(__ arbrcr

li

"

'

l_ i

A funo abc + ab C + ab nao esta na forma normal disiuntiva, pois, no ter ceiro termo falta a varivel c ou seu complemento 50 Exemplo As funoes abaixo nao estao na forma normal disiuntiva =ab+bc+ac =abc+abd +acd =abc+ac -< =abc +b
f-I'

1 _
i

_ _

_ <- a'bc' qi *_ ab'c'


*_ ab'c
*di abc'

" "*-' *CDQCDCD


_ _fL_

- *o - o
J

_., .z .e

-QoD-. o Q-_. _

=(a+

(3

cr

pois todas as variaveis no se encontram em todos os termos

z' = a'b'c' + a'bc' + ab'' + ab' + abc' A fun o inv ersa d e z pode, tambm, ser obtida diretamente da coluna de z, da seguinte maneira

TRANSFORMAO DE uiviA i=uNo DisJuN1'ivA QUALQUER EM i=oi=iiviA ivoi=iiviAi. ois.iuNTivA


Seiaafunao y=abd+abc +abcd a qual nao esta na forma normal disiutlv POTQUB 00 Df|m"' e"m falta 3 m vel c e no segundo termo falta a varivel d Como
+C= d=

3
o
i

_ b
irzzsr

1 C
E
1
f~_

Z
l ze
__.

_____ afblcf

*_ a'bc' A *__ ab'c' z *_ ab'c 1 *H abc'


__

podemos escrever

y=(abd)(+)+(abcl (d+dl+bCd
- -.L-L-(Do@ __

-=-=oc- -o

y=abd+abd+abcd+abc'd +abcd esta na forma normal disjuntiva

__

_.- _z. .z .z .-_ z. =


l___

P0f000 z' = a b c +a be' +ab'' +ab' +ab'

ii\ivEi=isA DE UMA i=uNo NA i=onMA Noi=iiviAi. Dis.iuNTivA


Seja a funao = ab'c+abc+abc to lan na forma normal disiuntiva Queremos determinar sua inversa z e. Pfa IS . bela verdade Construamos. aremos mao de um meio conhecido ~ ou seia, a ta I t ao as tabelas verdade de z e z' Feito isto, procedemos conforme vimos no cap*
tulo anterior

12 3 FORMA NORMAL CONJUNTIVA

Dizemos que uma funo booleana est na forma norma/ conunt1va quando em todos os fatores aparecem todas as variveis envolvidas ou seus complementos.
10 Exemplo

Y = l + b + 0 l la + b' + C'l la' + b' + cl est na forma normal coniuntiva

133

20 Exemplo z = la' + b) (a + b' + cl no esta' na forma normal conjuntiva porque no primeiro fator falta a varivel c. _

que desejamos escrever na forma binria. Como toda varivel nao complementada corresponde ao valor 1 e as complementadas correspondem a 0 tal funao pode ser escrita da seguinte maneira: Vl0.dl = 2(00,11),

TRANSFORMAO DA FORMA NORMAL DISJUNTIVA EM FORMA

NORMAL CONJUNTIVA MEDIANTE A TABELA-VERDADE Seia transformar a funo

e diz-se que a funo est na forma binria. Exemplo: Dada a tabela-verdade da funo y, esrev-ia na forma bmana

v = a'b + ab
da forma normal disiuntiva para a forma normal conjuntiva. Procede-se da seguinte maneira a) Constri se a tabela-verdade de y:
xr
~_/
fu* Ar mm* * It __ . ___.. i ' " fz* 7 'JI E

s0zU,za.~
_ 'Ii v _

O
OCB O
l E

CDO
n-\

-c
Q-.s
n-ul

,a
. 1

ba'a'b
1" *'Wl}f::T _... _..__ __

aby
7

+_- a'b'c *__ a'bc'


ii _i___ ablcf

`l

i<-;-

V
III-xc

- -oo

'

- Ao-ca _

.za_.

_:;f_

oo-~o

_ff_l _ __

-a a -O- a

-'CCD--6

o-o-
._ _

`
z_

..

_.

<-- abc'
O
_ i__

bl Determina-se y': = a'b + ab' c) Inverte se y', para obter-se y, pelo Teorema de De Morgan:
\. /\-f\./\._.

y = a'b'c + a'bc' + ab'C' 1' 3bC'. 001501 V = 001 + 010 +100 +110 o que
nos d: Ylazbzcl = l001,010,100,110).

(a'b' + ab'l'
(arbvr . (abr):

Chama-se indice de um termo, dado na forma binaria, o numero de valores 1 .contidos ' - por exemplo, os termos 1010 1101 1000 e 1111 nesse termo. Assim, _ tem, respectivamente, indices 2,3,1 e 4,

(a+b) ' (a'+bl Portanto (3 + bi - la' + b) est na forma normal coniuntiva.

12.5 i=uNEs NA i=oRiviA oEciiviAL


Seja representar na forma decimal a funo dada na tzbeia verdade
ll `* 1' 'i

n9abf
il f _ ff T

12 4 FUNES NA FORMA BINARIA


Seia a funo
y=c'd'+cd
. \. z\.-\.-/|w\i|v\. z
_ ' _

. .O . . ., _., _. _,
' _ f _ i _

l<...._
l
__ ___

-"-OC'J
_ 1

.;...-,

-~\'z;-':If_ - .=-.-:_ _ lll


- ^.`JI'-" '

_.
.3,_='f_-'I `

.11.-_
) 1 ` ' ,-*_i.'-. ..:`L.I.

Nessa tabela. 9m05


ndec1mal

EXERCCIOS
1. Representar mediante cfrculos de Euler a funo y = abc' + a'bc' + abc + a'bc 2 Indicar mediante uma tabela-verdade, a funo: y=ad. 3 Representar sobre uma tabela-verdade, a funo: s
4.

n bIf0

1,

l _

l"

"

E E

528
com-*C9
_ __ _* __

p
~__ 'mm fzzz

11
' "'

Entao, os valores decimais que correspondem a f = 1 so 2 6 3- Pd9m$


GSCFBVB I'

y = ab'cd' + ad.

f(a,b) = l2,3).

Usando a tabela-verdade, dar a funo y = a + d sob a forma normal dis iu ntiva. Passar para a forma normal disjuntiva as funes: a) b) c)_ d) y= y= = V-= a + bc' d a(d' (b + c) + b'(c'd + a'b'c)) ad + cd

P roce dendo de manerra anloga nas funes dadas pelas tabelas a seguir,

5.

rf

4 'I'

4-

:
`

b
` *l

f
1

fla,b,c) = El1.3.5)
I

6. 7.
1---

Dar as funes do exercicio 5 na forma binria. Dar as funes do eerc1'cio 5 na forma decimal. Determinar, mediante a tabela-verdade, a inversa da funao booleana y = abc' + a'b'c' + a'bc + ab'c

n-_>~_ ~z4_.:-_.z/-\:nY/ul-m

ll.

'
__

~.1a:u1-amu-O

. . .-s hQO G
L-T

. .-c:c-;-*OQ 0. Q-~O-^"'.
zz l
I,

:;-co;.-'

8.

|_n-lu-II

.J
l._...|

"0-)

F'

l
*ginl 1 l

9.
'\

Transformar para a forma normal conjuntiva as seguintes funes booleanas a)y=a+c b)=(a+b')'(a'+b) c) z=(a+b+c) ' (a'+c')' (a+b') d)=(a+b)'(H+C)'(b+d) ` Representar mediante crculos de Euler as funes

\.1\n/|/- _._
\.

, 1
1
44,4' 1

1 1
l
i gll

l
*

m-Jmmhw -*O
1* 1 ` 1 1 1

10.

l
r
4_.__-

ai yz,1z,z1 = 22,3,5,,71 bi z,b,1 = z1ooo,oo1,o11,111


Exprimir sob forma binria as funes:
a) x=ab+bc b) y=a'b+bc+ac'

'

_, ._ ._oc:.1o=O ,

E-lt. r.. ,__


Ju 1

.c . -o:-= cC=- *O0

O-nO-nO-oO-*O-*" '" 3

o- o-o -1-*O-* "'_I


LO

fla,b,c,d) * 2l1.4.6.7.112)ln=.r-_I:r1-ais-_--'

c) z=ab'c+bc+ab'

d)w=abC+bC+ab

9) t=abcd+abc +abd

Exprimir sob a forma decimal as funoes do exercicio 11 Construir as tabelas verdade relativas as funoes
a) x(a,b) = 2(2 3)

bl ai ai ai

via i,al = Elooo 010110) via b,a1 = 21001011 11il via b,ai = 210 3 5) zla,b,a dl = 2i0010 0101 01101011)

13
Minimizoo de Funes
Minimizar ou simplificar uma funo booleana a operao mediante a qual se reduz ao minimo o nmero de seus termos, resultando em economia do circuito a ela correspondente. Os mtodos de aplicao mais freqentes na minimizao de uma funo ou expresso booleana so: O 1, Mtodo Algbrico; 2 Mtodo do Mapa de Karnaugh; 3 Mtodo de Quina-Mcl<luskey. Vejamos como se procede em cada um deles.

f) zla,b,c d) = l0 3 5 711)

qxx/uV/\ /\V

13.1 MTODO ALGBRICO


Este mtodo j foi estudado como aplicao dos teoremas da lgebra de Boole; daremos apenas um exemplo, como lembrete, para possibilitar comparaes futuras com os demais. Seja minimizar a funo y = a((b' + c') lb' + cl) + ab + la' + bf) (b + c'). Soiub: _ = a(bb' + bc + b'e' + cc') + ab + (a'b + a'c' + b'b + b'c')

V = allb + c'l lb' +c)) + ab + la' + b') lb + c')

= abc + ab':' + ab + a'b + a'a' + b'e'


= ab + b'e' + a'b + a'c' = la + a') b + b'e' + a'c'

=f-- _ _"*z .. 'fz ,V-z 1 'ff' , 'fe -.Q z ~ wi

= b+b'c'+a'c'

i_ _ _ "'!"!_ -' _ -Tr. 1.-z 5"* .-. '---vy-:_ z . ._ ,z.-. _ _, .:

_ . .~a:f-=-

l.

= b+c'+a'c'
= b+c'(1+a') _= b+c'

_ 1,,

~z._a__z;i;
.=_'

_ :f_'f'-

_ {

"

MAPA A TRS vAi=iiAvEis

z-, ., -

13.2 MTODO DO MAPA DE KARNAUGH


O mapa de Karnaugh uma forma modificada de tabela-verdade e nos permite representar graficamente uma funo booleana e, se for o caso, simplific-Ia. '

1 EEE
MAPA A QUATRO VARIVEIS

0 IWIIEI 01 EEIIEII 11 EIIIIII

b'

01

11

1
cd

2 8 : as ;

MAPA A UMA VARIVEL

00 0000 0100__1_100 1000

01 0001 0_10`11101 1001


11 001101111111
7 7

No caso de uma varivel, o mapa formado por duas celas que correspondem a cada um dos valores 0 e 1 que podem se atribudos varivel.

10 9010 0110 1110 ,1010

==i ab
oo afblczrdi

ab 00 01 11 10

' _ ___'_'_
arbcrds abcfdf

___l9_
abocsda

Esta tabela pode ser lida de uma das seguintes maneiras:

11

a'bfcdi

a'_bo:l abcd

ab'cd

10 _afb,'_aa_'_ azigad'

aba'

aizraai'

01

01

=~=
conforme usemos os valores atribudos varivel ou prpria varivel' na forma complementada ou no. Atribuiremos sempre o valor 1 varivel no complementada e o valor 0 varivel complementada.
'\

cda b 00 _01_

1_1
ni-I

10

)
1

, 01 _, g
_;

00

U1

NJ

ia,
14

11 _ _ 10 g NJ
(AJ

\I O3

1 _ iq

MAPA A ciNco vARivEis


MAPA A DUAS VARIVEIS

0 l aa 139 07 ___10 00 W 01 1
^ 11
ab

E formado por quatro celas que correspondem s combinaes binrias que podem ocorrer com estas variveis. Os termos da funo a ser representada devem ser escritos em ordem alfabtica e, em todos os mapas de Karnaugh, a ordem em que entraro as variveis deve vir claramente anotada na parte superior esquerda. Representao binria Representao literal Representao decimal

ad _99___l 1 00 101 0"


, 11:

ab

'

11

10

b0

,<>IIIJIIIIEI

b'e

EIIII

<>IiIIIiIII

b'_0

EI!!

~IIJIIIIII

10
l

A 10

IIEI

ill

1
_. .`, _ E

'

.ilv-.IV ILLJ..

- .-.-'agr-'zzz

'..'.--';'-...t ...

MAPA A seis vAi=iivEis

_. z--_

7711. '51 i
_V;_L'....

-V --z;

ia:

...'_:.'.-~~ 6'

0
ab cd 00 01 11 10 ab 00 O1 11 10 cd 00 01 11 10 ab 00

1 1
01 11 10

- -.. v'-..'. ._` :.5-- .. .


'J-5 '

ez-i:_*z - '_
-,Y

-AW' -

lvv'

-II 01..-

11 -HI 10 -II

y = abc' + ab'c' + abc + a'b'c

00

01

11

10

ab cd 00

01

11

~ 10

nEPi=iEsENTAo os UMA |=uNo ouAi.ouEi=i


Representar a funo y = a'b'cd + ab'd + abc' + ac'd', a quatro variveis que no est na forma normal disjuntiva, e em trs de seus ter mos falta uma varivel. Usando o teorema expresso por ab + ab = a, temos
YZ

00

01 11

001111

10

011111 111111
101111

Como se pode notar, a partir de seis variveis o processo de representao torna-se complicado e difcil e no atende ao carter prtico da lgebra de Boole. Posteriormente, estudaremos outro mtodo que supera esta dificuldade.

a'b'cd + ab'cd + ab'c'd + abc'd + abc'd' + abc d' + ab'c'd a'b'cd + ab'cd + ab'c'd + abc'd + abc'd' + ab c'd

e, construindo o mapa correspondente, vem:


ab ._ -W1 01

REPRESENTAO DE UMA FUNO NA FORMA CANNICA MEDIANTE 0 MAPA DE KARNAUGH E Representemos, mediante o mapa de Karnaugh, a seguinte funo na forma normal disiuntiva: y = abc' + ab'c' + abc + a'b'c. '

cd:

-L O

A ''d

01 -11 -

00 11

10 -y = a'b'cd + ab'cd + ab'c'd + abc'd + abc'd' + ab c d Note-se que no caso de funes como y = a'bcd' + ab deve se considerar todas as possibilidades de aplicao do teorema ab + ab' = a, ficando o mapa cor respondente como se v a seguir: _ I
ll U' O Q..

Trata-se de uma funo a trs variveis e o mapa a ser utilizado :

be _ 00

01 11 10

Para representar a funo atravs do mapa, colocamos o valor 1 nas celas 142 correspondentes a cada termo da funo deixando as demais vazias. Assim: '
nt- A=I`l\'\ FME*

0 01 11 10

I I I IIIII

:nl

-.niO

III2III:

.'-.Pse
_-_.;___,_

-1 za-_ _ __ _

_. ...._..,
'irei'

Na representao de uma funo mediante o mapa de Karnaugh deve-se buscar a forma mais simples de representao, considerando-se que uma funo a duas variveis pode ser representada em mapas para maior nmero de variveis. Assim, a funo y = ab tem as seguintes representaes: 8 H ab

SIMPLIFICAAO DE FUNOES MEDIANTE O MAPA DE KARNAUGH

no

na

P'

_, Dada uma funao representada em um mapa de Karnaugh, se encontrarmos termos em celas adiacentes, podemos fazer uma simplificao. No mapa que representa a funo y = a'bc'd' + abc'd + a'b'cd + a'bcd + ab'cd',

0
1

ba

00
01 11 10

ad

qn.

8 a
i

01 11

8.

_;

_;

-0@

Duas celas que diferem em apenas uma varivel so ditas adjacentes e podem ser combinadas pelo teorema ab + ab' = a. Num mapa de Karnaugh podemos ter celas adjacentes sem que tenham lados comuns. Exemplos:

O U-*

a1ba01 0
1

blaaaoi 00
01 10

s
cla

podemos efetuar uma simplificao, substituindo a'b'cd + a'bcd por a'cd. A operao indicada agrupando-se os dois termos conforme mostra o mapa retroapresentado. Quando os termos a simplificar encontram-se em celas nos extremos do mapa, indicamos conforme segue:
ab
C

1 )

ba

oo _I: oi __ 11__
101

ia 1116.13 00 00
01 11 10

011110

0 E 01 IlH I: 10 -

00

_. O I.. I..

IIIIIE .gp
I

s
11 10 ab

1 -A

No mapa da funo y = a'bc'd' + a'bc'd + a'bcd + abc'd

bc G) 01 11 10

ab

00

01

-__oi In--I: 11 IIIII ia Il___

(IJ

01

11

10

ni

: L: -'_
E r. L'

1 o:28a'_. 1. 1.

III8III2 IIII: III:

__ _:'.

1 112. '; -'I ,__\1f_'

' _I,_.{~

temos a

b
O -.A

___

-aum; _. _ .

11

10

aa

bca
_ -1-=` Jg- ` =. __ 121151; __ - _.

00

01

11

10

ai/

I
ab
00 01

O0 01 11 10

--ll--(il-'DI --I-I -__y = bc'd + a'bc'd' + a'bcd

V '_

11;-z ______ ,__ ,

00 -01 .III

1,; :ii 1_____ ; _ ' - ' 1-1__f._ -" '^__1'' 'rsr


S- "-':*-_;_t;.- -_ *... ;-'.1` : 7_--T T'- '1--_ ,q_-,-._

11 IIII 10 --

\/*f

y = a'b'c' + abc'd + a'bcd ~

e, temos duas maneiras diferentes para simplificar a mesma funo, ou seja

cd

11

10

aaa

1 0
11

1
__..

0 !-I_-

1-1-I-

11 -ll-I 10 -__y = a'bd + a'bc'd' + abc'd

z1ierre@e::aa
_--

10

ia

Transportando estas representaes para um nico mapa, obtemos:


*uai/\-. /\|_nf./~_"Iz1`\ni/-.

Considerando que as celas adjacentes no caso de ac e a'c diferem na varivel a e no caso de bc e b'e diferem na varivel b, podemos agrup-las da maneira mos trada a seguir, ou seja:

ab

00

01

11

10

639

bc

01 -EDII @
11 101-10 -II-y = a'bc' + a'bd +`bc'd

01

aiii
11 im io

/'1`~._ r'i`~. Q

01

80.. na

11 liiil ia EZ

_ QIraiiii

6.

Outros casos de simplificao: ab

que a funo simplificada. Para simplificar ao mximo uma funo torna-se necessrio incluir o mesmo termo em diversos agrupamentos. Vejamos agora o caso em que as celas sao adjacentes duas a duas. ~ Seja simplificar a funo Vy = a'b'c + a'bc + ab'c + abc. O mapa correspondente :
_ ` !I_ i.

00

01

11

10

'BS 3.
1

'ill' 2

I E
__

_ _

_ 01 @ 00 lili:-lili GED 01 KIIE @ I

11 XXVII!-'E
10 1 1
y=bd+b'd'+z'd

v=ab'+a'd'

... z_.;:

Vejamos agora em que as celas so adjacentes quatro a quatro. Seja o mapa de Karnaugh que representa a funo

_.;,"..

_ !-`

expresso por ab + ab' = a, a termos que diferem entre si apenas por um digito binrio. Para utilizao deste mtodo, procede-se da seguinte maneira:

_-.qn-_.

:z=\.'
` ..!-.CI1 i

ai Classificam-se e agrupam-se os termos da funo de acordo com seus


ndices. bl Comparam-se todos os termos de um dado grupo com cada termo do grupo seguinte, ou seja, de ndice imediatamente superior, mediante a utilizao do teorema ab + ab' = a. Aplica-se sucessivamente esse teorema comparando cada termo do grupo de indice i com todos os termos do grupo de ndice i + 1 at esgotarem-se as possibilidades. O termo resultante consiste na representao fixa original com o digito diferente substituido por um trao. Marca-se com (/) todos os termos comparados com ao menos outro termo. cl Aps tabular os termos comparados, procede-se novamente conforme o exposto no item b at esgotarem-se as possibilidades. Os termos que ficarem sem a marca (/) formam o conjunto dos termos irredutveis.

v = a'b'c'd + a'b'cd + a'bcd + a'bcd + abcd + abcd + ab'cd + ab'cd.


' ._

H. .,

-.

': ---vi.',':' l. 1., \_

Wi `. -._

Ii-.,=-1
'WP

_ tl; _`, .. V.

01

3 e

1-.

ElleElle Ille
00

.__ *r _. 1-=-.;.z

'_' . 1-ri' . `._`

v'-; -. i~-

-_; :--.

i.-.il ., .^`: 1. ~'_* F2.V 'Y

az-t-_-'-

_ '_:.
,'~ z i f

. ==z_. .;f.~~ ,_
(l _--:ft L

"v'--"('

- <..;:-'

Temos:
_

'

ri;

J A
_"`

rf:

. fz, T ' ' ;. ~. `_z '_~'._ ,.._ -I .11-

il .la/.-;fz_

I-ze:

cd

01

11

1o

00 __
10
5'~z

19 Exemplo: Determinar os termos irredutiveis da funo

1-1..-. ~

-:__

nxnfj

___

-'z:".'V ` ' z > :"' ` . I ;.-7; _.' -.l.'_ '_'-1' :ff _.: .=
Jg _ ' '._'. E

f(,V,Z) = 'y'Z + y'Z' + x'\/z' + 'yz + y'z + xyz,

.,;'_: ;I_-: ; :_1

i`_;.* z. E
't ;_j\ ` ._._

V = Cd + 'd = d
-

Soluo: f(x,y,z) = 2(00l,100,010,011,101,111) -< :RIR

r=__.\,_ _~;_

=.~~"" ".=' -_:. .'1'\ -` il' *` fz' - '?:,~ fiz?;_',?,

z'| :-3
1;-_

ea oo 01 oo _
.Q

11

10

,_,,__'f,_.

fr, .' 12, .,,,

O 'I
1 1

ii LU' lee.HU'
4

- f
..

i 1

z -f=!*"" .i .; -. ~,,_' .V ,. 1;-r_;_T*.' . ~,'.1zz if. = -*1.f; 7.5. _


' .-_.5,j_'.

~<

N-

E z''r-

T A

n.. J

'

~:.=;-.':;.. -' 1.=''


4-* .-

_ _ _ ..| _1 ..:... , ., 1. ; ' 5'


- ' "J _

- o1/ 1,5,3,7 - 1oo^/2,3o1.y


4,5
@ Q -... .< . .a

1,3 1,5

o - 1 / 1,3,5,7 - - __._,__ ,xyz


go

-z )

I. _
-1

.z
_'T` "_:

; `~y iai'`

___; _..* :ft eiw

y = ad + a'd == d
'-1. _ _

Bl; N _.

'zig'
\ _ '

`
_

=.`~',_ Hai-_
` Jc {.-s?

H@ H-' 9.O

'AJ `\ \_i

3,7 5,7

g\\

13.3 METooo DE ou|NE-MzcLus|EY


Este mtodo aplica-se exclusivamente a funes booleanas na forma normal disiuntiva e notao binria. Supera as limitaes do mapa de Karnaugh, que pode ser aplimdo a funes_oom mais de seis variveis e apresenta um procedimento que 148 permite a utilizao fle computadores. Consiste na aplicao sucessiva do teorema
-

1
a

`1\_' .-rm .

4.' 1. -._ ' _ "':.' ;:-'rn1=* i .r

Como 1,3,5,7 e 1,5,3,7 representam um mesmo termo, no ser necessrio repe.|o e a funo 5mpfcada dada po f __ _, + , + _ xy X V Z'

i 1

~ =._ ~: 1 _._ .~ __ _ __ .__

;__ ~._ :T -~. . nz _ ._ 1 ,__-__ i __ ._.,. .'

l 1

`z__.'?B.4.' __x ':', _ I , '


-';'

J.-l `.`- .r .'I__;_'_ ___

_ E211 1-4

:.--.

,, ,
....tv

E . fz z. __z-,-._
j'

.s'.,.-..., _. _-,~

_.

._
z .

1 1
29 Exemplo:

J-'.,_:_' .'.'z;'-.-;..

z '...

Soluo:
V-

)
1 1 0) 1
| r

Minimizar a funao:
Y = a'b'cde + ab'cde' + a'b'c'de' + ab'c'd'e' + 8b'C'Cl' + 8'b0d'B 'l'

15?

v(a,b,c,dl = 2(o100,1100,0001,0101,0110,1110) e
v(a.b.=.dl = >3l4.12.1.5.6.14l
_a1bcd mabcwcl
1,5 - 0 1 0 _ O

+ abcd'e' + a'bcde + a' + a'bcd'e' + a'b'0d'B'. Soluo: Por convenincia de notao, podemos escrever a funo dada na forma binria ou decimal. Temos:
y(a,b,c,d,e) = (00111,10110,00010,10000,10010,01101,11100, 01111,01100,00100) e

_L.abcd
4,12,6,14 -

H ao

\\\\
i/

vz.b,z..e= :v.22.2.1.18.13.28.1f.12.4z
)

azcn 01

4,12

:unle-u-I

Ez \

v = bd' + a'c'd + a'bc' + a'ba'_. 2 _ 4 16 1 12 1 13 q N af ` P " 1' Y 2,1a -o N oo 9.. ; \4,12 0,- 16,18 1*o O - 5 12,28. - _. 9. 1e,221o - -z oo

- b'c'ide' 1

Embora a funo esteja simplificada, no est minimizada, pois, apesar de serem seus termos irredutiveis, no so termos irredutveis indispensveis. Para identificar tais termos, usamos o crivo dos termos irredut/1/eis.

~-/\ `-. -/"~1-/

_)

) 1 1 )
_] J f

!'13

22
28

i"'
- ~oi-'oE_ ,-c_,.\:_?0'-_.@-AQ-!
_@_-B-6-LA-@@@-P

f
\\ i"\\

nun

1 M4 __5,_,__,e _, 125 14
bd' a

a'c'd a'bd'

15

:ga--ooooo

e a funo simplificada : Y = b'c'de' + a'cd'e' + bcd'e' + ab'de' + a'cde + a'bCe.

) )
)

39 Exemplo: Minimizar a funo:

J ) )
1

Neste crivo aparece na horizontal a notao decimal correspondente aos .termos e na vertical os termos da funo simplificada. O fato de cada termo da funo simplificada ser parte dos termos representados na forma decimal indicado por um ponto na interseo das linhas e colunas correspondentes do crivo. As colunas em que a cada nmero decimal corresponde apenas um nico termo, identifica um termo irredutfvel e indispensvel. Assim, bd' e a'c'd so termos irredutiveis indispensveis; os demais so termos suprfluos. Ento, a funo minimizada resulta: y = bd' + a'c'd.

150

v = a'bcd' izbca' + a'b'c'd + a'bcd + z'bz'.+ zbcdt

'_\-' _ . .\ . __._ . -_-_-, _ -_ _ .-T'-v'

-pv

,. _
I

Exencrcios
1. Determinar a funo representada no mapa:
-

Correspondencia entre numeros decimais e binrios


.. __ .z-_~ L..
:`_ H-

_' r`1'

'_

- .~_ __ _,_ _ _- z . ...-_ . _ ,___,-.,,_ ,z-.-'- -.

.__'z".'~,_'+;. _ .a_'-

N9 Decimal 0

.f

O
_ _ _ _ z f I' 7* ,I _' _ L' _

_
if 1 7 f

j Tlab iz za 00 01 11 10_ ,C Q0_ 01,11 00 1 1, _ L 00 _,1_ _ _ 01 1" W _ . 01 _ 1 H 11 T1 A 11 _ 1


10 iii I
,_ _

1 _ 1
Z _

@'-IOIO'I-hbh- i

-1

_' L

10

jm,

fr'

Representar as seguintes fu95 U0 mapa de K3ma9h 1 Y(a.b.c) = ab + b'c + a'b' + Gb' + bd

i viz,b.z.a =# and + abr: + bc'd + bd'


) y(a,b,c,d) = E('2,4,5,6,7,11,14) mQ..'I_CJ`'J9L y=(3+b)1b'+C'l'C1i
fi V = ab(a' + c' + d')
_ _ _ .

v(a,b,,ai = 2i0001,0101,1111,1010,1001_

10 11 12 13 14 15 16 17 ia 19 20 21
22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47

3. 4.

Simplificar mediante o mapa de Karnaugh as fu0e5 do e'''

"

' '

2.

_ _ _ . - _ ' f " : Simplificar pelo metodo de Quine McClusl<ey as seguintBS U05


3)- y = a'b + bc' + a'c' fl- b'd + 'bC' + a'b'c

bi V -.z abc + a'bc' + ab' + a'c + a'b


C) y=3bc+ab'C+3C+bC+3d+b'd

dl e) f) 9)
5.

Yla,b,c) = El0,1,2,4,7l 3 Yla,b,c,d) = 210,1 ,3,5,7,9,1 1,15) y(a,b,c,d) = 2(0,2,4,6,7,8,9,10,11,13) yzaq-b++d+ab+a'b'd'+abcd

. . ~ "' exercicio 4 e s funes Desenhar os circuitos relativos as funoes dadas no minimizadas.


, l

152

N9 Binrio 0 1 10 11 100 101 110 111 1000 1001 1010 1011 1100 1T04 1110 1111 10000 10001 10010 10011 10100 10101 10110 10111 11000 11001 11010 11011 11100 11101 11110 11111 100000 100001 100010 100011 100100 100101 100110 100111 101000 101001 101010 101011 101100 101101 101110 101111

N9 Decimal 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
f

NP Binrio 110000 110001 110010 110011 110100 110101 110110 110111 111000 111001 111010 111011 111100 111101 111110 111111

__-_--:_

fif
-ie

' 1";-
'J

CIRCUITO

TABELA I VERDADE

iii

M L

Di N

F U N AO BOOLEANA

.Li

|NvEnsoa NEGAOI
T_`"` TTT;

I fr mn " "E' ni:

-51*
D_ :Ep

14
,I

Portos' Logicos
0

1----I
O O

l_

..z.z,

QI . . in-AQ

-*O-#00'

_-u_u

-i--Ji--_z

At agora estudamos as funes booleanas descritas algebricamente. Nos circuitos lgicos, costuma-se indicar tais funes graficamente de modo a torn-las mais simples. i A representao grfica das funes booleanas feita mediante simbolos padronizados por normas internacionais chamados blocos ou portas lgicas. As portas lgicas so as bases dos circuitos lgicos e tm por finalidade cornbinar as diferentes grandezas booleanas de modo a realizar determinada funo. Cada porta lgica pode ter diferentes linhas de entrada, porm. somente uma linha de sa ida, conforme veremos. No decorrer do nosso estudo, trabalharemos com as normas americanas MIL-STD-806B IMILITARY STANDARD) de uso muito freqente na prtica; citaremos as normas da CEI (COMISSION LECTROTECHNIOUE INTERNACIONALE) reconhecidos internacionalmente e as normas alems DIN 40700 IDEUTSCHE INDUSTRIE NORM). I Daremos, a seguir, uma tabela com os circuitos, tabelas-verdade que os definem, portas lgicas segundo as normas citadas e funes booleanas correspondentes que interessaro ao nosso estudo.

(NAN D)

13-ID--oc:U' - *O-*O
@......_; -i-@@

-*- \C3U' QDO-*X

:@,_

=iz+izi

.i_........l......

invertida

- H-ICDO

-no-poa'

;. .4Q-

-uil_1u_v

----i-1---Ii

invertida

_.._L_...L_...
'

-l-*OO

U' -Q-aC)

$._

:2

.=1.-...i

:)D_

:@_

=:i. +1-iz.

Exclusivo
-_@

-*O-*O

Q--@

1154

L..i............_..i.

~
._.fvii;f~i

11

-_ _,_,,,, __ -.-..

.. Vejamos a resoluao de alguns exemplos

1 Exemplo Representar mediante portas logicas a funo x =ab Soluao

1137.' i- faiz: tz ,..., ... _ z-.'11 71 -___ - "_+='z.~ I -_ ' __., 92: _ _ .. V .1.'-.__.,._
"ama

49 Exemplo

Representar a funo definida pela tabela verdade como circuito logico


if _

z.,.-._-,-_ ._ z '-3-1: .

;-.z-;-".~1;_. 1-2;'
_

~'.M'_ 3-.

O
-@

,L._.

:i;>_~
Nil

-*C3
_ 41.

"*CD@@

.nl

29 Exemplo Dar o circuito logico correspondente funao z = ab + H b Soluo _' Soluao

-o- c:o:
-ul

-o ..
-ui

- --c oo 5 ca -ao

4.. . l

A tabela verdade define a funao x =ab0+abc+abc' +abc


z = ab + b

Simplifiquemos a funao abc+a(bc+bc'+bc) abc+a((b +b)c+bc)


abc+a(c+bc)

39 Exemplo Determinar a funao correspondente ao circuito logico

abc+a(c+b) abc+ac+ab (ac+a)b+ac (c+a)b+ac bc+ab+ac Ento,x = bc+ab+ac

O..'>U'm

E o circuito lgico correspondente ser

Soluao = b+c+d) (h )=

59 Exemplo Dar o circuito logico correspondente a area hachurada nos circulos de

if

/,///

Ill
-JD*-J
Soluo

Soluao A funo correspondente a area hachurada e


~_./\-' /~. .~_/-*Ilfn/-u* -f

=abc+abc+abc Simplificando, obtemos a (b C + bo) + a be


-_

O circuito Iog|co dado corresponde a funao = abd + acd + bcd + ab + a cd a quatro variveis e que nao esta na for ma normal disiuntiva, faltando uma variavel em quatro de seus termos e duas va riveis em um de seus termos Usando o teorema expresso por ab + ab = a, temos = abcd + abcd +abcd +ab cd+abcd+a bcd +abcd +abcd +a bcd +

-. /\_/\-/`\u-/

ac+abc h+am c (a+b) c ac+bc Portanto, x = ac + bc E o circuito Iog|co procurado e

que, representada no mapa de Karnaugh, nos d

null-
na *Hum

6 Exemplo: Simplificar o circuito logico mediante utihzaao do mapa de Kamaugh

__-i.-

fih-' =`*
1' ~'I _-: .~ :'',l-:xK-; ii 'I :_
`,. .d

donde tiramos a funo simplificada:


x = ab + cd
. 4,' fi

ii

cl

157.'

Jvi
,f

bj-
C

e desenhamos o circuito lgico pedido: a

.T-__ '_ --1._-' __

'*'_

ou
*

;,_?_'.. .'

dl

_ ._,._.. _ _._ _ _._-i


.ii 3-. .

_ , ,;.'

a b
dilvi w wdw
8 C

b
x
_

`-._ 1., ___ < '_._|;; _-z

_-_
1.

' "iL.'?.._:;~1*.
._ _^;{_-s. `- `

- ;`.1"._ i
.

~ zv;.,-.'r_, -lr ii" -*i::*_-_ . .`._,_', -~

; . 'i.Y'"-ff _- 5-`f. _._~'

D )
l l
\

C d

_ *_ . -'- :'i H;_r`-b


_:' __;.;.*

:.

gif'

_;'| __.;_--__^- '

.?":'

el

a
b

';;;~_~
=f

.`\*~- .z '~: ;'

'-tl*

. "-__ v..'-31'?
.

.f}:.t;=..

\-~~,.-_,..-. ,, . _ . f:

^z

" 4.. `:` 34:,

-'=*r?5:'f*`-.. . ._-\,.'._... .`.-_

_ _ M1.

~. .,,-.'._ "_, -__ .- - ._' - -,

~,_z
4? '

Exerccios:
_

i
`

.-.,.._i.` ' "`.'e,'


| `?`L-

_ ,__
-

'I;f'.. .t-"r:.^

_;-ii. z-" -z_1_;-z`=. :U '.r'.- ;.' _ z-zw-'rt

a b

) )

1. Representar mediante portas lgicas as funes:

_
. ...;.;.,
.\

b) z = _(a ' b) + c x= a+b c+d

(C .

lj. _
z_.\_

Dar as tabelas-verdade correspondentes a cada circuito logico.


3
a

dl Y = a'bc + ab'c'

i E
os

\f\uf\

fi v

x =a+b+c

+1

b
_? ;

:HW

i. 'r.'~_ .T
1

,_.,,__. ;;.`.`-

l l

- -:--_:-1;

2. Determinar as funes correspondentes aos circuitos lgicos:


a)
a

i
15161* rf: .1 2 . :._._.._._-__ _ _ r. ___l, ._.T _* _z :z';-.L ~
... z. ._' _. _.-;if-_ __ ,,___.____ _z.

.r..z-._. -_; _ .z. ._ _ _.' -i"f&`--'--,z-. _ )_,,

_~._-

;-'=_
_. .

b c

) ) )
) )
.

_-___..q9_*\` _ ._ ug,i_ `_ ._

.-.:';;.:- f
.ii

_ 'F

.`_. .. .-- '_ '_ _-*.'.*: `_ z;.__. ._ - il .-: --_ -._-. ,_

i `

dl

2 f _i, _ .-_-.~. _. '_ ____) ','~_=.1 --', , Qu. - - '-`i' '.'*-_`- ` f.'-_ .haz'. ...'' *iii .

a.. *.;.~:.'

'..r

a b

,)

)
)
J

'_

.-, A E

'K

a
c _

ih

__

160

a b

_ ___* _. ' ,' -.._ =

1
'l

l l il
r

4 Desenhar os circuitos correspondentes lSmDlf3d5l s t3bla5'Vefdad

6. Desenhar os circulos de Euler correspondentes aos circuitos logicos:


O I l ,f Q

al
_ab

bl
lazb_cy 0
l . _. _ i 1 _ l]

cl

ia ii;_ b `z

--r-1
;c oo ___ oio -:

a)

1
O

.r.._._._i.Li__.-iii-.-gn

oo .._. ...S -foo ------l--i--1


l

.
fff?
__ ._ ,

i
~_/`~.~'uf-r'\/
_l
i

l cal -t:-Deco _ ;. i. _i{li:

~ i _
_

bl

__

__o ii . . ci:b-35 1;.i . - ic:E.: c:i . EE-oci

. . .--t

i_

. .-@

1_

_..5_. ._1.. _.
_

do c: =-4 -{ -DE-

_
'!

,;...

_:
_ :

a. -_1\' _

util'

.z-_ ,_

=I.t{._'__'. :` ,:`-

'

) )
`\

_- _*-.

E _
` _

- - ' uler. 5. Desenhar os circuitos logicos correspondentes aos circulos de E

_ ___ ,z N. -zh;-'-; '- .+ u.`~ zz. _ _ "


1 1.4-

b a b

is

I
_

zh ,__'h ...__ .

-of

_,

M./\-/\ ~. z

_,

l J

\ \
t

'_ ___

) )

`. -""'. ... ' ' ru :.' _


- 51 ln.

._

- :+'

_ `,-,z_:

eu eu

1 )
)
1

el

il ti
_

-:J-f

1' .~ 11-- _ . ' . ..L-4 _ ~.

,_

_)

' 2-5:1-5".-_'-Z' _ ` _ _ .t _ ' _.~ __ _ -.\.::. -*' _ 2. :\\E - '_ ._ .. - .~v,'_I' _. ._

_ __.;'z_,;_z_-~._z,_= _
_-L-.

_.'.w_._

J
` ) J i ,i

8)
' . _
_

__
1-* t

,_\

~ ' . . , . _7. Simplificar, usando os teoremas da lgebra de Boole, os circuitos Iogicos

div/

__: 1-em 3 _:

` -:'f?---=.';_ -_..---'z
fm-

"

163

--_-*z_'' -.; f.J|.f=.2 .ti

"_'__;,; _ ._ _ .;;'. -_-@*""`f"_*

-::- za' -_

iii __

bl
_ `_- L~:1-;'- _

=
.-

b)

bm
8 C

; ;=-Z' _1-_.. _

-L. '_'P* *_&5 "

D
cl
3

3
cl'

al

b
af

b
b
a b a b

.
cl
al

b
al

b c

.ff

o.n__ o_cr

dl
8. Simplificar os circuitos lgicos mediante utilizao do mapa de Karnaugh
i

~z.c_'\n-f|v~.u\fvdu\lVrwnd-rI"d.'vz|fI'
al'
i J z1

al
8

br

b
3' C W __ __* _ ....__ _..

ai

C
dr

'

Z
)i
l
f 1

3 C

~. z-. \-f r\-IN.-f

b c

lf

li

1 l

-uz

f-

- .:.;?:_-elur -1-1---;-: _ ._.__. -__-_--5.0.: _ _ - _ _-...


.'I'\ ' '.' '

,_/~.z\-/wi`f~l-_!

Bibliogroio
ALENCAR FILHO, Edgard de. Iniciao lgica matemtica. So Paulo, Nobel, 1976. A.I.D.E.P. Algbre de Boole ( Utilisation pour la simplification des circuits logiI 7 'ques) - Cours Program - DUNOD, 1971. BITTINGER, Marvin L. Logic and proo Addison-Wesley, 1982.

_ I -1'-_-'-*r

_ -``.'5_L*e" -_,.f._._ ___ v5 _. a.z~, z_.~_. -z _- .. _ __-_-_._,,~._


I

HOHN, FIHHZ E. Applied boolean algebra. Macmillan, 1966. _ KOH/Vl_,8Zv1. Switching and finite automata theory. New Delhy, McGraw-Hill, 9 . KORFHAGE, Robert Logic and algrithms. John Wiley & Sons, 1966. LARNEY, Violet Hachemeister. Abstract algebra; a rst course. Prindle, Weber & Schmidt, 1975. ' LEE, Samuel C. Modern switching theory and digital design. Englewood Cliffs, Prentice-Hall, 1978. J MANG_E, Daniel. Analyse et synthse des systmes logiques. St. Saphorin, Editions Georgi, 1978.

McCLUSKEY, E. J. Introduction to the theory of switching ciruits. New York,


'

't`f.~i-*c-z.-_
' f..:"

-if--z-._za_i_-_
_
~_

., _,,

.|.

_-T '_'.{

G-in

_"+_- 1: Qi, l-_' *'

'_ if-fi. .
ie,-_ '
' -

'.=_'- kb
.n_;. ._--za; iu' ' {E_ ~-z if*__..-_..-\ fi-'==' ?1.':^

'~-/' m -f

'-_''.;"*' ~*-'V ,
' '=. "Q \

McGraw-Hill, 1965. MUROGA, S. Logic design and -switching theory. New York, John Wiley 81 Sons, 1979. ' PINZN, lvaro. Conjuntos y estructuras. Harper 81 Row, 1973. RUSSI, Gonzalo Zubieta. Manual de lgica para estudiantes de matemiticas.

. _., _4___ __ __ ..., __ _.__

': _z -'FRT iT*~ .-.;.\''_; ,___ ... _.~ _ l-' --_.-:,Ia"_--}_

_ _ _. ia ; -z"f_;rT_lf-T;-: 1-`f'
;"' ' '- _

Mxico, Trillas, 1977.


ROETHEL, Louis F. Logic, sets and numbers. Wadsworth Publishing, 1978. _ SOUTH, G. F _ Booledn algebra and its uses. Van Nostrand Reinhold, 1974. WHITESITT, J. Eldon. Boolean algebra and its applications. Addison Wesley, 1961.

1 ,i ) i
l

Boscoro, A1zizs.N0zzzs ae zzzzzzz F1-cLs.1_ santo Andr, 1971.

2- -:_ .I H

-- F-_' -fien' ` `_ b'"-'l ,


_ '_'f; L_s' -

: :z_\=r__

'-

tw11: - _ -"'_ sf-_-,~,, . . _... _, ____.=.3f:__~*

BOUWENS, A. J. Digital instrument course. (Part 1). N.V. Philips' Gloeilampenfabrieken, Test and measuring department. Eindhoven, The Netherlands. BUDDEN, F. J. An introduction to algebraic structures. Longman, 1975. BUKSTEIN, Edward Practice problems in number systems. Logic, and Boolean Algebra. Howard W. Sams & Co., 1982.
. _

1'-se-

_ *_=._ `".

*rf211.45_~ _...,,_ .=-.--z*Ii

_=z|;*'-`\ .z_,._ z 7 '-__~-,-;.,-, -_Jz_ __:_ z __ ._- M - f

.`_`- Z-".`zt?. *7'_*'

-.-.3f.;;-

1 )
J
.JI

1`2`f%f
_1 _-'_-_I__^_-. -em `

CALABRESE, c1uszppe.L :41gezrzz af Boole. lvizno, Dzizw, 1973.

`
_

CASTRUCCI, Benedito. Introduo lgica matemtica. So Paulo, Nobel, 1975. CIANFLONE, Franco. Lfllgebra di Boole e i circuiti logici. Milano, Etas Libri SPA, 1978. ENNES, Harold E. Boolean algebra for computer logic. Howard W. Sams &Co.

_1:r

'

|-,if i 1-~'

sz'

-_

_--sz ,. .--z_z= _ _.__.__ _ 4:1 r _-_ *S Y.*V _.. z-- Re-111

7- -=_.__s'
_-rn

f__J'_::__:_'

fa _

..:-"

z."-;

zw'-

_ 333 l

\ )

1978.

.. \; _'-s._--z

iss
-f .f _~\`l_' ' _.-

"'-';` '_ _., _

.:;., :-_;y__

l l
J

FAURE, R., DENIS-PAPPIN, M. & KA UBMANN, A. Cours de calcul boolien to appliqu. Paris, Albin Michel 1970. FINE, Nathan J. An introduction to modern mathematics_ George Allen and
T-:`s_-.~. r H '_ _-gr .+
'U ` `-Yfrgl. LT? nn rf-_ " 1 _

.- . L* ' Y
:ln-'

12;

-'...
~

Unwin, 1967.

FLEGG, H. Graham. Boolean algebra and its applications. Blackie: London and

=-' Llzfz .._igrsg-._ ". i _; .


. 47-. _. ._ ;-~; 5. _

Glasgow, 1964.

-F
.___ .. _'E'z_-' .,. _ _'_ -:,:. .

) 'i
J

,ias

HILL, Frederik J. & PETERSON, Gerald R. Introduction to switching theory and logica! design. John Wiley & Sons, 1974. HOERNES, Gerhard E. & HEILWEIL, Melvin F. Introduccin al algebra de Boole y a los dispositivos lgicos (Autoenseanza Programada). Madrid, Parariinfo, 1976. J

__ ._-_

"-`- ";i _-'_'*~5.'. 85-"z\ '3~"

_
T*-` ' -`;_-

sf- \'\`s~-E .._.-'tz .. __,_z_ -_r_ _ .___ __ '-.,-_; -

iz_,._. -_ 'l 4'-n,"!f]I'_`__-`_`:1__.~jf' ' .'.$\-5


___-_: _1-,_-;_ *_ -

'f 42'-

- _-...fe ..~ Ff;-r; 1-'