Você está na página 1de 165

.

'

.j
.c
rn ;8

.o

8,

~
@
~

<!
a:

rn
w

<!
w

s
(.9

'9

JACOB DAGHLIAN

LOGICRe
~LGEBRRde
BOOLE _ _

LGICA E LGEBRA DE BOOLE


Diferentemente de textos convencionais, este livro adota a estratgia de ensinar atravs de exemplos, com a utilizao de um instrumental lgico que facilita o entendimento e a modelagem de sistemas reais. O uso de ilustraes
como meio de exposio proporciona, neste texto, bases seguras para generalizaes e para o prprio conhecimento e desenvolvimento da lgica pelo
leitor.
A introduo Lgica e lgebra de Boole visa mostrar um exemplo de modelo matemtico de inmeras 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 eletrnica, computao,
pneumtica e outras aplicaes que envolvem at a Pesquisa Operacional.

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 Booleana na Faculdade de Filosofia, Cincias e Letras "Prol.
Carlos Pasquale". reitor da Universidade Metodista de So Paulo (UMESP) e
possui larga vivncia industrial que lhe permitiu avaliar a importncia da matria
ora apresentada.

APLICAO
Livro-texto para as disciplinas LGICA MATEMTICA e INTRODUO
LGICA dos cursos de Matemtica (bacharelado) e Tecnologia de Proce~sa
mento de Dados. Texto complementar para a disciplina CIRCUITOS LOGICOS E ORGANIZAO DE COMPUTADORES do curso de Cincias da
Computao.

publiccfc ct:lcr
www.EditoraAtlas.com.br

~ACDB

DAGHLIAN

LDGICA
,
E ALGEBRA
DE BOOLE
4 Edio

SO PAULO
EDITORA ATLAS S.A . - 2008

1986 by Editora Atlas S.A.


1. ed. 1986; 2. ed. 1988; 3. cd . 1990;
4. ed. 1995; 12. reimpresso 2008

Capa: Paulo Ferreira Leite


Composio : Scyle Up

Dados Internacionais de Catalogao na Publicao (CIP)


(Cmara Brasileira do livro, SP, Brasil)
Daghlian, Jacob, 1936 Lgica e lgebra de Boole/ Jacob Daghlian. - 4. ed.- 12. reimpr. -So Paulo : Atlas,
2008.
Bibliografia.
ISBN 978-85-224-1256-3
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 n 9.610/ 98) crime
estabelecido pelo artigo 184 do Cdigo Penal.
Depsito legal na Biblioteca Nacional conforme Decreto n 1.825, de 20 de dezembro de
1907.
Impresso no Brasii/Prmced in Brazil

~
Editora Atlas S.A.
Rua Conselheiro Nbias, 1384 (Campos Elsios)
01203-904 So Paulo {SP)
Tel. : (O__ 11) 3357-9144 (PABX)
www.EditoraAtlas.com.br

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

Carlos Alberto Garcia Calioli (in memoriarn)


e Rubener da Silva Freitas
Mestres e amigos cujo entusiasmo e
incentivo me conduziram ao Magistrio.

Pela ajuda de dois sbios: meus pais, Leon e Hripsim


Pelo incentivo de minha esposa: Hulda
Pela carinhosa presena de meus filhos: Leon e Ricardo
Pelos meus irmos: Carlos, Luiz e Celi
Pela oportunidade de realizar este trabalho
Elevo o pensamento em gratido a DEUS.

Sumrio
Prefcio, 13
Apresentao, I 5

1
SISTEMAS DICOTOMICOS , 17
1.1
1.2
1.3
1.4

Introduo, 17
Interruptores, 18
Conjuntos, 22
Proposies, 26
Princpios fundamentais da lgica matemtica, 27
Tabela-verdade, 28

1.4.1

1.4.2
Ex.:

.\S,

29

2
OPERAES LGICAS SOBRE PROPOSIES, 31
2.1 Negao ('), 32
2.2 Conjuno ( ), 32
2.3 Disjuno inclusiva ou soma lgica(+) , 32
2.4 Disjuno exclusiva (e), 33
2.5 Condicional(- -), 34
2.6 Bicondicional (+--+), 35
Exerccios , 36

3
CONSTRUO DA TABELA-VERDADE, 39
Exerccios, 42

4
RELAES DE IMPLICAO E DE EQUIV AL~NCIA, 46
4.1

Definies, 46
4.2 Relao de implicao, 47
4.3 Relao de equivalncia, 47
4.4 Equivalncias notveis, 48
4.5 Propriedades, 5 I
Exerccios, 51

5
ARGUMENTO VLIDO, 54
5.1
5.2

Definio, 54
Regras de inferncia, 56
Exerccios, 58

6
TCNICAS DEDUTIVAS, 62
6.1

Prova direta , 62
Prova condicional, 65
6.3 Prova bicondicional, 67
6.4 Prova indireta ou por reduo ao absurdo, 68
6.5 Prova indireta da forma condicional, 70
Exerccios, 71

6.2

10

7
FLUXOGRAMAS , 77
Exerccios, 85

8
QUANTIFICADORES, 89
8.1 Sentena aberta, 89
8.2 Quantificador universal, 90
8.3 Quantificador existencial , 91
8.4 Valores lgicos de sentenas quantificadas, 93
8.5 Negao de sentenas quantificadas, 93
Exerccios, 96

9
INTRODUO LGEBRA DE BOOLE, 97
9.1 Operador binrio, 97
9.2 Propriedades das operaes, 97
9.3 Sistemas algbricos, 105
Exerccios, 114

lO
FUNES BOOLEANAS, 117
Exerccios, 120

11
REPRESENTAO DAS FUNES BOOLEANAS, 122
11.1 Diagramas de Venn ou crculos de Euler, 122
11.2 Tabelas-verdade, 123
11.3 Representao geomtrica, 124
Exerccios, 128

11

12
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 bin:ia, 134
12.5 Funes na forma decimal, 135
Exerccios, 137

13
MINIMIZAO DE FUNOES, 139
13.1 Mlouo algbrico, 139
13.2 Mtodo do Mapa de Karnaugh, 140
13.3 Mtodo de Quine-McCluskey, 148
Exerccios, 152

14
PORTAS LOGICAS, 154
Bibliografia, 166

12

Prefcio
Os ltimos 1 O 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 currcu los das escolas de 2P e 3P graus sob formas diversas .
~ . pois, com grand e satisfao que ap rese nta mos ao leitor este dedicado trabalho do colega Jacob Daghl ian. Trata-se de um livro que surgiu como fruto do
intenso trabalho de pesquisas bibliogrficas e das experincias do magistrio vivenciadas pelo autor no ensino de disciplinas cu jos conte dos abrangem este texto.

~ sab ido qu e os estudantes so ma is hbeis quando conhecem a causa pela


qual aprendem uma tcnica parti cular e tendem a perder o interesse se os mtodos
matemt icos so apresen tados de mane ira puramen te abstrata, sem aplicaes prticas. Consciente, o autor adota a estratgia de ensinar, atravs de exemplos, ut ilizando o instrumental lgico para o entendimento e a modelagem de sistemas reais.
O uso de ilustraes familiares como me io de exposir.o, por certo, oferecer
base para generalizaes e o prpr io conhecimento e desenvolvimento da Lgica
pelo le itor.

Devemos de ixar claro qu e n o desap rovamos a a bordagem orientada exclusiva mente para o con hecime nto da M;ltcmt ica Pu ra . Porm, entendemos que,
quando o tra balho b sico in icial est iver bem assen tado, o aluno ter estmulo para
apro fu nd ar os indispensve is conhecimen t os ter icos da Matemtica Pura .
Com esses obJetivos o aut or prod uz iu um livrotex to claro e compreensvel
des t in ado ao s cu rsos int rodu tri os de lgebra Aplicada Co mpu t ao qu e certamen te dar os fundame ntos para que os le itor es cam inhem co m segurana nos
est udos, in vestigaes e pesquisas nessa rea do conhecimento humano.

13

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

So Paulo, abril de 1986


PROF. Gl LBERTO DE ANDRADE MARTINS

14

Apresentao

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 particu lar. 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 nossa formao, dedicando-lhes este livro e, para
evitar omisses, citando as diferentes escolas que cursamos:
Jardim da Infncia e Primrio

Academia de Comrcio "Horcio Berlinck" - Ja - SP

15

Ginsio
Ginsio Estadual de Ja - Ja - SP
Colgio So Norberto - Ja- SP
Colgio Dante Alighieri- So Paulo- SP

Cientifico
Escola Preparatria de Cadetes do Exrcito- So Paulo- SP
Escola Preparatria de Cadetes do Exrcito - Porto Alegre- RS

Superior
Academia Militar das Agulhas Negras- Resende- RJ
Faculdade de Filosofia, Cincias e Letras da Fundao Santo Andr- Santo
Andr- SP
Organizao Santamarense de Educao e Cultura - OSEC - So Paulo SP (Especializao)
Pontiflcia Universidade Catlica de So Paulo - PUC - So Paulo - SP
(Ps-Graduao)
Insti tu to Metodista de Ensino Superior po- SP (Mestrado em Administrao)

IMS - So Bernardo do Cam-

So Paulo, 1995
JACOB DAGHLIAN

16

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

Sim

No

Dia

Noite

Preto

Branco

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 ex
cludentes bem definidos.
A Lgica comeou a desenvolver-se com Aristteles (384-322 a.C.) e os an
tigos 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 calculus ratiotinator,
ou logica mathematica ou logstica. Estas idias nunca foram teorizadas por
Leibniz, porm seus escritos trazem a idia da Lgica Matemtica.
No sculo XV III, Leonhard Euler (1707-1783) introduziu a representao
grfica das relaes entre sentenas ou proposies, mais tarde ampliada por
John Venn ( 1834-1923). E. W. Veitch em 1952 e M. Karnaugh em 1953. Em
184 7, Augustus DeMorgan ( 1806-1871) publicou um tratado Formallogic envol-

17

vendo-se em discusso pblica com o filsofo escocs Will iam Hami lton (que nada
t inha a ver com o matemtico William Rowan Hamilton), conhecido por sua aver
so 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 (18 15-1864). ligado pela
amizade a DeMorgan, interessou-se pelo debate entre o filsofo e o matemtico,
escrevendo The m athematical analysis o f logic ( 1848) em defesa de seu amigo;
mais tarde publicou um livro sobre lgebra de Boole, chamado An investigation
o f the laws of thought ( 1854) e em 1859 escreveu Treatise on differential equa
tions 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 Principia mathematica por Alfred NorthWhitehead (1861
-194 7) e Bertrand Russell ( 1872-1970). que representou grande ajuda para
completar o 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 qual
quer 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 mestra
do no Departamento de Engenharia Eltrica do MIT (Massachusetts lnstitute of
Technology). a aplicao da lgebra de Boole na anlise de circuitos de rels,
usando-a com rara elegncia, o que serviu de base para o desenvolvimento da teo
ria dos interruptores.
O assunto deste curso, ainda que elementar, visa mostrar as aplicaes da
lgebra de Boole ou lgebra Lgica no s no processamento automtico de dados
(computao). como tambm na automatizao da produo industrial, mediante
a utilizao desta teoria aplicada aos fluidos.

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). Ou ando fechado, o interruptor permite que a corrente passe atravs do ponto, enquan
to aberto nenhuma corrente pode passar pelo ponto.
Representao:

aberto

18

fechado

Por convenincia, representaremos os interruptores da segu inte maneira:

a--- - Neste caso, somente conheceremos o estado do interruptor se tivermos a indi


cao de que a = 1 ou a = O. Conhecendo-se o estado de um interruptor a, pode
remos 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 abcr
to chama-se complemento (inverso ou negao) de a, e denota-se por a'.
Sejam a e b dois interruptores ligados em paralelo. Numa ligao em parai e
lo, 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 para
leio por a + b . Ento:

--c:J-

a+b _ _ _ __

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


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 simples
mente ab. Ento:

---a ---- b ---

- -- - - a b - - - - -

Assim, considerando os estados possveis de serem assumidos pelos interrupto


res nas ligaes em srie e em paralelo, podemos notar que:
o. 0=0
o. 1 = o
1 o= o
1 1=1
ab=ba
a a'= O
a O= O
a 1 =a

0+0=0
o+ 1 = 1
1 +o = 1
1+ 1=1
a+b = b+a
a+ a' = 1
a+O=a
a+ 1 = 1

Todas estas equaes podem ser verificadas desenhando-se o circuito apro


priado. As ligaes de:

--c:Y- -c
e

a-

b l__

ii -- C ~

19

so a (b + c) e (a b) + (a c), respectivamente. Os circuitos esto ambos


abertos se a = O ou b = c = O. e esto ambos fechados se a ~ 1 e (b = 1 ou c = 1) ;
logo, su as Iigaes so iguais. Ento:
a (b + c ) = (a b ) + (a c).

As ligaes de:

- [ a L J-

b_j

a]-

l_ c_

so a + (b c) e (a + b) (a + c), respectivamente. Os circuitos esto ambos


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

Vejamos alguns exemplos.


19 Exemplo:

Determinar a ligao do seguinte circuito:

~-:J-c

~n

p~

Soluo:
(a + b) c+ (n p) .

29 Exemplo:

Desenhar os circuitos cujas ligaes so:


a) P (p' + q p)
b) (x + y') (x' + y) .

Soluo:
a)

20

b)

--c:.J-C :~
EXERCfCIOS
1. Dar as expresses algbricas dos circuitos desenhados:

a)

- X-Y --r--Z~

~t -w _j

b)

c)

-x--c:=~t -

_____r- a' ~-

~b-c--1

d)

x-y]--[
t-w

e)

-x- y-ctz]- w-

f)

~~.bY

g)

a -

b;b-

a'

h)

-Q

b'

a -b ~d~

c -a

___jl __ b

bl

~d-e

c~b - d

21

-c :J--C~J-

i)

{ :=:=:}

j)

a -b'-c

--a'-b-c
I -

I)

b'-

a' _ b_c
_b'_c __

1' - b -c
--a - b - c

--a' - b ' - c

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


a) p (q +r)
b) m + (p' q' r')

c) m + n + p +q
d)
e)
f)
g)

(x y) + (x' z)
(x' y) + (x y')
(p + q) (p' + q')
(p + q) (p + q' +r')

h) (a + b c) (a' b' +c') +a' b' c'


i) p [q' (s +r) + r s] + (q + p') (r s' + s)

Ateno:

O leitor no deve passar s pginas seguintes sem que se sinta


perfeitamente capaz e desembaraado nos dois tipos de exer
dcios das seqncias acima. Tente de novo, marcando o tem
po e os erros cometidos.

1.3 CONJUNTOS

22

Sejam a. b, c, ... conjuntos de pontos tomados num espao E dado. Na fi


gura abaixo, o retngulo o nosso espao E e as figuras internas so os conjuntos.

. --=;-1

o,

o
E
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
comb.

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.

a +b

ab

Seja a' o conjunto de todos os pontos do espao considerado que no pertencem a a. Dizemos que a' o complemento de a.
Chamaremos conjunto vazio e o denotaremos por O o conjunto que no
contm pontos; denotaremos por 1 o conjunto de todos os pontos, que o conjunto universo.

a'

23

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


0+0=0
o+ 1 = 1
1 +o= 1
1+1=1
a+ a'= 1
a+b=b+a
a+O= a
a+ 1 = 1

o. o= o
o. 1 = o
1 o= o
1 1= 1
a a'= O
ab=ba
aO=O
a 1 =a

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.

1P Exemplo:

Mostrar mediante diagramas apropriados que:


a + (b c) = (a + b) (a +c).
Soluo:

24

a+b

bc

a+ (b c)

(a

+ b)

(a + c)

29 Exemplo:
Ilustrar pelos crculos de Euler a expresso pr' + p'qr.

Soluo:

pr'

p'q r

pr' + p'qr

39 Exemplo:
Dar a expresso da regio hachurada no diagrama:

Soluo:
x y z' + x' y' z

?5

EXERCfCIOS
1. Desenhar os diagramas de Euler-Venn para mostrar:
a)
b)
c)
d)
e)
f)

P +q'
p. q'
P. q' + p'. q
(p + q) r
(p' + q') r
(p + q) r

2. Dar as expresses correspondentes aos conjuntos hachurados:


a)

b)

3. Usando crculos de Euler, mostrar que:


a) (p +q)'

= p'. q'
=p + q

b) p + (p' q)
c) (p')' = P

1.4 PROPOSIOES
Chamamos conceito primitivo aquele conceito- que aceitamos sem definio. Enquadraremos neste caso o conceito de proposio e, portanto, no o definiremos. Entretanto, nada impede que conheamos suas qualidades, lembrando
que proposio uma sentena declarativa, afirmativa e que deve exprimir um
pensamento de sentido canpleto, podendo ser escrita na forma simblica ou na
linguagem usual. Ento, so proposies:
a)

tg -~- = 1

b)

...[3 <7T

c) O Mxico fica na Amrica do Norte.


Dizemos que o valor lgico de uma proposio a verdade (1) se a proposio verdadeira; a falsidade (0) se a proposio falsa. Por exemplo:

26

a) O Japo fica na frica.


b) O Brasil ganhou a Copa do Mundo de 1970 no Mxico.

O valor lgico da proposio (a) a falsidade (0), e da proposio (b) a


verdade ( 1I.

As proposies podem ser simples ou compostas. Proposio simples a que


no contm nenhuma outra proposio como parte integrante de si mesma. lndi
caremos tais proposies por letras minsculas de nosso alfabeto, da seguinte
forma:
p:
q:
r:
s:

Carlos careca.
dos carecas que elas gostam mais.
O nmero 16 quadrado perfeito.
log 2 1 = O.

A proposio composta formada por duas ou mais proposies relaciona


das pelos conectivos "e", "ou" e "se ... ento" (ou "implica"). Sero indicadas
por letras maisculas P, O, R. Exemplo:
Sejam p = 1 + 2 = 3, q = 2 1 duas proposies (no caso, ambas de valor 1).
Podemos formar as proposies compostas:
pq:1+2=3e2 =F- 1
p + q : 1 + 2 = 3 ou 2 1
p - - + q: 1 + 2 = 3 implica 2 =F 1

o
R

Observaes:

a) Quando for conveniente indicar que uma proposio composta P


formada pelas proposies simples p, q, r, ... , escrevese: P (p, q, r, ... ).
b) As proposies componentes de uma proposio composta podem ser,
elas mesmas, proposies compostas.
c) As proposies compostas so tambm chamadas frmulas proposicionais.

Indicaremos o valor lgico de uma proposio simples p, por V(p). Assim,


se p verdadeira, V(p) = 1 e se p falsa, V(p) =O. No caso de uma proposio
composta P, indica-se por V(p). Nas proposies abaixo:
p: O sol verde.
q: Um hexgono tem 9 diagonais.
r: 2 raiz da equao x 2 + 3x- 4 = O.

V(p)
V(q)

o.

V(r)

o.

1.

1.4.1 Princ i pios fundamentais da lgica matemtica


a) Princpio da No-contradio:

Uma proposio no pode ser simultaneamente "verdadeira e falsa" .

27

b)

Princpio do Terceiro Excluido:

Toda proposio ou s verdadeira ou s falsa, nunca ocorrendo um tercei


ro caso.
De acordo com esses princpios, podemos afirmar que: toda proposio

admite um e um s dos valores 1,0.


Chamam-se conectivos lgicos palavras ou expresses que se usam para for
mar novas proposies, a partir de proposies dadas. Damos abaixo algumas pro
posies compostas por diferentes conectivos (grifados):
P: O nmero 4 quadrado perfeito e o nmero 3 mpar.
0: O tringulo ABC retngulo ou issceles.
R: Se Joo estuda, ento sabe a matria.

1.4.2 Tabela-verdade
1 ou

Pelo Princpio do Terceiro Exclu ido, toda proposio tem V(p)


V(p) = O.
p

Nas composies, o valor lgico de qualquer proposio composta depende


unicamente dos valores lgicos das proposies simples componentes, ficando por
eles univocamente determinado. Usaremos como meio auxiliar na construo das
tabelas-verdade o "diagrama da rvore", que se v ao lado das tabelas. Na situao
atual, os nmeros que aparecem na primeira coluna tm apenas a finalidade de
indicar o nmero de linhas para cada exemplo apresentado.
Para as proposies compostas, veremos que o nmero das componentes
simples determina o nmero de linhas das tabelas-verdade. Exemplos:

a) P(p,q)
p

28

o o

b) P(p,q,r)

o
p

Apresentaremos, sem demonstrar, o seguinte teorema:


Teorema:

O nmero de linhas de uma tabela-verdade dado por 2n, onde n


o nmero de proposies componentes.

Exemplos:
a) Dada p, n = 1 e a tabela-verdade ter 2 1 = 2 linhas.
b) Dada P(p,q). n "' 2 e a tabela-verdade ter 2 2 =4 linhas.
c) Dada P(p,q,r), n = 3 e a tabela-verdade ter 2 3 = 8 linhas.

EXERCrCIOS
1. Determinar o valor lgico (1 ou O) de cada uma das seguintes proposies:
a)
b)
c)
d)
e)

O nmero 11 primo.
sen 2 25 + cos 2 25 = 1.
O hexaedro regular tem 8 arestas.
sec2 32 = 1 + tg 2 3:t'.
log 3 a = 1.

V(a)
V(b)
V(c)
V(d)
V(e)

29

f) Ioga 1 = O.
g) sen 2 30 + cos 2 30 = 2.
h) sen 2
+ cos'
= 1.
i) log (2 3) = log 2 + log 3.
j) Todo nmero divisvel por 5 termina em O.
I) O par {x, x} igual a {x}.
m) O par ordenado (x, x) = (x).
n) {8}=8.
o) cos(-x) = cosx.

p)

-2 <o.

2. Escrever cinco proposies de valor lgico igual a 1.


3. Escrever cinco proposies falsas.

30

V(f)
V(g)

V(h)

V(i)
V(j)
V (I)
V(m) =
V(n)

V(o)
V(p)

2
Operaes Lgicos sobre
Proposies
Estudaremos as operaes do clculo proposicional tambm chamadas

operaes lgiCJJs.

2.1 NEGAO (')


Seja p uma proposio. Denotaremos a proposio composta pelo modifica
dor 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-verdade:

que nos d : 1' =O, O'= 1. Ento, dadas as proposies abaixo, vem:
a)

p: 1 + 4
p': 1 + 4

=5

*5

( 1)
(0)

V(p') =O

b) q: Joo estudante.
q': Joo no estudante.
V{q') = 1

(O)
( 1)

31

Outras maneiras de exprimir uma negao :


No verdade que Joo estudante.

t falso que Joo estudante.

2.2 CONJUNAO (.)


A conjuno de duas proposies p e q uma proposio verdadeira quando
V(p) = V(q) = 1, e falsa nos demais casos, isto , s verdadeira quando ambas as
componentes forem verdadeiras. Chamamos p q a conjuno de p e q e l-se:
" p e q" .
O valor lgico da conjuno de duas proposies definido pela tabela-verdade:

p. q

o
o

o
o
o

Ento, dadas as proposies abaixo, vem:


a) p: sen ~

q: cos0 = 1

( 1)

111

V(pq) = 1
b) r: lo!h2 = 1

( 1)

s: 2 = 2

(OI

V(r s) =O

2.3 DISJUNAO INCLUSIVA OU SOMA LOGICA (+)

32

A disjuno de duas proposies p e q uma proposio falsa quando


V(p) = V(q) = O e verdadeira nos demais casos, ou seja, quando pelo menos uma
das componentes verdadeira. Chamamos este conectivo disjuna indusiva ou
soma lgica; denotaremos a disjuno de p e q por p + q, e l-se: "p ou q".

O valor lgico da disjuno inclusiva de duas proposi es definido pela


tabela-verdade:
p

p +q

o
o

Ento, dadas as proposies abaixo, vem:


a) p:

1r

(O)
( 1)

q:9 - 3 ~ 6

V(p+q) = 1
b)

p:..j2 < 1

(O)

q:2<J2

(O)

V(p + q) = O

2.4 DISJUNO EXCLUSIVA ( e )


A palavra ou tem dois sentidos; no caso anterior, temos a disjuno inclusiva, que exemplificamos a seguir:
P: Joo estudante ou mecnico,
indicando que "pelo menos uma das proposies"
p: Joo estudante
q: Joo mecllnico

verdadeira, podendo ambas ser verdadeiras:


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

33

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


p

pe q

o
o

~.

Ento, dadas as proposies abaixo, vem:

<3
q:3>2

(O)
( 1)

a) p: rr

V(p e q) = l
b) p: 7r

<3

q: sen

(O)

f< 1

(O)

V(p e q)=O

2.5 CONDICIONAL(--+)
O condicional de duas proposies p e q uma proposio falsa quando
V(p) = 1 e V(q) = O, 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.
O valor lgico do condicional de duas proposies definido pela tabela-

-verdade:
p

p__.. q

o
o

o
1

1
1

Ento, dadas as proposies abaixo, vem:

f= 1

( 1)

q: sen0 =O

( 1)

a) p: tg

34

V(p- q) = 1

.,ff

= -2 -

( 1)

=o

(0)

b) p: cos !!
4

q: tg ~

V(p~q)

=O

2.6 BICONDICIONAL (+-+)


O bicondicional de duas proposies p e q uma proposio verdadeira
quando V(p) = V(q) e falsa quando V(p) =I= V(q). Denotaremos o bicondicional de
p e q por p +-+ q e l-se: "p se e somente se q". Convm notar que o bicondicional
no uma operao original, mas dupla aplicao do conectivo(--+).
O valor lgico do bicondicional de duas proposies definido pela tabela-verdade:
p ...... q

o
o

o
o

Ento, dadas as proposies abaixo, vem:


a) p: ..J2 um nmero irracional
q:..J2> 1
V(p ._.. q) = 1

( 1)
(1)

b) p:y'3 E z
q : ..J3>1
V(p- q) = O

(O)
(1)

Daremos de maneira breve a ordem de precedncia a ser observada entre as


operaes estudadas, que a seguinte:
a)

bl e+
c) --+
d) - .

Esta ordem de precedncia entre os conectivos tem a finalidade de permitir


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

35

Assim, p .__.. q r da forma bicondicional; a proposio p + q' q r


da forma condicional, ao passo que, p + (q' ~ q r) composta por disjun
o. Portanto, a correta colocao de parnteses, quando for o caso, de extrema
importncia.

EXERCfCIOS
1. Sejam as proposies p: Joo joga futebol e q: Joo joga tnis. Escrever na linguagem usual as seguintes proposies:

ai p + q
b) p. q
c) P. q'
d) p'. q'
e) (p'l'
f) (p'. q')'

2. Dadas as proposies p: Maria bonita e q: Maria elegante, escrever na linguagem simblica as seguintes proposies:
a) Maria bonita e elegante.
b) Maria bonita, mas no elegante.
c)
d)
e)
f)

No verdade que Maria no bonita ou elegante.


Maria no bonita nem elegante.
Maria bonita ou no bonita e elegante.
falso que Maria no bonita ou que no elegante.

3. Classificar as proposies compostas abaixo, como conjuno, disjuno, condicional, bicondicional ou negao.
a), (p, q' )'
b) p + (q r')
c) p (q ~r)
d) p q - r'
e) (p q ')' +(r+ s)
f) (p + q') .__.. (r s)
g) [p-(q r)] s
h) [ p - (q r)]'

i)

[p

+ (q

j) (p -

r)] ' ~ s'


q ) - r'

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

36

a) 3 + 2 = 7 e 5 + 5 = 10.
b) semr = O e cos11' =O.

>

>

c) 3 2 ou sen90 tg45.
d) se 1-1 I< O ento sen90 = 1.
e) 3 > 1 --+ 3 = 3.
f) 1T > 4 --+ 3 >
g) tg7T = 1 se e somente se semr = O.
h) No verdade que 12 um nmero (mpar.
i) (1 + 1 = 2 +-+ 4 + 3 = 5)'.
il (sen 0 = o ou cos 0 = 1)'.

.;s:

5. Sabendo que V(p) = 1 e V(q) = O, determinar o valor lgico de cada uma das
proposies:
a) P. q'
b) p +q'
c) p' . q

d) p'. q'
e) p' + q'
f) p. (p'

+ q)

6. Determinar V(p) em cada um dos seguintes casos, sabendo que:


ai V(q)
b) V(ql
c) V(q)
d) V(q)
e) V(q)
f) V(q)

=O
=O
=O
=O
=

=O

e V(p q) =O.
e V(p+q) = O.
e V(p--+ q) = O.
e V(p-q) "' 1.
e V(p -t-+ q) = O.
e V(p+-+q) = 1.

7. Determinar V(p) e V(q) em cada um dos seguintes casos, sabendo que:


a) V(p--+q) = 1
b) V(p--+q) = 1
c) V(p +-+ q) = 1
d) V(p-t---+q) = O

e V(p q) = O.
e V(p + q) = O.
e V(p q) = 1.
e V(p'+q)=1.

8. Para que valores lgicos de p.e q se tem V(p q) = V(p---+ q)7


9. Se V(p) = V(q) = 1 e V(r) = V(s) =O, determinar os valores lgicos das seguintes proposies:
a)

b)
c)
d)
e)

p' + r
(r+ (p--+ s)]
[p' + (r s)' ]
[q +-+ (p' s) J'
(p +-+ q)

+ (q

--+ p')

f) (p +-+ q) (r' --+ si

37

g)
h)
i)
j)
I)
m)

{[q'. (p. s'Jl'}'


p' + [q (r--+ s'))
(p' + r) --+ (q --+ s)
[p' + (q. s)]' +(r--+ s')
q' [(r'+ s) +--+ (p--+ q')]
[p --+ (q --+ r)]' --+ s

1O. Determinar os valores lgicos das proposies abaixo, justificando os casos em


que os dados forem insuficientes:
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)

38

p ' - (q +r'), sabendo que V(r) =O.


(p +--+ q) + (q --+ p'). sabendo que V(q) =O.
p (q'--+ (r s)], sabendo que V(p) =O.
P--+ (q s). sabendo que V(p) = 1.
(p' +r)--+ (q--+ s), sabendo que V(q) =O.
(p--+ r) s, sabendo que V(r) = 1.
p--+ (r + s). sabendo que V(r) = 1.
(p q) +--+ r, sabendo que V(q) = 1.
[(p--+ q) p]--+ p', sabendo que V(p) =O.
p --+ (q' r). sabendo que V(q) =O e V(r) = 1.

3
Construo do Tabelo-verdade
Para se construir a tabela-verdade de uma proposio composta dada, procede-se da seguinte maneira:
a) determina-se o nmero de linhas da tabela-verdade que se quer construir;
b) observa-se a precedncia entre os conectivos, isto , determina-se a forma das proposies que ocorrem no problema;
c) aplicam-se as definies das operaes lgicas que o problema exigir.
Vejamos alguns exemplos:
19 Exemplo:
Construir a tabela-verdade da proposio: P(p,q) = (p q')'.

Soluo:
q'

p- q'

(p . q')'

o
o

1
1

o
o
1

Considerando as linhas da tabela-verdade, temos:


P(OO)

=1

P(011 = 1
P(10)=0
P(ll) = 1

39

e, para todas as linhas da tabela-verdade, vem:


P(00,01,10,11) = 1101.
O conjunto V = {00,01, 1O, 11} o conjunto de todos os valores possveis
de serem assumidos pelas proposies componentes de P(p,q) e, considerando que
a cada elemento de V corresponde um e somente um dos valores de {0, 1}, diremos que
P(p,q): 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 proposi~s componentes.

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

Soluo:
(p. q)' + (q -

p. q

(p. q)'

o
o

1
1

o
o

o
o
o

1
1

q-p

(q -

p)'

p)'

Procedendo de maneira anloga ao exemplo anterior, temos:

P(OO) = 1

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

Ento, determinar P(00,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 m.tQdo utilizado nos exemplos dados.

39 Exemplo:

Construir a tabela-verdade da proposio:


P(p,q,r)

= p + r' --+ q

r'.

Soluo:
p

r'

p +r'

q r'

p +r'-+ q r'

o
o
o
o

o
o

o
o

1
1

1
1
1
1

o
o

o
o
o

o
o

1
1

1
1
1

1
1

No caso de trs proposies componentes, temos:


P(OOO) =O
P(001) = 1
P(010) = 1
P(011)

P(100) =O
P(101) =O
P(110) = 1

=1

P{111) =O, ou

P(000,001,010,011,100,101,110,111) = 01110010.
Fazendo V= {000,001,010,011,100,101,110,111}, ou seja, V o conjunto de todos os valores possveis de serem assumidos pelas proposies componen
tes de P(p,q,r), mediante raciocnio anlogo ao caso de P(p,q), temos:
P(p,q,r): V --+ {0, 1}.
Ento, a tabela-verdade de P(p,q,r) uma aplicao de V em {0,1}.

4!' Exemplo:
Construir a tabela-verdade da proposio:
P(p,q,r)

= (p-+ q)

(q-+ r)-+ (p -->r).

41

Soluo:
p

p-+q

o
o
o
o

o
o

1
1.

o
o
o

o
o

o
o

q->-r

p-+r (p-+q) (q-+rl

(p-+q) (q-+r) -+ (p-+r)

1
1

Neste caso, temos:

P(OOO) = P(001) = P(010) = P(011) =P(100)=P(101)=P(110)=P(111)=1,


ou

P(000,001,010,011,100,101,110,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 (O), temos uma contradio. E, finalmente, quando na tabela-verdade de
uma proposio composta ocorrem os valores O e 1, temos uma contingncia ou
indeterminao.

EXERCrCIOS
1. Construir as tabelas-verdade das proposies seguintes:
a) (p q')'
b) (p-+q')'

c) p. q-+p+q
d)p'-+(q-+p)
e) (p q)---t P. q
f) q +-+ q'. p

42

g)
h)
i)
j)
I)
m)

(p +-+ q') q+p


p' q
(p +-+ q') p' r"-+q +r
p--+ r +-+ q + r'
p--+ (p--+ r') +-+ q +r
(p+q-+r) +(p'+-+q+r')

2. Determinar P(00,01,1 0,11) em cada um dos seguintes casos:


a)
b)
c)
d)
e)

P(p,q)
P(p,q)
P(p,q)
P(p,q)
P(p,q)

=
=
=
=
=

(p' -.. q)'


p' + q--+ p
(p + q) (p q)'
(p q') + (p' q)
((p + q) (p' + q'))'

3. Determinar P(000,001,010,011,100,101,110,111) em cada um dos seguintes


casos:
a) P(p,q,r) = p r'--+ q'
b) P(p,q,r) = p q' +-+ (p +r')'
c) P(p,q,r) = (p + q')' (p' +r)
4. Determinar P( 101) em cada um dos seguintes casos:
a)
b)
c)
d)

P(p,q,r)
P(p,q,r)
P(p,q,r)
P(p,q,r)

= p' + (q r')
= (p +r') (q +r')
=(r (p + q')) (r'+ (p q))'
= (p + (q --+r')) (p' +r+-+ q')

5. Sabendo que V(p) = V(r) = 1 e V(q) = V(s) = O, determinar o valor lgico de


cada uma das proposies:
a) p q +-+r s'
b) (p'--+ q) --+ (s--+ r)
c) p--+ q' +-+ (p + r) s
d) (p q) (r s) --+ p + s
6. Sabendo que os valores lgicos das proposies p, q, r e s so, respectivamente,
1, 1, O e O, determinar o valor lgico de cada uma das proposies:
a)
b)
c)
d)

p --+ q +---+ q --+ p


((p+s) (s+r))'
( r - p) --+ (p--+ r)
(p--+ r) --+ (p'--+ r')

7. Dizer quais as proposies que satisfazem s tabelas-verdade abaixo:


a)

o
o

1
1

b)

o
o

o
o

1
1

1
1

o
o

c)

43

A:p +q
8: p. q

A:p +q'

D:q-p

B:p-q
C:p'-q
D: p'. q

A:p-q
B:q-p
C: p +-+ q
D:p'-.q'

E: nenhuma delas.

E: nenhuma delas.

E: nenhuma delas.

C:p-q

8. Determinar as proposies compostas por conjuno que satisfazem a cada uma


das tabelas-verdade indicadas .

.
A

c
o

o
o

o
o

o
o

1
1
1

9. Determinar as proposies compostas por disjuno que satisfazem a cada uma


das tabelas-verdade indicadas.

+
p

o
o

1
1

o
o
o

c
o
1
1
1

o
o

o
1
1

10. Determinar as proposies compostas por condicional que satisfazem a cada


uma das tabelas-verdade indicadas.

44

o
o

1
1

o
o
o

c
o

o
o

1
1

11. Determinar quais das seguintes proposies so tautologias, contradies ou


contingncias:
a)
b)
c)
d)
e)

f)
g)
h)
i)

P --+ (p' --+ q)


p' + q --+ (p--+ q)
P--+ (q ----+ (q----+ p))
((p---+ q ) - q)---+ p
P + q'--+ (p--+ q')
p' + q' --+ (p ---+ q)
P---+ (p + q) +r
p q --+ (p-. q +r)
(q --+ p) ----+ (p--+ q)

45

Relaes de lmplicaco e de
Equivalncia
o estudo das relaes de

implicao e de equivalncia, de grande importn


cia na Lgica, ser feito de maneira suscinta, como convm ao nosso estudo. Antes,
porm, definiremos alguns conceitos introdutrios.

4.1 DEFINIOES
a) Duas proposies so ditas independentes quando, em suas tabelas-verdade,
ocorrem as quatro alternativas.

Exemplo:
p

b) Dizemos que duas proposies so dependentes quando, em suas tabelasverda


de, uma ou mais alternativas no ocorrem.

46

Exemplo:
p

q --+ p

o
1

No ocorre a alternativa 1O
entre p e q --+ p.

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


Diz-se que uma proposio p implica uma proposio q quando, em suas ta
belas-verdade, no ocorre 10 (nessa ordeml).

Notao : p =-=9 q.
Observao importante:
No confundir os s(mbolos e - a>, pois, enquanto o primeiro representa uma operao entre proposies dando origem a uma nova proposio, o segundo. indica apenas uma relao entre duas proposies
dadas.
Exemplo:

Verificar se p ====-9 q --+ p.

Soluo:
p

q --+p

il

o
1

Comparando as tabelas-verdade p e q --+ p, verificamos que no owrre 10


(nessa ordem!) numa mesma linha. Portanto: p
a> q--+ p.

4.3 RELAO DE EQUIVAL~NCIA


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

47

Notao: p <..:...

q.

Observao importante:

Vale para os smbolos ........._.


E>cemplo:

e~

a mesma observao feita para

~-

-e

Verificar se p q ~ (p' + q')'.

Soluo:

p. Cl

p'

q'

p' +q'

(p' +q')'

o
o

o
o

Comparando as tabelas-verdade de p q e (p' + q')', verificamos que no


Corre 10 nem 01 numa mesma linha. Portanto, p q ~
(p' + q')'.

->

De maneira prtica, verifica-se que duas proposies dadas so equivalentes


Quando suas tabelas-verdade forem iguais.

4 .4 EQUIVAL~NCIAS NOTVEIS
Dllpla negao:

(p')' ~ p.

p'

(p')'

~I

p+p

p. p

L~is idempotentes:
a) P +p<

> p.

b) P' P~P-

48

~ ~ ~

Leis comutativas:
a) P + q
b) p Q

<
<

~q
~

+ p.
q p.

a)

o
o

1
1

1
1

p+q

Q +p

~ ~

b) Verificar como exerccio.


Leis associativas:
a) p + (q

+r)~

b) p (q r)

a)

(p + q) +r.

<==> (p q) r.

q +r

p + (q +r)

p+q

o
o
o
o

o
o

co

o
o

1
1

1
1

o
o

1
1

1
1

..L

1
1

1
1
1

(p +q) +r
,........

1
1
1
1
1
1

..!..

b) Verificar como exercfcio.


Leis de De Morgan:
a)

(pq)'~p'+q'.

b) (p
a)

+ q)' <===S> p'. q'.


p

p'

q'

p' +q'

pq

(p. q)'

o
o

1
1

1
1

o
o

1
1
1

o
o
o
1

b) Verificar como exercfcio.

49

Leis distributivas:
a} p (q +r)<
P (p q) + (p r) .
b) p + (q r)<==> (p + q) (p +r).

a)

P. r

o
o
o
o
o

o
o
o
o
o
o

.!.

q +r

P. (q +r)

o
o
o
o

o
o

1
1

o ..
1

1
1
1

o
o

o
o
o
o

1
1

1
1

1
1
1

(p q) + (p r)

pq

o
o
o
o
o
1

b) Verificar como exerc(cio.

Bicondicional: p

+--..

< > (p ___.. q)

p +-+ q

o
o

1
1

1
1

(q - + p).

p--.q

q-+p

1
1

o
1

(p-+q). (q-+p)

o
1
1

Condicionais:
a) p - q .

b) q' - - p' (contrapositivo).


c) q-+ p (recproca do condicional)
d) p'--+ q' (recproca do contrapositivo).

50

p'

o
o

1
1

o
o

q'

p-q q'-p' q -

.. p p'-+q'

~ ~ ~ ~

Destas tabelas tiramos as seguintes equivalncias notveis:


(p--+ q) < > (q'--+ p')
(q ----+ p) <===:;::> (p' --+ q').

4.5 PROPRIEDADES
a) A condio necessria e suficiente para que p
p --+ q seja uma tautologia.

>q

que o condicional

Demonstraa:

A-

Se p
gia.

> q,

no ocorre 10, logo o condicional p--+ q uma tautolo-

A condio suficiente: (p

B-

> q) --+ (p --2... q).

A condio necessria: (p

~ q) -

(p

> q).

Se p ~ q, no ocorre em sua tabela-verdade a alternativa 1O; logo,


> q.
c.q.d.
p
b) A condio necessria e suficiente para que p

< > q que p -

q seja uma

tautologia.
Demonstrao anloga anterior.

EXERCICIOS
1. Dizer se entre as seguintes proposies h-implicao ou equivalncia quando
tomadas aos pares.
a) p'

b)q-p'
c) p - q
d) q' + p
e) P. q

2. Mostrar que:
a)

q~p--+q

b)q~pq-p

c) p - q' no implica p'---+ q'


d) p no implica p q
e) P + q ==/=9 P

51

3. Verificar mediante tabelas-verdade as seguintes equivalncias:

>P+r
< > p q'

a) ((p +r)')' <i:


b) ((p q')')'

c) r' r'~r

d) p q' + p . q' :=:> p q'


e) (p' + q)' ~ (q + p')'
f) p + q' r<
> q' r + p
g) p (q + p) < > p
h) p + (p q) <i:
> p
i) p+-+pq< >p--+q
j) q+-+p+q<
>p--+q
I) (p _____. q) ( p - r) ::::=> p - q r
ml (p _____. q) + (p r) < > p--+ q + r
n) (p _____. q) --+ r< > p r' --+ q'

4. Dadas as proposies abaixo, escrever as proposies equivalentes usando as


equivalncias notveis indicadas.
a) Dupla negao:
((p +q)')'
{(p'. q')')'

p. q
b) Leis idempotentes:

p' +q'
(p _____. q)

+ ( p - q)

((p--+q)' (p--+q)')'
c) Leis comutativas:
(p'. q) +r
(s r) (p--+s)'
( p - s) (p +r)
d) Leis de De Morgan:
(p' +q')'
((p+q) (r--+s)')
(p-q) r'
e) Leis associativas:
r+ (p' + q')
p ((r-s) (s+r))
((p

+ q)

(p --H)) (p

f) Leis distributivas:
s'. (p' + q)

52

p + (( q r)' (r -

s))

+ s)

g) Contrapositivo :
p'--+(qr)'
(p + q) --+ r'
(p --+ q) --+ (r--+s)'

h) Condicional:
p'--+(q r)'
p+ (q--+r)
(p' + q)'

i) Bicondicional:
( ( p ' - q') ( q ' - p'))
((p q)--+ r') (r' --+ (p q))
(p<f--+q')

53

5
Argumento Vlido
5.1

DEFINIO

Chamase argumento vlido toda seqncia de proposies p 1 , P2, ... , Pn+t


n E N, na qual sempre que as premissas p 1 , p 2 , ... , Pn so verdadeiras a concluso
Pn+t tambm verdade e tal que a conjuno das n primeiras implica a ltima,
isto :
Pt ' P2 ' PJ

'

Pn

;> Pn +I,

Ento, para testar a validade de um argumento, procede-se da seguinte maneira:


a) constri-se a tabela-verdade de p 1 o p 2 p 3 ... Pn:
b) constri-se a tabela-verdade de Pn+t;
c) comparam-se as tabelas: se na mesma linha ocorrer 1 O (nesta ordem!),
no h impljcao (=1==;>) e o argumento falho; se na mesma linha
no ocorrer 10, haver implicao (
;>)e o argumento vlido.

Observao.
A seqncia das proposies pode apresentar-se nas seguintes formas:

Pt
P2
PJ

Pn

54

Pn+t

ou

Pt.P2.PJ, ... ,pn.Pn+t.

1P Exemplo:
Testar a validade do argumento: p

---+

q, q, p-

Soluo:
Temos:

p,:p ---+ q

P2:q
P3:p

Devemos verificar se nas condies da definio, p 1

p2

> p 3 , isto :

> P?

(p --+ q I . q

Procedendo conforme o critrio j estabelecido, temos:

(p-q)

o
o

(p -.. q,. q

o
oi

o
li

Na 2' 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 1O. Portanto, (p-+q). q#P
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:
p

> (p ---+ q)

em vez de verificar:
(p~q)

que seria a form_a correta.

>p

55

2P Exemplo:
Testar a validade do argumento:
p+q
p'
.. q

Soluo:
Devemos verificar se nas condies da definio:
(p+q). p'

>q.

Construindo. as tabelas-verdade correspondentes, temos:

p'

p+q

(p +q). p'

o
o

o
o

o
o

Neste argumento, somente a ~ linha tem ambas as premissas verdadeiras.


Como a concluso tambm verdadeira, no ocorre 10. Portanto, (p+q) p' > q
e o argumento vlido.

5.2

REGRS DE INFER~NCIA
As regras de inferncia so argumentos vlidos (simples).

Unio (U):

__e__:_g__
~a
pq

implicao: p q

> p q.

Modus Ponens (MP):

56

P-> q, P . ~ a implicao: (p-> q) p


q

> q.

Modus Tollens (MT):


P __.. ~ 'q'.
p

a implicao: (p __,. q) q'

> p '.

Adio (A):
P

p +q

~ a implicao: p

> p + q.

Simplificao (S):
p q
p

. ~a implicao: p q

> p.

Silogismo Hipottico (SH):


P-

q, q - + r . ~ a implicao : (p-+ q) (q-+ r)


p -+ r

> p - + r.

Silogismo Disjuntivo (SD):


p + q , p'
,..
.
I"1caao:
- (p + q ) p -~_...., q.
...:.__--...:..:....:...._,
c a 1mp
q

Regras do Bicondicional (BIC):


a)

b)

(p __,. ~~~=

_ ,.

~a implicao: (p--+ q) (q-+ p)

p).

~ a implicao: p +-+ q

> p . - q.

> (p- q) (q- p).

Dilema Construtivo (DC):


p - + q, r ---+ s, p + r
- - - - -- -- . ~a implicao: (p - + q ) (r-+ s) (p + r) ..
q +S

> q +S.

Dilema Destrutivo (DOI:


p - + q, r-+s, q'+s'
p' +r'

~a implicao: (p --+ q) (r-+ s)


(q ' + s')
> p ' + r'

57

Dupla Negao (DN):


(p')'

> p ou p

-P- ou (p')'. ~ a implicao: (p')'

> (p')' .

Regra da Absoro ( RA):

q ) . ~ a implicao: p----+ q
P
p---+pq

> p----+ (p q) .

Simplificao Disjuntiva (S .l:


P +r, p +r'.
p

~ a implicao: (p +r) (p +r')

> p.

EXERCICIOS
1. Testar a validade dos seguintes argumentos:
a)

P----+ q'
p +q'

b) t ---+

r, r', t + s, s

p'

2. Dados os conjuntos de valores lgicos:

(A)

(B)

(C)

(D)

o
o
o

1
1

qual deles torna o seguinte argumento vlido?

58

premissa

premissa

concluso

o
o

?
?

3. Dado o argumento:
p

premissa

premissa

concluso

7
?
?
?

1
1

1
1

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

(B)

(C)

(D)

1
1

1
1
1

o
o

o
o

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


a)

q-p
(p')'

b)p q'
p+q
p
c)

+-+

q'

r'-p'
(p' +q)'
q'

d) a - - (b +c). b ---+ a', a'.


e) (p + q)', q - r, p + ( p - q), q +r
f) p - q', q -

r', p +r', q' + r'

5. Dar os nomes de cada um dos seguintes argumentos:


a) (c+d)'-e
(c + d)'

59

b) f - - (b +dl
(b + d)'

f'

cl (p q') + (q r')
(p. q')'
q r'

dl d (a+ b')
a+ b'

e) r'---+s'
(s'l'

r
f) (a b)'

c-a
(a b)' ( c - a )
g) b---+c

(b ---+c) +d'
h)a---+b'
b'---+c
a---+ c
i) (a' bl +c'

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

b---+c
I) (a ---+ c) + (d +e)

(d +e)'
a---+c
m) r-(p+q)'
((p + q)')'

r'
n) a c'

60

c'

o) (a' ----. b ' ) +c


(a'---.b')'

c
p) s' ----. (t r)

(t r)'

s
6. Completar cada um dos seguintes argumentos vlidos:
a) (r p) - q
(q') '

?
b) a--(b---.c)

7
a'
c) (a b')

+ (b c')
?

a b'
d) ( a ' - b ' )' +c

c'

7
e) a----. (b c)
?

a-d

61

6
Tcnicos Dedutivos
6.1

PROVA DIRETA

Diz-se que uma proposio q formalmente dedutfvel (conseqncia) de


certas proposies dadas (premissas) quando e somente quando for possvel formar uma seqncia de proposies Pt. P2. p3, ... , Pn de tal modo que:
a) Pn exatamente q;
b) para qualquer valor de i (i = 1, 2, 3, ... , n), Pi ou uma das premissas
ou constitui a concluso de um argumento vlido formado a partir
das proposies que a precedem na seqncia.
Escreve-se:

OU

Pl P2. P3o ... ,Pn-1

Pn(q).

Pn-1
:. Pnlq)

A proposio q no caso de ser formalmente dedutvel ct-.ama-se teorema e a


seqncia formada chama-se prova ou demonstrao do teorema.

62

Vejamos alguns exemplos:

1P Exemplo:
Provar s' dadas as premissas:

1. t
2. t---+q'
3. q'---+s'
Demonstrao:

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

1. t
2. t---+q'
3. q'---+s'
4. q'
5. s'
Justificao da passagem 4:

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

2P Exemplo:
Provar r+ s' dadas as premissas:

1. s. q
2. t ____.. q'
3. t'---+r.
Demonstrao:

1. s. q
2. t--q
3. t'---+r
4. q
5. (q')'
6. t'
7. r
8. r .+ s'

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

Justificao das passagens:

s. q
.
4. - - , ou seJa, s q
q

>q

q , ou seJa,
. q' ( q ')'
5. (q')'
___,.,-

63

6.

t-

t'

t'

7.

q',(q' )'

8. r +

r,

t'

ou seJa, (t

q' ). (q')'

, ou seja, ( t ' - r) t' ou seja, r

> t'.

l> r.

> r + s'.

Na indicao das regras de inferncia utilizadas na demonstrao de um teo


rema, MP 3 e 6 significam que a regra Modus Ponens foi aplicada entre as proposies de nPS 3 e 6 da seqncia, o mesmo ocorrendo com as demais abreviaes.
Observaes:

a) Qualquer tautologia pode ser inclu ida na seqncia aps qualquer proposio
j colocada.
De fato, seja a uma proposio qualquer j escrita na seqncia e (j uma tautologia.

!: claro que o argumento .~ vlido, pois:


Q

no ocorre 1O

b) Se a for uma proposio j colocada na seqncia e (j for outra sentena tal


que (j
>a, ento, seguindo-se a a pode-se colocar (j.
De fato, sendo (j

> a,

temos: (j __. a. Logo, (j

... . por ser uma tauto Iog1a.


. Mas,
sequenc1a

.a--.a . Logo,

.. a-(j

a pode entrar na

a-,.,n pode ser .mc IUl-.

da na seqncia. E, finalmente, pode-se escrever (j pela regra do Modus Ponens.


39 Exemplo:
Provar x

64

O dadas as seguintes premissas:

1. x i= O, ento, x = y
2. x = y,ento,x=z
3 . x i= z

Inicialmente, por razes de convemencia, passemos as proposies dadas


para a forma simblica. Nosso problema reduzir-se- ao seguinte:
Provar a dadas as premissas:
1. a ' - b

2. b - c
3. c'
Demonstrao:
1. a'---+b

p
p

2. b - c
3. c'

4. b'

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

5. (a')'
6. a

4!' Exemplo:
Provar a dadas as premissas:

1. a ' - c
2.c ---+m'
3. m +r
4. r'

Demonstrao:

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

a'---+c
e-m
m +r

p
p
p
SD, 3 e 4
DN,5
MT, 2 e 6
MT, 1 e 7
DN,S
c.q.d.

r'
m
(m')'

c'

8. (a')'
9. a

6.2 PROVA CONDICIONAL


Seja provar a-+ (j dadas as premissas p 1 , p 2 , p 3 , , Pn Fazendo a.conjuno das premissas igual a P, trata-se de mostrar que vlido o argumento P ....._..._
I-- a

--+ 11.

isto : .

p (j . Trata-se de validar esse argumento. Ocorrendo a

.. a -

65

validade, temos: P - S> (a -+fj) ou P ~(a --+fj). A letra grega


smbolo do condicional indica tratar-se de uma tautologia.

sobre o

Princ(pio da Exportao

<

Para mostrar este princpio utilizaremos a equivalncia notvel: p ~ q ~


S> p' + q. Ento, temos:

.,.

-13>

P - -: (a
< S> P' + (a ---ofj) < > P' + (a' + fj) < S> (P' +
+a') + 13 <
> (P a)' + 13 < S> (P a)---+ fj. Portanto, se P a -P for
tautologia, isto , se P a
> 13. oCJ seja, se for poss(vel deduzir 13 de P a, tam
> (a---+ fj)
bm ser uma tautologia a proposio equivalente e, portanto, P
dedut(vel de P. Dessas consideraes, segue-se a tcnica da prova condicional: para demonstrar a validade do argumento cuja concluso tem forma condicional
a ---+13, introduz-se a como premissa provisria (indicada por pp) e deduz-se fj.

W Exemplo:

Provar r - p' dadas as premissas:


1. p - q
2. r --q'
Demonstrao:

1. p - q
2. r - q

3.
4.

pp

s:

r
q'
p'

6. r - p

p
MP, 2 e 3
MT, 1 e 4

Prova Condicional de 3 a 5
c.q.d.

~Exemplo:

Provar c - - d' dadas as premissas:


1. b - c
2. (d. b')'
Demonstrao:

66

1. b--c

2. (d. b')'

3. c

pp

4. (c')'

5. b'
6. d' + (b')'
7. d'

B.c-d'

DN , 3
MT, 1 e 4
De Morgan, 2
SD, 5 e 6
PC, 3 a 7

c.q.d.

39 Exemplo:

Provar a____.. b dadas as premissas:

1. a +i--+ g
2.j--+(g'h')
3. i+ b

Demonstraa:
1.a+i--+g
2. i-(g'h')
3. j + b
4. a
5. a+ i
6. g
7. j-+(g+h)'
8. g +h
9. [(g +h)']'
10. i'
11. b
12. a--+b

p
p

p
pp
A,4
MP, 1 e 5
Equivalncia, 2

A, 6
DN,B
MT, 7 e 9
SD, 3 e 10
PC, 4 a 11
c.q.d.

6.3 PROVA BICONDICIONAL


A prova de um argumento cuja concluso uma proposio da forma bicon
dicional a --+ (j semelhante prova condicional, com a diferena de que feita
em duas partes distintas. Ento, dada uma proposio a (j, primeiro provase a --(3 e, a seguir, prova-se {j a, concluindo-se pela validade do argumento.

67

Exemplo:
Provar a +----+v dadas as premissas:
1. t - a

2. v - t
3. a - m
4. v +m'

Demonstrao:

1. t...._ a
2. v - t
3.a-m
4. v+m'

p
p
p

5a. a

pp

6a. m

MP, 3 e 5a
SD, 4 e 7a
PC, 5a, 7a

7a. v
Ba. a - v

pp-

5b. v
6b. t
7b. a
Bb. v - a

9.
10.

MP, 2 e 5b
MP, 1 e 6b
PC,5b, 7b

(a --+ v) (v --+ a)

U,Sa,Bb

a +---+v

Equivalncia, 9
c.q.d.

6.4 PROVA INDIRETA OU POR REDUO AO ABSURDO


Observemos, inicialmente, que de uma contradio pode-se deduzir qualquer
proposio. De fato, seja a contradio p p' e a uma proposio qualquer.
Temos:
p

68

p'

p. p'

1. p. p'
2. p

s. 1

3. p'

s. 1

4. p+a

A,2
SD, 3 e 4

5.

p. p'
... Q

Seja agora provar a a partir das premissas P1. p 2 , PJ, ... , Pn. seqncia essa
que chamaremos P.
Consideremos as premissas P e a' e procuremos deduzir a a partir delas,
isto , vejamos se P a' 1 - - a. A proposio a formalmente dedutrvel de

.,.

P a' se P a'

>a, isto , P

P a'~ a<

a'~

a. Mas:

> P ~(a'~ a) (Princpio.da Exportao)

Ora, essa ltima proposio constitui uma tautologia se ocorrer a seguinte


implicao:

> (a'- a), isto , P 1 - - a'--+ a

a' - a <

>a :.

>(a')' +a<==>a +a<

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

1P Exemplo:
Provar r dadas as premissas:
1. p'--+r
2. r'--+ q
3. (p. q)'

Demonstrao:
1.
2.
3.
4.
5.

p' ----+r

r'

-~q

(p. q)'
r'
q
6. p' +q'
7. (q')'
8. p'
9. r

10. r r'
11 . r

p
p
p

pp
~P.

2e4

De Morgan, 3
DN, 5

SD, 6 e 7
MP, 1 e 8
U, 4 e 9
Prova indireta de 4 a 1O
c.q.d.

-69

Observao:
Da mesma forma como encontramos a contradio r r' para provar r, poderemos encontrar a contradio q q' para provar p', como veremos no exemplo
a seguir. Isto , a contradio procurada pode envolver ou no a mesma letra da
proposio a ser provada.

2~

Exemplo:
Provar p' dadas as premissas:

1. q' + r
2. p--+r'
3. q
Demonstraa:
p
p
p

1. q' +r

2. p --+ r'
3. q

pp
DN, 4
MP, 2 e 5
SD, 1 e-6
U, 3 e 7
Pl, 4 a 8

4. (p')'
5. p

6. r'
7. q'
8. q. q'
9. p'

c.q.d.

6.5 PROVA INDIRETA DA FORMACONDICIONAL


Para provar a validade de um argumento cuja concluso da torma condicional (p q) mediante a demonstrao indireta, usamos (p --+ q)' como premissa provisria (pp), a seguir (p' + q) por equivalncia e (p q'), ... , seguindo-se dar:
p, q'. Na prtica, comeamos pela hiptese (H) e pela negao da tese (T) como
premissas provisrias:

H
Provar:

1.
2.
p

70

n.

p---+ q

n+ 1.
n + 2.
n + 3.
n + 4.
n + 5.

p q'
p

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

q'

S, (n + 3)

(p-q)'
(p' + q)'

Exemplo:
Provar r -

q' dadas as premissas:

1. r' + s'
2. q - s

Demonstrao:
1.
2.
3.
4.
5.

r'+ s'
q-s

pp

(q')'
(r')'

pp

DN, 3

6. s'

SD, 1 e 5

7. q'

MT, 6 e 2
DN,4
U, B e 7
Pl, 3 a 9

8. q
9. q. q'
10. r - q

c.q.d.

EXERCICIOS
1.

Provar t' dadas as premissas:


1.
2.
3.
4.

2.

p---+s
p. q
s r-t
q---+r

Provar s dadas as premissas:


1. t---+r
2. r'
3. t +s

3.

Provar t s dadas as premissas:


1. e ---+ s
2. t' j'
3. e j

4.

Provar s dadas as premissas:


1. p --+qr
2. p
3. t----+ q'
4. t + s

5.

Provar r+ s' dadas as premissas:


1. s. q
2. t----+ q'
3. t' ---+r

6.

Provar x + y

5 dadas as premissas:

1. 3x + y = 11 3x = 9
2. (3x = 9----+ 3x + y = 11) 3. y -:f=. 2 OU X + Y = 5

Utilizando a demonstrao condicional:

7.

Provar a - h dadas as premissas:


1. a+f-g
2. i-o h'
3. j

8.

Provar t + s' ---+ r dadas as premissas:


1. r'---+q
2. t'
3. s'---+q'

9.

Provar q' ---+ t dadas as premissas:


1. s--+ r
2. s + p
3.p---+q
4. r - t
Utilizando a demonstrao indireta:

10.

72

Provar y

2 ---+ x = y dadas as premissas:

1. x:#=y---+x>y ou y>x
2. y :#= 2 OU X= 2
3. x>y ou v>x-x-4=2

11.

Provar t' dadas as premissas:


1. t --+ s'
2. f--+ t'
3. s +f

12.

Provar e'+ m dadas as premissas:


1. s +r
2. s --~o e'
3. r--~om

13.

Provar (t + s)' dadas as premissas:


1. r'+ b'
2. t+s--~or
3. b + s'
4. t'

Utilizando a demonstrao indiretiJ do condicional:


14.

Provar p --+ q dadas as premissas:


1.(p--+q)+r
2. s + t--+ r'
3. s + (t u)

15.

Provar p --+ q dadas as premissas:


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

16.

Provar p --+ s dadas as pre111issas:


1. (p--+ q) +(r s)

2. q'
Utilizando um mtodo dedutivo de sua escolha:
17. Provar p--+ q' dadas as premissas:
1. p q
2. r s

18.

--~o

r' + s'

Provar p' ---> r' dadas as premissas:


1. p + q
2. r'+ q'

73

19.

Provar s' dadas as premissas:


1. p + q
2. s--+p'
3. (q +r)'

20.

Provar s' dadas as premissas:


1. (p --+q)--+ (r s--+ tl
2. p--+ q r
3. r

21.

Provar 2x = 12 ----1 y = 4 dadas as premissas:

1. 2x + 3y = 24
2. (x = 6--+ y = 4) ou 2x = 12
3. (2x = 12--+ x = 6) ou 2x + 3y::;!: 24
4. X ::;!:6
22.

Verificar, mediante as regras de inferncia, a validade dos seguintes argumentos:


a) (s e)', e'--+g, s--+g
b) s--+ p, p--+ (w +j), s w',j
c) a--+ u, u' + (b j'), b--+ a, (j' a')'+ b, j -

23.

Nas demonstraes abaixo, justificar as passagens indicadas.


a) 1.
2.
3.
4.
5.
6.

7.

p--+q

r' --+ q''


(p' +s')'
p. s
p
q
r

p
p

8. s
9. r s
c.q.d.
b) 1. j--+e'
2. (e'. s')'
3. j
::1 ...

74

a'

6. s

p
p
p

c) 1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.

a--+ (b--+c)
(c d)--+e
f--+ (b. d)
(f'+ a')'
f a
f
b. d
a
b-+c
b
c
d
c. d
e

p
p
p
p

c.q.d .
d) 1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

s'
p'
p' +q
(p'. q')'
q r'
q

e) 1.
2.
3.
4.
5.
6.
7.
8.

(b c)'-+a'
a-+ (b' d)
a
b'. d
b'
b. c
b
a'

f) 1.
2.
3.
4.
5.
6.
7.
8.

(a'--+ b'}' + c
da+db'
c-+(d-+b)
d (a+ b')
a+ b'
a'--+b'
c
d --+ b

(p q') + (q r')
p--+s
s' + t
t'

p
p
p
p

c.q.d.
p
p

PP

c.q.d .
p
p
p

75

9. d
10. b
11. a
c.q.d.
g) 1.
2.
3.
4.
5.
6.
7.
8.
9.

b' ____.a'
b--(c+d)
a c'
a
b
c +d
c'
d
(a c') - - d

h) 1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11 .
12.

r - - (p +q)'
s-- P

p
p

(s ~ r')'

pp

p
pp

c.q.d.

(s' +r.' )'


sr
s
p
r
(p + q)'
p'. q'
p'
s--r
c.q.d.

i) 1. a--(b--c)

2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.

76

(a d) +(a e)
(b'+d)'
a (d +e)
a
b--c
b. d'
b
c
d +e
d'
e
c e
(b' + d)'-- (c e)

p
p
pp

c.q.d.

7
Fluxogramas
O fluxograma constitui um mtodo alternativo para as tabelas-verdade na
verificao da validade de um argumento, no qual se ilustra o raciocfnio 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;


2. aplicam-se as definies dos conectivos lgicos para determinar o
valor lgico da concluso que dever ser a verdade (1), para q~e 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 6 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.

19 Exemplo:

Provar p' dadas as premissas:


1. p - q
2. q'

77

Soluo:

1.
2.

3.

4.
15.

~
I
I
p = 1

Ju:>tifir:alio:

1.
2.
3.
4.
5.

Consideramos as premissas verdadeiras fazendo p --+ q = 1 e q' c 1.


Como q' = 1, pela negao temos: q = O.
Levando q = O em p --+ q c 1, temos: p --+ O = 1.
Pela definio de condicional p --+O = 1 se e somente se p c O.
Como p = O, temos p' = 1, o que mostra ser v Iido o argumento, pois
premissas verdadeiras conduzem a uma concluso verdadeira.

29 Exemplo:
Testar a validade do argumento:
a--+b,a',b'
Soluo:

1.

2.
3.

78

4.

Justificaa:

1. Consideremos as premissas verdadeiras fazendo a ----->- b = 1 e a' = 1.


2. Como a'= 1, pela negao, a =O.
3. Levando a= Oem a--+ b = 1, temos: O b = 1.
4 . No podemos concluir se b verdadeira ou falsa, pois, pela definio
de condicional, O ----->- 1 = 1 e O ----+ O = 1. Se b pode ser verdadeira
ou falsa, ento a concluso b' pode tambm ser verdadeira ou falsa a,
portanto, o argumento falho.

39 Exemplo:
Provar q' dadas as premissas:

1. p + q'

2. p - r
3. r'
Soluo:

p +q' - 1

1.

r'= 1

2.
3.

4.

5.
6.
Justificao:

1. Consideremos as premissas verdadeiras. fazendo p + q' =1. P - r= 1 e


r'= 1.
2. Como r'= 1, por negao temos: r= O.
3. Levando r = O em p ----->- r= 1, temos: p ----->- O = 1.
4. Pela definio de condicional p O= 1 se e somente se p = O.
5. Fazendo p = O na premissa p + q' .. 1, temos: O + q' = 1.
6. Pela definilo de disjuno O + q' = 1 somente se q' = 1. Portanto, o
argumento v~lido.

79

4!> Exemplo:
Testar a validade do argumento:
p + q, p + q'. p
Soluo:

1.

p +q = l

p + q'

=1

2.

3.
4.
5.

Justificao:

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. Se q = 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 concluso verdadeira.

5!> Exemplo:
Testar a validade do argumento:

80

Soluo:

p--+ q a 1

1.

2.

3.
4.

5.

1 --+ 0 = 1

6.

0=1

Justificao:

1. Consideremos as premissas verdadeiras fazendo p--+ q = 1 e (p' +


+ q)' = 1.
2 . Pela negao, p' + q =O.
3. Pela definio de disjuno, se p' + q = O, ento p' = O e q = O.
4 . Como p' =O, pela negao temos: p = 1.
5 . Levando p = 1 e q "'O na premissap--+ q = 1, temos: 1 ---+ O= 1.
6. Pela definio de condicional 1 --+ O = O. Considerando as premissas
verdadeiras, chegamos a uma contradio. Portanto, o argumento
falho.

69 Exemplo:
Provar p'--+ r dadas as premissas:

1. p + q
2. q--+r
Soluo:

Como a concluso da forma condicional, consideramos o antecedente p'


verdadeiro e procuraremos mostrar que o conseqente r verdadeiro.

81

p +q : t

1.

2.

3.

4.
5.
6.

1-+r = 1

7.

r= 1

'

Justificao:

1. Consideremos as premissas verdadeiras fazendo p + q = 1 e q--+ r= 1.


2. Consideremos verdadeiro o antecedente da concluso (premissa pro
visria), fazendo p' =1.
3. Como p' = 1, pela negao, temos: p =O.
4. Levando p = O na premissa p + q = 1, temos O + q = 1.
5. Pela definio de disjuno, O+ q = 1 somente se q = 1.
6. Substituindo q = 1 em q --+ r = 1, temos: 1 --+ r = 1.
7. Pela definio de condicional, 1 --+ r = 1 somente se r = 1. Portanto,
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,
se p' = O, a concluso p'--+ r seria verdadeira, isto , O --+ r = 1.

7fiJ Exemplo:
Provar p dadas as premissas :
1. p + q
2. p'--+ q'
Soluo:

Usemos o mtodo indireto.

82

1.

p+q : 1

2.

p' - q's 1

pO

3.

4.

5.

6.

7.

0+0 = 1

Justificaa:

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

Consideremos as premissas verdadeiras fazendo p +q = 1 e p'--+q' = 1.


Consideremos a concluso falsa (negao da concluso) fazendo p = O.
Levando p = O em p' __:. q' = 1, temos: O'~ q' = 1.
Pela negao, temos: 1 --+ q' = 1.
Pela definio de condicional 1 q' = 1 somente se q' = 1.
Pela negao, q =O.
Fazendo p =O e q =O em p + q = 1, temos: O +O= 1.
Usando a premissa provisria p = O, chegamos contradio O + O = 1.
Portanto, p = O eliminada, ficando a outra possibilidade p = 1 como
soluo.

BP Exemplo:

Provar p dadas as premissas:


1. p + q
2. q--+ r
3. r'
Soluo:

Usemos o mtodo indireto.

83

r' = 1

1.

p+q = 1

2.

3.

4.
5.

r=O

6.

1-+0 = 1

Justificao:

1. Consideremos as premissas verdadeiras fazendo p + q = 1, q-+ r =


= 1 e r'= 1.
2. Consideremos a concluso falsa, fazendo p = O.
3. Fazendo p = O em p + q = 1, temos: O + q = 1.
4. Pela definio de disjuno O + q " 1 somente se q = 1.
5. Pela negao, r c O.
6. Substituindo q = 1 e r =O em q-+ r= 1, temos: 1 ----+ O= 1.
Usando a premissa provisria p = O, chegamos contradio 1 -+
-+0=1.
Portanto, p = O eliminada ficando a outra possibilidade p = 1 como
soluo.

9~

Exemplo:
Provar p'-+ r dadas as premissas:
1. p + q
2. q----+ r
Soluo:

Usemos o mtodo indireto.

84

1.

p +q = 1

2.

3.

4.
5.

6.

7.

o +o = 1

Justificao:

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

Consideremos as premissas verdadeiras.


Consideremos a concluso falsa (negao da concluso).
r = O somente se p' = 1 e r = O.
Pela definio de condicional p' Pela negao, temos: p = O.
Fazendo r = O em q ~ r = 1, temos: q --+ O = 1.
Pela definio de condicional q--+ O= 1 somente se q =O.
Substituindo p = O e q =O em p + q = 1, temos: O+ O = 1.
Usando a premissa provisria p' --+ r = O, chegamos a uma contra
dio O + O = 1. Portanto, p'--+ r = O eliminada, ficando a outra
possibilidade p'---+ r= 1 como soluo.

EXERCfCIOS
1.

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


a)
b)
c)
d)
e)

q--+ p', (p')', q'


p--+ q ', p . q, q
p' + q, q --+r', p'
ab.(c'+b)',c'--+a'
p +r', p--+q, q -----.. r, s', r'

85

f) (p __. q) +r', r ' - s, s' + q, q


1+X= 1X = 0

g)

*O

x
ou 2x =O
2x*0-1 +x:# 1
2.

Mostre atravs do fluxograma, usando os mtodos direto e indireto, que o


argumento abaixo tem premissas contraditrias.
p-q
(p' +q)'
p

3.

M~stre atravs do fluxograma, usando os mtodos direto e indireto, que o


argumento abaixo no contm informaes suficientes para deduzir a con
cluso.

p ' - q, (q +r')', p

4. Dados os argumentos abaixo, a qual deles corresponde o fluxograma?

a)

p' +q'
p' - q'

b)

q'

p' +q'
p'-q'
q

p' + q'

=1

c)

p'+q'
p'-q'
q'-p'

d) nenhum deles.

p'-q' = 1

q' ..

86

5.

A qual dos argumentos aba ixo corresponde o fluxograma?


a)

a' ~ b'

b +c'

c
a c'

b)a' ~ b'

b +c'
c
a

c)

a' ~ b'

ct) nenhum deles.

b +c'

c
a'

a' ~ b' 1

c= 1

a'---+ 1' = 1

a'---+ O= 1

6.
a)

Qual fluxograma corresponde ao argumento: p


p + q ' .. 1

+ q', q

r, p?

q r = 1

87

b)

ll r-i
I

q=1

p + q' = 1

ll

ll
!

r= 1

q r= 1

p= 1

c)

+ q' c 1

q r= 1

p=1

d) nenhum deles.

88

=1

p= 1

8
Quantificadores
8.1

SENTENA ABERTA
Sejam as proposies:
p: 3 + 5

11, V(p) = 1

q: x + 5 ~ 11, V(q ) = ?

A proposio p, como podemos ver, verdadeira, ao passo que nada podemos afirmar sobre o valor lgico na proposio q V (q), que somente ser conhecido
quando x for identificado. Neste caso, dizemos que a proposio q uma sentena aberta ou funo pro posicional. Nas .sentenas abertas, os s(mbolos x, y, X e
outros so chamados variveis.
Chamamos conjunto universo (da varivell ao conjunto das possibilidades lgicas que podem substituir 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.
1!' Exemplo:

Seja a sentena aberta: x + 5

11.

Podemos impor que o conjunto universo da varivel seja N ou Z ou Q ou R


ou o conjunto U = {1, 3, 5, 7, ...}.
2!l 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.

89

{Mercrio, Vnus, Terra, Marte, Jpiter, Saturno, Urano, Netuno


Pluto}.
CONJUNTO-VERDADE (da sentena) o conjunto dos valores da varivel
para os quais a sentena verdadeira. Denotaremos este conjunto por V.

V = {x EU I V(p(x))

= 1}.

onde p(x) uma sentena aberta na varivel x.

19 Exemplo:
Dada a sentena aberta x + 5.;;;;; 11, x E R, determinar seu conjunto-verdade.
Soluo:

V= {xER lx<;6}.

29 Exemplo:
O conjunto-verdade da sentena aberta: O planeta "X" o maior planeta do
Sistema Solar :
V = {Jpiter}

39 Exemplo:

Determinar o conjunto-verdade das seguintes sentenas abertn:


a) X + 11 = 21, U = N
b) 2x - 5<;13,U=Z .
Solues:

a) V = { 10}
b) v= {.... -4, -3 , -2 , - 1. o. ... , 6. 7, 8, 9}.

8.2 QUANTIFICADOR UNIVERSAL

90

Usaremos o smbolo " V ", chamado quantificador universal, para exprimir


o fato de que "para todo x em um dado conjunto, a proposio P(xl verdadei
ra ". Uma proposio do tipo "Para todo x, P(x) " simbolicamente representada
por V x, P(x).

A proposio "Todo inteiro racional" pode-se escrever :

,_ -v- X . X E z --+ X E o.
2.
3.
4.
5.
6.

Para todo x, se x E Z, ento x E O.


Para todo x, se x E Z, ento x E O.
Para cada x, se x E Z, ento x E O.
~x (xEZ--+ xEO)
Qualquer que seja x, x E Z x E O.

1P Exemplo:

Escrever de maneira simblica a proposio: os nmeros do conjunto A


so todos os reais.
Soluo:
R(x): x real
Y.x(xEA-xE RI
A(x)

= R(x)

29 Exemplo:

Simbolizar a proposio: Para todo x, se x real, ento x E O.


Soluo:

O(x):xEO
R(x): x real
V x (R(x)--+ O(x)).
~Exemplo:

-v-x(x 2 ;;;a.o-xER)

8.3 QUANTIFICADOR EXISTENCIAL


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

91

19 Exemplo:
Escrever de maneira simblica a proposio: Existe x tal que x 2 + 1 = 2x.
Soluo:

P(xl: x 2 + 1 = 2x
3x, P(x).

29 Exemplo:
Simbolizar a proposio: Existe

a tal que o . ; ; X <

1.

Soluo:

P(x): O< x < 1, x E Q


3x, x E a, P(x).
Os quantificadores podem aparecer juntos ou no, conforme mostramos nos
.exemplos abaixo.

19 Exemplo:
Para todo x e para todo y, x + y = y + x representada simbolicamente por:
VxVy(x+y=y+x).

29 Exemplo:
Para todo x, existe um y tal que x < y, representa-se por:
V x 3y, (x<y)
39 Exemplo:

Existe um x tal que para todo y, x + y =O, representa-se simbolicamente


por: 3x "V v, (x + y =O).

49 Exemplo:
Existe um x e existe um y tal que xY irracional, escreve-se: 3x3y, (xY E 1).
59 Exemplo:

92

Para todo x, se x par, ento existe um y tal que x = 2y, representada


simbolicamente por: V x (x par--+ 3y, x = 2y) .

8.4 VALORES LGICOS DE SENTENAS QUANTIFICADAS


A sentena V x, 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 *V.

A tabela a seguir nos dar alguns exemplos do que acabamos de definir.

V x, P(x)
Vx, x =O
V X, X= 0
V X, X2 - X+ 1
V x, 2x 2 + 3x + 1 = O
V"x,2x 2 +3x+1 =O

V ( Vx, P(x))

{O}
{0,1}
R
N

{O}
{O}
R

z_

1
1

o
o

o
{-1}

A sentena 3x, P(x) verdadeira se e somente se o conjunto-verdade de


P(x) no-vazio, ou seja, V (jl e falsa quando V = ~-

Vejamos alguns exemplos atravs da tabela abaixo:

3x, P(x)
3X, X= 0
3x, x =O
3x, x 2 - x + 1
3x, 2x 1 + 3x + 1 = O
3x, 2x 2 + 3x + 1 =O

V (3x, P(x))

{O}
{0,1}
R
N

{O}
{O}
R

1
1

z-

-1

8.5 NEGAO DE SENTENAS QUANTIFICADAS


Seja a sentena aberta P(x) e U = {a, b, c, d, ...} o conjunto universo da varivel x. Ento,
V x, P(x)

P(a) P(b) P(c) P(d) ...

e sua negao dada por:


(V x, P(x))'<

>(P(a) P(b) P(c) P(d) ... )'.

Pela lei de DeMorgan,


(V" x, P(x))'

<

>

< >

(P(a))' + (P(b))' + (P(c))' + (P(d))' + ...


V X, (P(x))'.

93

Portanto:

I(

\l x, P(x))'

~ 3x, (P(x))'l

Vejamos agora a que equivale a negao da sentena 3x, P(x).


Temos:
3x, P(x)

< > P(a) + P(b) + P(c) + P(d) + ...

e sua negao dada por:


(3x, P(x))'

< > (P(a) + P(b) + P(c) + P(d) + .. .) '.

Pela lei de DeMorgan,


(3x, P(x))'

< >
< >

(P(a))' (P(b))' (P(c))' (P(d))' . .


V x, (P(x)) '.

Portanto:

(3x, P(x))'

~ V x, (P{x))'

Vejamos alguns exemplos.

19 Exemplo:
Negar a sentena: Alguns alunos so estudiosos.

Soluo:
3: alguns
x: alunos
P(x): alunos so estudiosos
Ento:
Existem alunos estudiosos.
3x, P(x).
E a negao desta sentena equivale a:
(3x, P(x))' <

> v-x, (P(x))'

ou seja,
Todos os alunos no so estudiosos.
29 Exemplo:

94

Negar a sentena : Todos os pescadores so mentirosos.

Soluo:

(V x, P{x))'

<

> 3x, (P(x))'

Existe pescador que no mentiroso.

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

( -'tf X,

X-

1 ;;,. 5)' ~ 3x,

X-

1<5

49 Exemplo:
Negar a sentena: 3x, x 2 = 1 - x :1= O.
Soluo:

(3x , x 2 = 1 -

x :1= O)'

~ 'V"x, (x 2 = 1 ~ 'V"x, ((x 2

<
<

Observao:

x :1= O)'

= 1)' + (x ?= O))'

> -v x, ((x 2 = 1)')' (x ?=O)'


> -vx,(x 2 =1)(x .. O) .

Neste exemplo usamos a equivalncia notvel : p > p'+q.

<

<

>

59 Exemplo:
Negar a sentena: ( ( V x, sen 2 x + cos 2 x = 1 ) (3 x, 2x fmpar) ).
Soluo:

((Vx, sen 2 x + cos 2 x = 1) (3x , 2x fmpar))' < >


< > (V x, sen 2 x + cos 2 x = 1)' + (3x, 2x fmpar)'
< > (3x, sen 2 x + cos2 x :1= 1) + ( Vx, 2x par).
6P Exemplo:
Negar a sentena:-'o'-x 3y, x + y = 11.
Soluo:

(Vx3y,x+y=11)'<

>3x"Vy,x+y'i=11

79 Exemplo :

Negar a sentena:3xVy, ((x =O) + (y + 1 ~ 7))

95

Soluo:
(3xVy,((x-= 0) + (y + 1<;7)))'~
< >Vx 3y, ((x =O)' (y + 1 .e; 7)')
< >Vx3y,((x:#O)(y+1>7)).

EXERCfCIOS
1.

Determinar o conjunto-verdade das seguintes sentenas abertas:


a) x + 11 = 21
b) 2x- 5 ~ 13
c) x 1. - 7x + 12 =O
d) x1 -1 =O
e) x2 - 4x + 3 ~ O
f) 15x1 + 2x- 8 =O
g) 5x 2 + 19x+12=0

2.

,U= N.
, U= Z.
, U= N.
, U= N.
, U =Z.

, U s: R.
,U= R.

Escrever simbolicamente as sentenas:

1 < 2, ento existe x tal que x ~ 2.


Todo tringulo um polfgono.
Existe x tal que x primo e x par.
Existe x e existe y tais que x 1 y.
Para todo x, se x E N, ento x E Z.
f) Todo poHgono regular convexo inscritfvel.

a)
b)
c)
d)
e)

3.

Dadasassentenasabertasp(x) :15x 1 +2x-8=0eq(x) :5x 2 +19x+12


=O, com U = R, determinar os valores lgicos de p + q e p q.

4.

Determinar o valor lgico de cada uma das sentenas :


a)lrfx,lxl=x
,U=R.
b) 3x,x+3= 10
,U= {1,2,3,4,5}.
c) V x, x 2 + 3x + 2 =O. U = R.
d) 3x, 4x- 3 = 1 - 2x , U = R.
e) 3x,2x 2 +x= 15
,U= {1,2,3,4}.
f) lVx,x 2 +x=6}'
,U= {1,2,3}.
g) l3x,x 1 +3x= 1)' ,U= {1,2,3}.

5.

96

Negar as seguintes sentenas:


a) Todos os homens so maus.
b) Existe pescador que no mentiroso.
c) 3x E R, x 2 + 5 = 2x.
d) Existe v tal que para todo x, x +v~ 7.
e) Para todo x, existe v tal que x +v< 3.

9
Introduo lgebra de Goole
9.1

OPERADOR BINARIO
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, penencem 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 r/= A, que se l: "4 no pertence ao conjunto A".
Chama-se operador binrio ou operao binria ( ) a lei pela qual todo par
ordenado de elementos (x, vl leva um terceiro elemento z. Notao: x v= z. Os
I'
sinais aritmticos+,-, , 7 so exemplos de operadores binrios.

9.2 PROPRIEDADES DAS OPERAOES


P1. Seja X um conjunto. Dizemos que X fechado em relao a se x
v E X. Por exemplo, considerando o conjunto C1 de todos os interruptores, se a, b E C 1 , ento, a + b E C1 e a b E C 1 , isto , a + b e a b so tam
bm interruptores e pertencem a C1
y E X, Vx,

--

b--

a b
a+b
Chamando C2 o conjunto de todos os conjuntos de pontos, se a, b E C2 ,
ento a + b E C2 e a b E C2, isto , a unio e a interse'o de a com b so tambm conjuntos e, conseqentemente, pertencem a c2.

97

a b

a+b

Se tomarmos o conjunto C3 de todas as proposies, e se a, b E C3 , ento,


a + b E C3 e a b E C3, isto , dadas as proposies:
a: Joo estuda.
b: Joo trabalha.
Temos as seguintes proposies (compostas):
a + b: Joo estuda ou trabalha.
a b: Joo estuda e trabalha.
Ou, mediante as tabelas-verdade:

a+b

1
1

1
1

o
o

a b
1

o
o
o

P2. O operador comutativo se x y .. y )I., tt x, y E x.

19 Exemplo:

Se a, b E C1 , ento, a + b .. b + a e a b = b a, isto :

a+b
--a--b--

98

a b

-c: =r--

b+a
--b--a-b a

2~

Exemplo:
Se a, b E C 2 , ento, a + b = b +a e a b = b a, isto :

a+b

b+a

a b

b a

39 Exemplo:

Se a, b E C 3 , ento, a + b

= b + a e a b = b a.

Podemos verificar esta propriedade me~iante as tabelas-verdade.

ab

a+b

b+a

b a

1
1

o
o

o
o
o

o
o
o

'

PJ. Dizemos que o operador associativo se x (y z) '"(x ~ y) z,


Vx,y,zEX.

1P Exemplo:
Se a, b, c E C1 , ento, a + (b +c)
isto :

= (a

+ b) +c e a (b c) = (a b) c

99

a+ (b +c)

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

--a--b--ca

(b

c)

(a

b)

29 Exemplo:

.astoSe: a, b, c E ~ ento, a + (b + c I -- la + b) +c e a

(b

c) = (a

b)

c,

a+ (b +c)

(a+ b) +c

(a

(b c)

b)

39 Exemplo:
istoSe: a, b, c E Cl ' entJo ' a + (b +c)

100

= la

+ b) + c e a

(b

c)

= (a

b)

b+c

a+ (b +c)

a+b

(a+ b) +c

o
o

o
o
o
o

o
o

o
o

'
a

b. c

a (b c)

ab

(a b) c

1
1

1
1

o
o

o
o

o
o

o
o
o

o
o
o
o
o
o

o
o
o
o
o
o

o
o
o

o
o
o
t

P4. Um operador
Vx,y,zEX.

distributivo sobre D se x (y Dz) = (x y) O (x z),

19 Exemplo:

Se a, b, c E C 1 , ento, a + (b c)= (a+ b) (a+ c) e a (b +c)= (a b) +


(a c), isto :

--c:~:Y-(a

+ b)

(a

+ c)

-c a--c~

a-b~

a (b +c)

(a b) +(a c)

101

2? Exemplo:
Se a, b, c E C 1 , ento, a + (b c)= (a+ bl (a+ c) e a (b +c)= (a b) +
+(a c), isto :

a+ (b c)

(a + b) (a +c)

a
3~

(b

+c)

(a bl +(a c)

Exemplo:

Se a, b, c E C 3 , ento, a + (b c)= (a+ b) (a+ c) e a (b +c)= (a b) +


+ (a c). isto , construindo-se as tabelas-verdade correspondentes a cada caso,
teremos:
a

b. c

a+ (b c)

a+ c

(a + b) (a +c)

o
o

1
1

1
1

o
o
o

1
1

1
1
1

o
o
o

o
o

o
o
o

o
o

o
o
o
o

102

a+b

o
o
o
t

portanto, a+ (b c) = (a+ b) (a +c), pois, suas tabelas-verdade so iguais.

Analogamente,

Se,

o
o
o
o
o
o

o
o
o
o
o

o
o
o
o
o

a (b +c)

a b

o
o

1
1
1

1
1

o
o

1
1
1

1
1
1

o
o
o
o

(a b) + (a c)

b +c

a c

o
o
o
o
o

P5. Um elemento e, um elemento neutro para a operao se, e somente


e =e X = X, V X E X.

19 Exemplo:
Seja a E C 1 , ento, a +O= O +a = a e a 1 = 1 a = a, V a E C 1

-c:=r

a+b
--a---1--

----a-----

----a----

29 Exemplo:
Dado a E C2. ento, a +O= O+ a= a e a 1 =1 a= a, V a E C2

a+O = a
a

a
1 a= a

103

3!> Exemplo:
Dado a E C 3 , ento, a e = e a = a,~ a E C3
Para = +, temos que a disjuno inclusiva ou soma lgica falsa, somente
quando ambas as proposies consideradas forem falsas. Ento, dada uma pro
posio a e V(a) = 1, vem:
a+ O= a, V a.
Para = , temos que a conjuno verdadeira, somente quando as propo
sies componentes forem verdadeiras; logo, dada uma proposio a e V(a) =
= 1,vem :

a 1 = a, -v a.

EXERCfCIOS
1.

Seja o conjunto C = {T, 1, 0}. Definamos dois operadores binrios e O


pelas tabelas abaixo. Pa ra ler a primeira tabela, por exemplo, a b, tomamos
a interseo da linha correspondente a a e coluna correspondente a b, onde
a e b podem ser quaisquer destes sfmbolos. Ento: O 1 = T e O D 1 = 1.

T j_
j_
TT
*

o j_ T
o .l T o
l_

o
T T ...L o
l_ T l_ o
o T j_ o
oT

_l

a) O operador comutativo? associativo?


b) O operador D comutativo? associativo?
c) Os operadores e D so distributivos um em relao ao outro?

104

2.

Dados os operadores aritmticos +, -, e+, dizer quais dentre eles so ope


radares binrios no conjunto Z de todos os inteiros.

3.

Considerando os operadores aritmticos +, -, e +, dizer quais dentre eles


so operadores binrios no conjunto N dos nmeros naturais.

4.

Seja a b = y a2 + b 2 onde a, b E R. O operador fechado? comutati


vo? associativo? distributivo em relao a g? ~ distributivo em rela
o a ? admite elemento neutro?

5.

Dados os operadores e O distributivos um sobre o outro, reduzir ou desenvolver as expresses a seguir de modo a apresent-las sob forma diferente.
a)
b)
c)
d)

a (b O c).
a O (a O b).
a (a O b).
a O (b (c O d)).

e) (bOa) (b O b).
f) (a b) O (a c).

9.3 SISTEMAS ALGI:BRICOS


Antes de estudarmos a definio de uma lgebra de Boole ~ejamos 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 O os operadores definidos sobre A, podemos ter:
(A, ) ou (A, 0)

que so lgebras com um operador ou uma operao, e


(A, ,0)
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:
semigrupo, 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 definiremos a seguir.
Dizemos que o sistema algbrico (B, +, ) uma Algebra de Boa/e quando
e somente quando V a, b, c E B, valem os axiomas:
A1.
A2.
A3.
A4.
AS.

a+bEB.
a bEB.
a + b = b +a.
a b = b a.
a+ (b c)= (a+ b) (a+ c).

105

A6.
A 7.
AS.
A9.

a (b + c) = (a bl + (a c).
3 O E 8 tal que pa ra cada a E 8, a + O = O + a = a.
3 1 E 8 tal que para cada a E 8, a 1 = 1 a = a.
Para cada a E 8, 3 a' E 8 tal que a+ a' = 1 e a a ' = O.

No axioma 9, o elemento a' chama-se complemento de a.


Uma lgebra de 8oole dita degenerada quando os elementos neutros para
as operaes +e so iguais, isto : O= 1. Consideraremos apenas lgebras no degeneradas, isto , lgebras de 8oole nas quais O* 1. Vejamos alguns exemplos.
1~

Exemplo:
8 1 = {0,1} uma lgebra de 8oole cujos operadores slio definidos pelas
tabelas a seguir:

o
o
o

o
1

o
o

o
1

Esta lgebra conhecida como lgebra dos interruptores ou lgebra da comutao, e a mais til entre as lgebras de 8oole. o fundamento matem
tico da anlise e projeto dos circuitos de interruptores ou de comutao que
compem os sistemas digitais. 8 1 o exemplo mais simples de lgebra de
8oole no degenerada.

2~

Exemplo:
8 4 = {0, a, b, 1} uma lgebra de 8oole com quatro elementos descrita
pelas tabelas:

.
o
a
b

Teorema 1 -

106

o
o
o
o
o

o
o

a
b
1

o
o

b
1

a
b

a
a
1

b
1

1
1
1

(Princ(pio da Dualidade): Todo resultado dedut(vel dos axiomas de


uma lgebra de 8oole permanece vlido se nele trocarmos+ por
e O por 1, e vice-versa.

Prova

Pela simetria da definio de uma lgebra de Boole entre os operadores


+ e , e os elementos O 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:
(x + y') (x' + y + z) (y + z')
que o dual da expresso dada.

Obs.:- 1. No houve qualquer modificao nas letras complementadas, ou


seja, onde aparecem x', 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.
2P Exemplo:

Dar o dual da expresso: x' + y =O


Soluo:

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

x' y

=1

que o resultado procurado.

Teorema 2 -

a + a = a, a a = a, :V a E B.

Prova

a+a

(a+ a) 1
(a+ a) (a+ a')
a+ (a a')
a+O

=a
.. a+ a= a.

...... AB

-- ...
.. -- ..
.......
.... _...

A9
A5
A9
A7

107

Analogamente,
a a+ O
(aa)+(aa')
a (a+ a')

aa

........ A7
........ A9
........ A6
........ A9

a1
= a
.. a a= a

c.q.d .

Teorema 3- a+ 1 = 1, a O= O, V a E B.
Prova

a+1

(a+ 1) 1
(a+1)(a+a')
a+ (1 a')
a+ a'

. .....
.......
...... ..
........
.......

A8
A9
AS
A8
A9

a + 1 =1
Pelo Princfpio da Dualidade, temos:
aO = O

c.q.d .

Teorema 4- (Lei da Absoro): a +(a b) = a, a (a

+ b) = a.

Prova

a+ (a b)

(a 1) +(a b)

AB
....... A6
........ A3
..... Teor. 3
........ A8

a (1 + b)
a (b + 1)
a1
a
a+ (a b) =a
e, pela dualidade, temos:
a(a+b)=a

c.q.d.

TeoremaS- a +(a' b) = a + b.
Prova

a+ (a' b)

108

....... .As

(a+ a') (a+ b)


1 (a+ b)
a+b
a +(a' b) = a + b

........ A9
........ AB
c.q.d.

Teorema 6 -

Os operadores + e so associativos.

Prova

(a+b)+c

((a+ b) +c) (a+ a')


........ A8,9
(((a+ b) +c) a)+ (((a+ b) +c) a')
........ A6
(a((a+b)+c))+(a'((a+b)+c))
.. .. .... A4
((a (a+ b)) +(a c))+ ((a' (a+ b)) +(a' c)) ........ A6
(a+ (a c))+ (((a' a)+ (a' b)) +(a' c))
... Teor. 4,A6
a+ ((O+ (a' b)) +(a' c))
.. Teor. 4,A4,9
a+ ((a' b) +(a' c))
. .. . ... . A3,7
a+(a'(b+c))
........ A6
a+ (b +c)
. ..... Teor. 5
(a + b) +c= a + (b +c).

Pelo Princfpio da Dualidade, temos:


(a b) c =a (b c)

c.q .d .

Expresses como (a + b) +c e (a b) c podem ser escritas sem parnteses,


e expresses tais como (a' + b) (c + d +e) podem ser desenvolvidas como na
lgebra usual; a b pode ser escrita ab e o operador tem precedncia sobre
+, de modo que a + (b c) pode ser escrita a + b c ou a + bc.

Teorema 7 -

O complemento de cada elemento de uma lgebra de Boole


nico.

Prova

Suponhamos que a' e x sejam complementos de a. Ento:

a+x
ax
Logo:x

o.
x (a+ a'J
= ax + a'x
O +a'x
a'a + a'x
o: a'(a + x)
= a' 1
a'.
c.q.d.

Corolrio- Qualquer lgebra de Boole no degenerada tem um nmero par de

elementos.

109

Teorema 8 -

(a')'= a.

Prova

a' o complemento de a, ento: a + a'= 1 e a a'= O. Mas estas equaes


apenas mostram que a o complemento de a', isto : a= (a')'.
Pelo teorema 7, existe um nico complemento, portanto:
(a')'= a.
c.q.d.

ab + ab' = a.

Teorema 9 Prova

a(b + b')

ab + ab'

a1
a
ab + ab' =a.
c.q.d.

Teorema 1 O - O' = 1 e 1' = O.


Prova

........ A3,7
..... A4,8

0+1 = 1
o. 1 = o
Logo: O'=
1' =

....... A9

...... Teor. 1
c.q.d.

Teorema 11- (De Morgan): (a b)' =a'+ b' e (a + b)' =a' b'.
Prova

(a'+ b') +(a b)' = (a'+ b' +a) (a'+ b' + b)


(1 +b') (1 +a')
1 1
(a' + b') (a b)

1
a' a b + b' a b = O.

Ento, (a'+ b') o complemento de (a b), isto :

110

(a bl' = a'+ b'

(a

+ b)'

= a' b'.

c.q.d.

Teorema 12- ab +a' c+ bc = ab + a'c.


Prova

ab +a' c + bc =
=
=
=
:. ab + a'c + bc =

ab
ab
ab
ab
ab

+ a'c + bc (a +a')
+ a' c + abc + a'bc
( 1 +c) + a'c( 1 + b)
+ a'c.
+ a'c.

c.q.d.

Teorema 13- (a+ b) (a'+ c) (b +c)= ac + a'b.


Prova

(a+ b) (a' +c) (b +c)=


=
=
..

(aa' + ac + a'b + bc) (b +c)


O + abc + a'bb + bbc + acc + a'bc + bcc
abc + a'b + bc + ac + a'bc + bc
abc + a'b + bc + ac + a'bc
= ac ( 1 + b) + a'b( 1 +c)+ bc
;= ac + a'b + bc
ac + a'b
:. (a+ b) (a'+ c) (b + c)= ac + a'b.
c.q.d.

Teorema 14- (a+ b) (a'+ c)= ac + a'b.


Prova

aa' + ac + a'b + bc
ac + a'b + bc
= ac + a'b + bc (a +a')
ac + a'b + abc + a'c
.. a'b ( 1 + c) + ac ( 1 + b)
= a'b + ac
:. (a+ b) (a'+ c)
ac + a'b.
c.q.d.
(a + b) (a'+ c)

Esses teoremas tm sua grande aplicao na simplificao de expresses bo


oleanas e circuitos de interruptores, conforme veremos nos exemplos a seguir:

19 Exemplo:
Simplificar (a + b) (a + b' +c').

111

Soluo:

(a + b) (a + b' +c') = aa + ab' + ac' + ab + bb' + bc'


a + ab' + ac' + ab + O + bc'
a+ bc'

2!)

Exemplo:
Simplificar o circuito:

Soluo:
(p + qr) (p'q' +r')+ p'q'r'

pr' + p'q'r'
(p + p'q')r'
(p + q')r'

e o circuito simplificado ser:

~:.=:J- 3!)

Exemplo:
Simplificar o circuito:

pp-q-q~l

-E

p'

SoluSo:

112

pq' + pqr + p'r = p (q' + qr) + p"r


,..,
p (q' +r) + p'r
pq' + pr + p'r
pq' + (p + p')r
pq' + 1r
pq' +r

r-=r-

Desenhando o circuito da expresso simplificada, vem:

49 Exemplo:

Determinar o complemento de pq' + p'q.


Soluo:

(pq' + p'q)'

=
=

(pq')' (p'q)'
(p' + (q')') ((p')' + q')
= (p' + q) (p + q') .

p'p + p'q' + pq + qq'


pq + p'q'
Teorema 16- Se uma lgebra de Boole contm pelo menos dois elementos dis
tintos, ento O =1= 1.
Prova

Suponhamos que existe uma lgebra de Boole oom pelo menos dois elementos distintos, para a qual O = 1. Seja a um elemento tal QIJe a =1= O.
Como, por hiptese, tal elemento existe, entlo todos os outros elementos so iguais a O. Logo, a = a 1 = a O = O, o que uma contradio.
Portanto, O=1= 1. c.q.d.

Sejam a e b elementos de uma lgebra de Boole. Dizemos que a menor ou


igual a b (a <: b) se e somente se a + b = b.

Te;orema 16- <: uma ordem parcial.

Prova
Pelo teorema 2, a + a = a. Logo, a <:a.
Se a <: b, ento a + b = b; se b <: a, ento a + b = b + a .. a. Portanto, se
a <: b e b <:a, ento a = b. Finalmente, suponhamos que a <: b e b .s;;;c. Entlo
a + b b e b + c - c. Logo, a + c - a + (b +c) - (a + b) + c ~ b + c - c. Portan
to, a<: c.
c.q.d.

Teorema 17- Sejam a, b e c elementos de uma lgebra de Boole. Entlo, a ordem


parcial <:tem as seguintes propriedades:

113

1.
2.
3.
4.

Se a ~ b e a ~ c, ento a ~ bc.
Se a ~ b, ento a ~ b + c, V c.
Se a~ b, ento ac ~ b, V c.
a ~ b se e somente se b' .;;; a'.

Prova

1. a + b = b e a +c= c. Logo, a + bc =(a + b) (a +c) = bc.


2. Se a+ b = b, ento, a+ (b +c)= (a+ b) +c= b +c.
3. Pelas leis da absoro, ac + a = a, ou ac .;;; a. O resultado se obtm pela
transitividade.
4. Suponhamos a .;;; b. Ento, a + b = b e, portanto, b' =(a+ b)'. logo,
b' + a' = (a + b)' +a' = ((a + b)a)' =a', pelas leis da absoro. A recfproca decorre do teorema 8, onde temos: (a')'= a. c:q.d.

EXERCrCIOS
1.

Simplificar as expresses a seguir, justificando cada passagem:


a) (a b) +(a b')
b) (p q) + (p (q' rll

c) (b (a c)) +(a (b c'))


d) p + ((p' (p + q)) + (q rll

e) (x + (y zlf (x + (y' zll


2.

Simplificar:
a) ab + ac + abc + ab'c'
b) f + g + h + f'g'h'
c) (p + q +r) (p + q + s)
d) x'+xy'+xyz+xy~
e) (a + b') (b +c') (c+ d') (d +a')
f) (a + b) (b +c) (c+ a)

3.

Desenvolver as expresses a seguir tanto quanto possfval:

+ qr
b) p + qrs
c) pq + rs
d) (a + (b'c)' d e')'
a) p

114

4.

Provar que ab' + a'b + ac' + a'c ab' + bc' + ca'.

5.

Usando o teorema de De Morgan, provar que:


a) (abc)' = a'+ b' +c'
b) (a + b +c)'= a' b' c'
Verificar esses resultados com os cfrculos de Euler.

6.

Simplificar:
a) (a+ b)' (b +c)'
b) ((p + q)' +r'+ q)'
c) a (ab +c)'
d) ((s + t')' + (s + u')' +v)'

7.

Determinar o complemento das expresses:


a) a((b' c)'+ d(e' +f)')
b) a + (b + (c'd +e))
c) ab + cd + ef
d) (a+ b) (c+ d) (e+ f)
e) a(b'c(b'(a + a'c)) + bc')

8.

Nos circuitos a seguir, determinar a ligao, simplificar e desenhar o circuito


resultante.

a)

b)

x--y
x'--y
x--y'

y--z
c)

a--b--c
a'--b--c
--b'--c
a--b--c

115

a ' -b' ~c

d)

a--b_j
__r-b-c
1

L _ b' - - c'

a' - - - b

---c--~

t)

_____r--c'

d~-b---c
9.

Determinar o circuito complementar de:


I)

-b'3-E
3b - - c

c--'

b)

116

-E

x - y . - z
x--y --z

x--Y

--z'

1O.

Provar que para quaisquer elementos a e b de uma lgebra de Boole, a < b


se, e somente se, ab' = O.

11.

Provar que para quaisquer elementos a e b de uma lgebra de Boole, a < b


se, e somente se, b +a'= 1.

12.

Mostrar que nenhuma lgebra de Boole tem trs elementos.

13.

Mostrar q~ nenhuma lgebra de Boole finita com mais de um elemento


tem um nmero fmpar de elemento&.

10
Funes l3ooleonas

Seja B uma lgebra de Boole e, sejam x 1 , , Xn variveis tais que seus valo
res pertencem a B. Chama-se funo booleana de n variveis a uma aplicao f de
sn em 8 satisfazendo as seguintes regras:
1. Se para quaisquer valores de x 1 , , xn. f(x 1 , ... , xnl = a, a E
to f uma funo booleana. !: a funa constante.

a, en-

2. Se para quaisquer valores de x 1 , ... , Xn, f(x 1 , ... , xnl =X i para algum
i (i= 1, ... , n), ento f uma funo booleana. !: a funo projeo.
3. Se f uma funo booleana, ento g definida por g(x 1 , ... , xnl =
= (f(xl, .... xnll' para todos x 1 , ... , Xn uma funo booleana.
4. Se f e g so funes booleanas, ento h e k, definidas por
h(x 1 , ... , Xnl = f(x 1 , ... , xnl + g(x 1 , ... , xnl e
k(x,, ... , Xn) = f(x 1 , .. . , xnl g(x 1 , ... , xnl para todos os x 1 ,
so funes booleanas.

... ,

Xn

5. Qualquer funo construfda por um nmero finito de aplicaes das


regras anteriores e somente tal funo booleana.
Ento, uma funo booleana qualquer funo que pode ser construfda
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 identidade f(x) = 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 sfmbolo que pode representar
qualquer dos elementos de uma lgebra de Boole B.

117

+ x'a

19 Exemplo:

f(x) = x

29 Exemplo:

f(x, y) = x'y + xy' +v'

39 Exemplo:

f(x,

v. z)

= axy'z + yz' +a + xy

As expresses desses exemplos so funes booleanas, onde as vanave1s


x, 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, y) = x'y' e g(x, y) = (x + y)', 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.

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.

Teorema- Se f uma funo booleana de uma varivel, ento, para todos os valores de x, f(x) = f(1 )x + f(O)x'.
Prova

Examinemos as poss(veis formas de f.


19 Caso:
f uma funo constante, f(x) = a.
f(l)x + f(O)x' = ax + ax' = a(x + x') = al =a= f(x).
29 Caso:

f a funo identidade, f(x) = x.


f(l)x + f(O)x' = lx + Ox' = x +O= x = f(x).
39 Caso:
Suponhamos que o teorema vale para f e seja
g(x) = (f(x))'.
g(x) = (f(x))'

118

(f(1)x + f(O)x')'
(f(1)x)' (f(O)x')'
((f(1))' + x') (f(Q))' + x)
(f(1))' (f(O))' + f(l))'x + f(O))'x' + xx'

(f(1))'(f(0))'(1) + (f(1))'x + (f(O))'x'


(f( 1))'(f(O))'x +(f( 1))'x +(f( 1))'(f(O))'x'
(f( 1))'(f(O))'x +(f( 1))'x +(f( 1))'(f(O))'x'
+ (f(O))'x'
(f(1))'x + (f(O))'x'
(absoro)
g( 1 )x + g(O)x'.
49 Caso:
Suponhamos que o teorema vale para f e g, e seja h(x) = f(x) + g(x).
h(x) = f(x) + g(x)
f( 1)x + f(O)x' + g( 1)x ;+- g(O)x'
(f( 1) + g( 1))x +(f( O) + g(O))x'
h( 1)x + h(O)x'.

59 Caso:
Suponhamos que o teorema vale para f e g, e seja k(x) = f(x)g(x).
k(x) = f(x)g(x)
(f( 1)x + f(O)x') (g( 1)x + g(O)x')
f( 1 )g( 1)xx +f( 1 )g(O)xx' + f(O)g( 1)x'x :t- f(O)g(O)x'x'
= f( 1)g( 1)x + f(O)g(O)x'
k( 1)x + k(O)x'.
Estabelecemos, ento, uma forma cannica para uma funo booleana de
uma varivel. Podemos mostrar, de modo semelhante, que, se f uma funo
booleana de duas variveis, ento, para todos os valores de x e y, temos:
f(x, y) =f( 1,1 )xy +f( 1, O)xy' +f( O, 1)x'y +f( O, O)x'y'.
Em geral, se f uma funo booleana de n variveis, ento, para todos os
valores de x 1, , xn.
ct1 ct2
ctn
f(x 1, ,xn)=l:f(ct 1, ,ctn)XJ X2 . xn
Q
I

onde cti assume os valores O e 1, e xi


cti tem valor 1 ou O.

interpretado omo x;. ou xj conforme

Exemplos: Seja B uma lgebra de Boole com quatro elementos O, a, a' e 1.


Construamos as formas cannicas para as funes:
a) f(x) = x + x'a
b) f(x, y) = x'y + xy' + y'.

Soluo:
a) f( 1) = 1 e f( O) = a, de modo que a forma cannica para f
f(1)x + f(O)x' = 1x + ax'.

119

Valores de f(x) == x + x'a

f(x)

a
a'

a
1

b) g( 1,1) == O e g( 1,0) = g(0,1) = g(O,O) = 1, de modo que a forma cannica para g g(x,y) = Oxy + 1xy' + 1x'y + 1x'y'.
Valores de g(x,y) = x'y + xy' + y'

'>-z

a'

a
a'

a'

a'

1
1

1
a'

Note-se que em ambas as funes, a forma cannica reduz-se facilmente


forma original.
A forma cannica que discutimos conhecida como uma soma de produtos
ou forma normal disjuntiva (FND). Existe tambm um produto de somas ou forma normal conjuntiva (FNC). Cada termo de uma FND , s vezes, chamado minterm (m) e os fatores de uma FNC so chamados maxterm (M).

EXERCfCIOS

120

1.

Suponhamos que f uma funo booleana de uma varivel sobre uma l


gebra de Boole de 4 elementos, f(O) = a' e f( 1) =a. Determinar uma expresso para f.

2.

Escrever a forma cannica geral para uma funo booleana de trs variveis.

3.

Determinar a forma cannica para cada uma das seguintes funes:


a) f(x) = xx'.
b) f(x,y) = xy' + ax' + by, onde a e b so elementos fixos distintos de uma
lgebra de Boole.
c) f(x,y,z) = x(y + az') + (x' + z) (ax + y' + z).

4.

Suponh!mos que B uma lgebra de Boole sobre o conjunto


{0, a, a', b, b', c, c', 1}, e seja f uma funo booleana tal que f(O,O,O) =
=a, f(0,1,0) = O, f(0,1,1) = 1, f(1,0,1) = f(1,1,0) =c',
e f(1,1,1) = b. Determinar f(a',c,b) .

= f(O,O,l) = f(1,0,0)

121

11
Representao dos Funes
Booleanos
11.1 DIAGRAMAS DE VENN OU CfRCULOS DE EULER
Seja representar as funes:
a) y = f(a,b) = ab' + ab + a'b

ab'

a'b

ab

y = ab' + ab + a' b
= a+b

Verificao Algbrica:
y

b) y

122

a'b 'c'

ab' + ab + a'b
a(b + b') + a'b
a 1 + a'b
a+ a'b
a+b
a'b'c' + a'bc' + a'bc + a'b'c

J(J~
a'bc'

a'bc

a'b'c

a'

Verificao Algbrica:

a'b'c' + a'bc' + a'bc + a'b'c


a'b(c + c') + a'b'(c +c')
a'b + a'b'
a'(b + b')

a'

Para mais de trs variveis, torna-se muito diHcil representar as intersees formadas pelos respectivos crculos de Euler. Neste caso, utiliza-se a dispo
sio mostrada a seguir para quatro variveis: a, b, c, d.
b

: --a

ab'c'd'

:I

+
.. _.. _.. _.,_ .. _.. _.. _.. _.. _..

r--------l--------,

a'b'c'd'

!~b'~d; -
I

1
I

abc'd' "

a'bc'd'

"f' -~b'cd-;-- r- -;bcd' -;-a:;;cd; - -1 .- c


i

I abcd
I
a'bcd
!
:......_, __ - _,____ - --t-- ---1--- -- .J
j a'b'cd

ab'cd

a'b'c'd

ab'c'd

:.... _--

abc'd

a'bc'd

----- ------- --

.- d

11.2 TABELAS-VERDADE
Construamos a tabela-verdade da funo:
f(a,b)

= a + a'b'
b'

a'b'

a'

o
o

o
o

o
o
o

1
1

+--

a'b'

- ab'
-ab

Nosso problema consiste em determinar a funo booleana f dada sua tabela-verdade.

123

Exemplo: Determinar a funo booleana f representada pela tabela-verdade:

o
o
o
o

o
o

o
o

o
1

o
o

'
'

1
1

+-a'b'c
+-a'bc

+-abc

Soluo:

Fazendo a varivel no complementada igual a 1 e a varivel complementada


igual a O, pelos valores de a,b e c correspondentes a f= 1 em cada linha da tabela,
vemos que os termos da funo procurada so a'b'c, a'bc e abc. logo, temos a funo:
f(a,b,c)

= a'b'c + a'bc + abc.

11.3 REPRESENTAAO GEOMeTRICA


a) Funio de uma varivel

o-----x
b) Funo de duas variveis

01011
1
0
00

124

c) Funo de trs variveis

010

d) Funo de quatro variveis

De modo geral, representamos as poss(veis combinaes das n variveis


como pontos do n-espao, e o conjunto de todos os 2n pontos formam os vrtices de um n-cubo, ou um hipercubo booleano. Para representar geometFicamente
as funes booleanas, ou seja, no n-cubo, atribu(mos a cada vrtice do n-cubo o
minterm de n variveis correspondente. Ento, no caso do 3-cubo, temos:

mj

vrtice

mo
m,
m2
m3
m4
ms
m6
m,

001
010
011
100
101
110
111

000

125

A representao geomtrica de uma funo de n variveis o conjunto dos


vrtices do n-cubo correspondentes aos minterms da funo.
Exemplo:

Representr geometricamente a funo f(a,b,c) = l:m(0,2,3,7).

Soluo:

Observao:

1. Cada um dos vrtices correspondentes aos minterms da funo dito O.Cubo


dessa funo.
2. Dois O-cubos de uma funo formam um 1-cubo quando diferem entre si por
somente um valor da varivel como, por exemplo, 000 e 01 O, 01 O e 011, 011 e
111.

3. Quatro O-cubos formam um 2-cubo da funo.


Dizemo~ que um p-cubo (p c;;; n) um subcubo de um n-cubo, quando todos
os seus vrtices pertencem ao conjunto dos vrtices desse n-cubo, ou seja, o
p-cubo est contido ou coberto pelo n-cubo.

Exemplo:

Na representao a seguir:

4ZJ'''

~101

1~

100

O O-cubo 100 est coberto pelos l-cubos 100 e 101, 100 e 110, 100 e 000,
e pelo 2-cubo 100, 101, 110, e 111. Definimos a distncia entre dois pontos de
um n-cubo como o nmero de valores das variveis em que diferem as representaes binrias dos dois pontos. Assim, dados os pontos 101 e 011 de um 3-cubo, a
distncia 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 m 3 e m 5
Vejamos agora alguns exemplos de representao geomtrica das funes
booleanas.
19 Exemplo:
Dar a representao geomtrica do circuito - - x - - y ' - - z - - .

Soluo:
f(x,y ,z) = xy'z

y' Z
~

o
29 Exemplo:
Representar geometricamente o circuito - - - x ' - - - - z - - - -

Soluo:
f(x.z) = x'z = x'yz + x'y'z

x'

v ,z

1 1

+ x' y' z
~

o o

39 Exemplo:

Representar geometricamente a funo f(x,y,z) xy + x'y'z.

127

Soluo:
f(x,y,z) = xy + x'y'z
= xyz + xyz' + x'y'z

xyz + xyz' + x'y'z


~.U

H~

~ ~ ~

111

110

001

EXERCfCIOS
1.

Representar geometricamente as funes:


a) f(x,y,z) = x'(y'z' + yz)
b) f(x,y,z) = y(x + z)
c) f(x,y ,z) = x'y' + xyz'
d) f(x,y,z) = y(x + z) + x'y'z'
e) f(x,y,z) = y'

2.

Dar a representao geomtrica dos circuitos:


a)

r- x'- v' -

z ~

~ x-- y--z_____s--b)

x'

---r-

y'-

Y - - z'

- [
X

c)
d)

128

3---

----x'--

-c
f-,
--cy :. ~
x'

e)

z'

~- Y-- Z

z'

z'= r

x ' - - - - v'

-c.

f)

x'

-c::=:

- [ x~y-z

~y---1'
g)

3.

Determinar as seguintes distncias em n-<:Ubo:


a) d(7,13)
b) d(2,7)
c) d(7,15)
d) d(3,11)
e) d(9,14)

4.

Determinar a funo booleana representada geometricamente por:


m3

a)

-------~~

li

/ I

I
I

I
I
I 1
I /

1(. - - - - - - -

b)

I
I

r---

I
I

I I
I

'I

129

c)

d)

e)

I
I

I
I

130

12
Formos Normais
12.1

FORMA NORMAL a n VARIAVEIS

Dizemos que uma funo booleana est na forma normal a n variveis quan
do envolve todas essas variveis ou seus complementos.
19 Exemplo:

a + b' normal em a e b.

29 Exemplo:

a b' normal em a e b.

39 Exemplo:

a + ab normal em a e b.

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.

12.2 FORMA NORMAL DISJUNTIVA


Uma funo booleana est na forma normal disjuntiva quando em todos os
seus termos aparecem todas as variveis envolvidas ou seus complementos.
19 Exemplo:
A funo booleana x

= ab' + a(ab)

+ a'b' est na forma normal disjuntiva.

29 Exemplo:
A funo booleana y

= abc' + ab'c + a'b'c' est na forma

normal disjuntiva.

39 Exemplo:
A funo booleana z
juntiva.

= abcd

+ a'bc'd' + a'b'c'd' est na forma normal dis

131

4!' Exemplo:
A funo abc' + ab'c + ab' no est na forma normal disjuntiva, pois, no terceiro termo, falta a varivel c ou seu complemento.
5!' Exemplo:
As funes abaixo no esto na forma normal disjuntiva:
x = ab + bc + ac
= abc + abd + acd
z = abc + ac
w = a'b'c' + bc'
t =(a+ b' +c') (a'+ b +c),
y

pois todas as variveis no se encontram em todos os termos.

TRANSFORMAO DE UMA FUNO DISJUNTIVA QUALQUER EM


FORMA NORMAL DISJUNTIVA

Seja a funo
y

= a'b'd + abc' + ab'cd

a qual no est na forma normal disjuntiva porque no primeiro termo falta a vari
vel c e no segundo termo falta a varivel d. Como

c + c' = d + d ' = 1,
podemos escrever:
y = (a'b'd) (c+ c') + (abc') (d + d') + ab'cd

logo,
y

= a'b'cd

+ a'b'c'd + abc'd + abc'd' + ab'cd

est na forma normal disjuntiva.

INVERSA DE UMA FUNO NA FORMA NORMAL DISJUNTIVA

Seja a funo
z = a'b'c + a'bc + abc
na forma normal disjuntiva. Queremos determinar sua inversa z' e, para isto, lanaremos mo de um meio conhecido, ou seja, a tabela-verdade. Construamos, en
to, as tabelas-verdade de z e z'. Feito isto, procedemos conforme vimos no cap
tu lo anterior.

132

z'

o
o
o
o

o
o

o
o
o

o
o

1
1

+- a'b'c'
<-- a'bc'
-ab'c'
<--ab'c
+-abc'

z' = a'b'c' + a'bc' + ab'c' + ab'c + abc'

Z,

A funo inversa de z pode, tambm, ser obtida diretamente da coluna de


da seguinte maneira:

o
o
o
o

o
o

o
o

o
o
o

+--

a'b'c'

+-a'bc'
+-ab'c'
-ab'c
-abc'

Portanto:
z'

= a'b'c' + a'bc' + ab'c' + ab'c + abc'

12.3 FORMA NORMAL CONJUNTIVA


Dizemos que uma funo booleana est na forma normal conjuntiva quando
em todos os fatores aparecem todas as variveis envolvidas ou seus complementos.
1P Exemplo:
y =(a+ b +c') (a'+ b' +c') (a'+ b' +c) est na forma normal conjuntiva.

133

29 E

nplo:
= (a' + b) (a + b' + c) no est na forma normal conjuntiva porque no pri -

TR
NO

:> fator falta a varivel

c.

)FORMAO DA FORMA NORMAL DISJUNTIVA EM FORMA


AL CONJUNTIVA MEDIANTE A TABELA-VERDADE

:eja transformar a funo


y a'b + ab

da
te 1

na normal disjuntiva para a forma normal conjuntiva. Procede-se da seguineira:


a) Constri-se a tabela-verdade de y:

a'

a'b

ab

o
o

o
o

o
o

o
o
o
1

bl Determina-se y' :
y' = a'b + ab'

c) Inverte-se y', para obter-se y, pelo Teorema de De Morgan:


(y')' -

(a'b' + ab')'
(a'b')' (ab')'
(a+ b) (a'+ bl

Portanto:
y = (a + b) (a'+ b) est na forma normal conjuntiva.

12.4 FUNOES NA FORMA BINARIA


Seja a funo

134

y = c'd'

+ cd

que desejamos escrever na forma binria. Como toda varivel no complementada


corresponde ao valor 1 e as complementadas correspondem a O, tal funo pode
ser escrita da seguinte maneira:
y(c,d) =

~(00,11),

e diz-se que a funo est na forma binria.


Exemplo: Dada a tabela-verdade da funo y, escrev-la na forma binria.
Soluo:

o
o
o
o

o
o

+-a'b'c

+-a'bc'

o
o

--ab'c'
--abc'

y = a'b'c + a'bc' + ab'c' + abc', ento : y


nos d: y(a,b,c) = (001,010,100,110).

= 001 + 010 + 100 + 110 o que

Chama-se (ndice de um termo, dado na forma binria, o nmero de valores


1 contidos nesse termo. Assim , por exemplo, os termos 101 O, 1101, 1000 e 1111
ti!m, respectivamente, (ndices 2,3,1 e 4.

12.5 FUNOES NA FORMA DECIMAL


Seja representar na forma decimal a funo dada na tabela-verdade:

o
o

2
3

n9

--

135

Nessa tabela, temos:


.------

n9 decimal

n9 binrio

00

01

10

11

Ento, os valores decimais que correspondem a f


escrever:

= 1 co

2 e 3. Podemos

f(a,b) = E(2,3).
Procedendo de maneira anloga nas funes dadas pelas tabelas a seguir,
temos:
nP

o
o

1
1

o
o
o
o

4
6
8
7

1
1
1
1

o
o

o
o

1
1

n!l

o o
1
o
o
2
3
o
4
o
6
o
8
o
7
o

o
o
o
o

o
o

1
1

o
o

1
1
1
1

o
o

1
1

1
1

1
1

o
o

10
11
12

1
1
1
1
1

o
o
o
o

1
1
1
1

o
o

1
1

o
o
o

o
1

13

14
16

136

1
1

f{ a,b,cl t(1,3,Sl

o
o

fla,b.c.dl :&(1,4,8,7,10,121.

EXERCfCIOS
1.

Representar mediante cfrculos de Euler a funo:


y = abc' + a'bc' + abc + a'bc.

2.

Indicar mediante uma tabela-verdade, a funo:


y

3.

= ad.

Representar sobre uma tabela-verdade, a funo:


y = ab'cd' + ad .

4.

Usando a tabela-verdade, dar a funo y = a + d sob a forma normal disjuntiva.

5.

Passar para a forma normal disjuntiva as funes:


a)
b)
c)
d)

y
y
x
y

=a+ bc'
= d
= a(d' (b +c)+ b'(c'd + a'b'c))
= ad + cd

6.

Dar as funes do exercfcio 5 na forma binria.

7.

Dar as funes do exercfcio 5 na forma decimal.

8.

Determinar, mediante a tabela-verdade, a inversa da funo booleana:


y = abc' + a'b'c' + a'bc + ab'c.

9.

Transformar para a forma normal conjuntiva as seguintes funes booleanas:


a) y =a+ c
b) x =(a+ b') (a'+ b)
c) z =(a+ b +c) (a'+ c') (a+ b')
d) x = (a + b) (a +c) (b + d)

1O.

Representar mediante cfrculos de Euler as funes:


a) y(a,b,c) = 1:(2,3,5,6,7)
b) x(a,b,c) = :!;(000,001 ,011,111)

11.

Exprimir sob forma binria as funes:


a) x = ab + bc
b) y = a'b + bc + ac'
c) z = ab'c + bc + ab'

137

d) w = ab'c + bc + ab
e) t =ab'cd + abc' + a'bd
f) y

= a' + b + c' + d

12.

Exprimir sob a forma decimal as funes do exerc(cio 11.

13.

Construir as tabelas-verdade relativas s funes:


a)
b)
c)
d)
e)

x(a,b) = 1:(2,3)
y(a,b,c) = 1:(000,010,110)
y(a,b,c) = 1:(001,011,111)
y(a,b,c) = 1:(0,3,5)
z(a,b,c,di = 1:(0010,0101,0110,1011)
f) z(a,b,c,d) = 1:(0,3,5,7,11).

138

13
Minimi<go de Funes
Minimizar ou simplificar uma funo booleana a operao mediante a qual
se reduz ao m(nimo 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:
1, Mtodo Algbrico;
2 Mtodo do Mapa de Karnaugh;
3 Mtodo de Ouine-McKiuskey.
Vejamos como se procede em cada um deles.

13.1 Mi:TODO ALGI:BRICO


Este mtodo j foi estudado como aplicao dos teoremas da lgebra de
Boole; daremos apenas um exemplo, como lembrete, para possibilitar compara
es futuras com os demais.
Seja minimizar a funo
y = a((b' +c') (b' +c))+ ab +(a'+ b: ) (b +c').

Soluo:
y

a((b +c') (b' +c))+ ab +(a'+ b') (b +c')


= a(bb' + bc + b'c' + cc') + ab + (a'b + a'c' + b'b + b'c')
abc + ab'c' + ab + a'b + a'c' + b'c'
ab + b'c' + a'b + a'c'
(a+ a') b + b'c' + a'c'

139

b
b
b
b

+ b'c' + a'c'
+c'+ a'c'
+c' ( 1 +a')
+c'

13.2 Mt:TODO 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-la.

MAPA A UMA VARIVEL


No caso de uma varivel, o mapa formado por duas celas que correspondem a cada um dos valores O e 1 que podem se atribufdos varivel.

I. . _.......__. .
Esta tabela pode ser lida de uma das seguintes maneiras:

o
o

o
ou

a'

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 O varivel complementada.

MAPA A DUAS VARIVEIS


~ formado por quatro celas que correspondem s combinaes binrias que
podem ocorrer com estas variveis. Os termos da funJo 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

~o

140

~o

o[oT2l

1[IITI

MAPA A TR~S VARIVEIS

~
00
01
11
10

t;t o

o
000

001
011
010

00
01
11
10

100
101
111
110

o
o

a'b'c' ab'c'

()()

a'b'c ab'c

01 2
3
11 ~......_.~7---1
10 4
5

a'bc

abc

a'bc' abc'

MAPA A QUATRO VARIVEIS


ab

cd
00
o1
1
10

00
0000
0001
0011
0010

ab 00

01
0100
0101
0111
0110
01

11
1100
1101
1111
1110

10
1000
1001
1011
1010

11

10

00 a'b'c'd' a'bc'd'
01 a'b'c'd a'bc'd

abc'd'

ab'c'd'

abc'd

ab'c'd

11

a'b'cd

a'bcd

abcd

ab'cd

10

a'b'cd'

a'ba:l'

abcd'

ab'cd'

,ab

cd

00

()()

o1

11
10

01
4
5
7
6

11
12
13
15
14

10
8
9

11
10

MAPA A CINCO VARIVEIS

cd

00
01
11
10

00 01

11

10

ab

00 0 1
cd
00
01
11
10

11

10

141

MAPA A SEIS VARI V EIS

o
ab
cd
00

00

01

11

ab

10

01
11
10

00

01

11

10

eb
00
cd
00

01

11

10

cd
00

01
11
10
00

01

11

10

00

01
11
10

01
11
10

Como se pode notar, a partir de seis variveis o processo de representao


torna-se complicado e diffcil e no atende ao carter prtico da lgebra de Boole.
Posteriormente, estudaremos outro mtodo que supera esta dificuldade.

REPRESENTAO DE UMA FUNO NA FORMA CANNICA MEDIANTE


O MAPA DE KARNAUGH

Representemos, mediante o mapa de Karnaugh, a seguinte funo na forma


normal disjuntiva:
y = abc'

+ ab'c' + abc + a'b'c.

Trata-se de uma funo a trs variveis e o mapa a ser utilizado :


I

bc
00

01
11
10

142

Para representar a funo atrav~s do mapa, colocamos o valor 1 nas celas


correspondentes a cada termo da funo deixando as demais vazias. Assim:

a
bc

1
1

()()

01
11
10

1
1

v = abc' + ab'c' + abc + a'b'c


REPRESENTAO DE UMA FUNO QUALQUER

Representar a funo

v = a'b'cd + ab'd + abc' + ac'd',


a quatro variveis que no est na forma normal disjuntiva, e em trs de seus termos falta uma varivel. Usando o teorema expresso por ab + ab' = a, temos:

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:

001

cd

a'b'cd

01

00
01
11 --1
10

11
1
1

10
1
1
1

v = a'b'cd + ab'cd + ab'c'd + abc'd + abc'd' + ab'c'd'


Note-se que no caso de funes como v = a'bcd' + ab deve-se considerar
todas as possibilidades de aplicao do teorema ab + ab' =a, ficando o mapa correspondente como se v a seguir:

c~00
a
00

01
11
10

01

11
1
1
1
1

10

143

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:

~mo
01
11
10

ab

00

1
1

01
11
10

01

00

cd

11
1
1
1
1

10

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:

a)~~
o
1
J

c)

11

oom--@
a

tx:"'. o

1o L - - - 1 - - - '
d)

cd

10

01

10

11

,_

01
11
10

@)

,_

00

()()

01

11

ab

'\~

bc~

()()

01

11

10

()()

01

01
11
10

11

10

A1

I
144

()()

'1

()()
1

a'b'c'd

01

11

10
1 ...

SIMPLIFICAO DE FUNES MEDIANTE O MAPA DE KARNAUGH

Dada uma funo representada em um mapa de Karnaugh, se encontrarmos


termos em celas adjacentes, podemos fazer uma simplificao. No mapa que representa a funo
y = a'bc'd' + abc'd + a'b'cd + a'bcd + ab'cd',
~b

cd "-

00

01

11

10

m-g:RI I I

@)

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:

No mapa da funo

y = a'bc'd' + a'bc'd + a'bcd + abc'd

,ab
cd
()()

o1
11

()()

01
1
1
1

11

10

145

temos :

cd~.

00

()()

01
11
10
y

01/ 11
{1\
\.li 1
1

.jlb
cd......_,

10

ab

00

11

01

11

01
(1
1

01
11
10

= a'b'c' + abc'd + a'bcd


cd

()()

00

11

10

_!)

= bc'd + a'bc'd' + a'bcd

10

00
01
11
10
y = a'bd

+ a'bc'd' + abc'd

Transportando estas representaes para um nico mapa, obtemos:


ab

00

~~-+-~~~=-~
11

~o '---"-f-~L...--L...----'

y = a'bc' + a'bd + bc'd

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 so adjacentes duas a duas.
Seja simplificar a funo
y = a'b'c + a'bc + ab'c + abc.

146

O mapa correspondente :

bc

00
o1
1

1
1

1
1

o
e, temos duas maneiras diferentes para simplificar a mesma funo, ou seja:

~o

Considerando que as celas adjacentes no caso de ac e a'c diferem na varivel

a e no caso de bc e b'c diferem na varivel b, podemos agrup-las da maneira mostrada a seguir, ou seja:

bc"'

()() )'-----.-----,

01
11

1o

L...__L,..____J

Outros casos de simplificao:

()()

01

11

10

()()~~~~--~~~

01 ~~~~~~~~
11 ~~~~~~~-v
1o L.......!...!...JL__....___ _.__,!-!._..
y = ab' + a'd'

v = bd + b'd' + c'd

147

Vejamos agora em que as celas so adjacentes quatro a quatro.


Seja o mapa de Karnaugh que representa a funo
y = a'b'c'd + a'b'cd + a'bc'd + a'bcd + abc'd + abcd + ab'c'd + ab'cd.

00

01

11

10

o1

()()

01

11

10

(1
(1

CC i

()()

o
Temos:
cd

00

o1
1

j)
1)

--@
--@)

o
y

= cd + c'd = d

y = ad + a'd = d

13.3 MeTODO DE QUINE-McCLUSKEY

148

Este mtodo aplica-se exclusivamente a fun,es booleanas na forma normal


disjuntiva e nota!o binria. Supera as limitaes do mapa de Karnaugh, que pode
ser aplicado a funes,.com mais de seis variveis e apresenta um procedimento que
permite a utilizao rie computadores. Consiste na aplicao sucessiva do teorema

expresso por ab + ab' = a, a termos que diferem entre si apenas por um d(gito
binrio. Para utilizao deste mtodo, procede-se da seguinte maneira:
a) Classificam-se e agrupam-se os termos da funo de acordo com seus
(ndices.
b) Comparam-se todos os termos de um dado grupo com cada termo do
grupo seguinte, ou seja, de fndice imediatamente superior, mediante a
utilizao do teorema ab + ab' = a. Aplica-se sucessivamente esse teorema comparando cada termo do grupo de fndice i com todos os termos do grupo de fndice i + 1 at esgotarem-se as possibilidades. O
termo resultante consiste na representao fixa original com o d fgito
diferente substitufdo por um trao. Marca-se com (...-) todos os termos
comparados com ao menos outro termo.
c) 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 (li" I formam o conjunto dos termos i"edutfveis.

19 Exemplo:
Determinar os termos irredutfveis da funo
f(x,y ,z) = x'y'z + xy'z' + x'yz' + x'yz + xy'z + xyz.

Soluo:
f(x,y,z) = 1::(001,100,010,011,101,111)

1 o o
2 o 1
4 1 o
3 o 1
5 1 o
7 1' 1 .

z
1

o ,,
o ,.
1
1

/
/

1/

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

o - o , ..r
o 1 1 o -

3,7
5,7

1,3.5.7
1, 5,3,7

z'

-+z

x'y
xy'

1 1
/
1

Como 1,3,5,7 e 1,5,3,7 representam um mesmo termo, no ser necessrio


repeti-lo e a funo simplificada dada por:
f= xy' + x'y + z.

149

29 Exemplo:
Minimizar a funo:
y

a'b'cde + ab'cde' + a'b'c'de' + ab'c'd'e' + ab'c'de' + a'bcd'e +


+ abcd'e' + a'bcde +a' + a'bcd'e' + a'b'cd'e'.

Soluo:
Por convenincia de notao, podemos escrever a funo dada na forma binria ou decimal. Temos:
y(a,b,c,d,e) = l;(00111,1 0110,00010,10000,10010,01101,11100,
01111,01100,001 00) e
y(a,b,c,d,e) = l;(7,22,2,16,18,13,28,15,12,4).

a b c d e
2
4
16
12
18
7
13
22
28
15

ooo 1 o
oo 1 oo
1 o o o o
o 1 1 oo
1 o o 1 o
oo 1 1 1
o 1 1 o 1
1 o 1 1 o
1 1 1 o o
o 1 1 1 1

a b c d e
2,18
4,12
16,18
12,28
18,22
7,15
13,15 '

- oo 1 o
o- 1 oo
1 o o - o
- 1 1 o o
1 o o - 1
o 1 1

-+ b'c'de'

1 1
-

e a funo simplificada :

y = b'c'de' + a'cd'e' + bcd'e' + ab'de' + a'cde + a'bce.

3Y Exemplo:
Minimizar a funo:

150

y '"' a'bc'd' + abc'd' + a'b'c-'d + a'bc'd + a'bcd' + abcd'.

Soluo:
y(a,b,c,d) = 1:(0100,1100,0001,0101,0110,1110) e
y(a,b,c,d) "' 1:(4,12,1,5,6,14)

1
4
5
12
6
14

a b c d

a b c d

a b c d

ooo1
o 1 oo
o1 o1
1 1 o o
o 1 1 o
1 1 1 o

1,5
4,5

o- o 1
o1 o -

4,12 - 1 o
4,6 o 1 6,14
1 1

4,12,6,14

- o

o
o

y = bd' + a'c'd + a'bc' + a'bd'.

Embora a funo esteja simplificada, no est minimizada, pois, apesar de


serem seus termos irredutfveis, no so termos irredutlveis indispensveis. Para
identificar tais termos, usamos o crivo dos termos irredutlveis.

12

14

a'c'd t----11---+--+-----t....._-i
a'bc' 1--t-----+-----t-a'bd' .___.._...__.L-.....,.r---L..----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 simplifi~da 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 irredut(veis indispensveis; os demais so termos suprfluos. Ento, a funo minimizada
resulta:
y

= bd' + a'c'd.

151

EXERCfCIOS
1.

Determinar a funo representada no mapa:

~
00
01

11
10

2.

01

11

10

ab
00

01

11

10

00
01
11
10

Representar as seguintes funes no mapa de Karnaugh:


a)
b)
c)
d)
e)
f)

v(a,b,c) = ab + b'c + a'b' + ab' + bc'


v(a,b,c,d) = abd + ab'c + bc'd + bcd'
v(a,b,c,d) = ~(0001,0101,1111,1010,1001)
v(a,b,c,d) = ~(2,4,5,6,7,11,14)
v= (a+ b) (b' +c+ d)
v= abc(a' +c'+ d')

3.

Simplificar mediante o mapa de Karnaugh as funes do exerdcio 2.

4.

Simplificar pelo mtodo de Quine-McCiuskev as seguintes funes:


a)
b)
c)
d)
e)
f)
g)

5.

152

00

v= a'b + bc' + a'c' + b'd + a'bc' + a'b'c


v= abc + a'bc' + ab' + a'c + a'b
v = abc + ab'c + ac + bc + ad + b'd
v(a,b,c) = ~(0,1,2,4,7)
v(a,b,c,d) = ~(0,1,3,5,7 ,9,11,15)
v(a,b,c,d) = ~(0,2,4,6,7,8,9,10,11, 13)
v = a + b +c + d + abc + a'b'd' + abcd

Desenhar os circuitos relativos s funes dadas no exercfcio 4 e s funes


minimizadas.

Correspondncia entre nmeros decimais e binrios


N!l Decimal

N!l Binrio

N!l Decimal

N!l Binrio

48
49
50
51
52
53

110000
110001
110010
110011
110100
110101
110110
110111
111000
111001
111010
111011
111100
111101
111110
111111

2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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

1
10
11
100
101
110
111
1000
1001
1010
1011
1100
111}t
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

54

55
56
57
58
59
60

61
62
63

153

14
Portos Lgicos

At agora estudamos as funes booleanas descritas algebricamente. Nos


circuitos lgicos, costuma-se indicar tais funes graficamente de modo a torn-las mais simples.
A representao grfica das funes booleanas feita mediante smbolos
padronizados por normas internacionais chamados blocos ou portas lgicas.
As portas lgicas so as bases dos circuitos lgicos e tiim por finalidade combinar as diferentes grandezas booleanas de modo a realizar determinada funo.
Cada porta lgica pode ter diferentes linhas de entrada, porm, somente uma linha
de salda, conforme veremos.
No decorrer do nosso estudo, trabalharemos com as normas americanas
MIL-STD-8068 (MILITARY STANDARD) de uso muito freqente na prtica;
citaremos as normas da CEI (COMISSION ~LECTROTECHNIOUE INTERNACIONALE) reconhecidos internacionalmente e as normas alems DIN 40700
(OEUTSCHE INDUSTRIE NORM).
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.

154

CIRCUITO

INVERSOR
(NEGAO)

TABELA
VERDADE

lillJ
a b

E
(ANO)

ooo
o1 o
1 o o

CEI

DIN

MIL

FUNO
BOOLEANA

a-[}- --[>-- -[}-a

--f>-

a-LJ-x -o

~=D-x

x I" b

~=D-x

;=f!-

~=C)-:

:=D-x

(1"

=l}x ~=L:>--

:=P- x

(1 +

fi
b

~=C)-

a - D -~
b-

fi

~ =f>-

:=i}-

b-

b-

b
a-= - X

J!

1 1 1

a b

ou
lO RI

ooo
o 1 1
1 o 1

a +b

1 1 1
a b X
NE
(NANDl

oo
o1
1 o
1 1

1
1
1

=L}-

b)'

a x
b

NOU
(NORI

oo1
o1 o
1 o o
1 1 o
a b

NE

e/uma
sada
invertida

e/uma
aida
nvertida

1 1 1

ooo
o1 o
o

1 1

a x

b-

ou
Exclusivo

b)'

oo1
o 1 o
1 o 1
a b

NOU

b-

ooo
o1 1
I o 1
1 1 o

=[}-x ~:::jD-x
b-

:*

x(a'b)'
X (a' +

b)'

ab' + a'b
x a@b

155

Vejamos a resoluo de alguns exemplos:

1P Exemplo:
Representar mediante portas lgicas a funo x =ab'

Soluo:

~----Df-----x = ab'
2P Exemplo:
Dar o circuito lgico correspondente funo z "' ab' + a'b

Soluo :

~---~~----,

.____1",.._---

.----L-/

39 Exemplo:
Determinar a funo correspondente ao circuito lgico:

e
f

~~
h ----~

-----L_/

Soluo :

156

i = (a + b +c+ d)

(h i)

=g

(h i)

z = ab' + a'b

49 Exemplo:

Representar a funo definida pela tabela verdade como circuito lgico:

o
o
o
o

o
o

1
1

1
1
1
1

o
o

1
1

1
1
1

Soluo:
A tabela verdade define a funo:
x = a'bc + ab'c + abc' + abc
Simplifiquemos a funo:
x = a'bc + a (b'c + bc' + bc)
= a'bc +a ((b' + b) c+ bc')
= a'bc +a (c + bc')
= a'bc +a (c+ b)
= a'bc + ac + ab
= (a'c +a) b + ac
(c+ a) b + ac
= bc + ab + ac
Ento, x = bc + ab + ac.
E o circuito lgico correspondente ser:

~---rJ~--

:~r----~====~r==>~----x
; ___......,!

)~--____J

157

5P Exemplo:

Dar o circuito lgico correspondente rea hachurada nos drculos de


Euler:

Soluo:
A funo correspondente rea hachurada :

x = ab'c + a'bc + abc


Simplificando, obtemos:
x

a (b'c + bc) + a'bc

= ac + a'bc

(a+ a'b) c
(a+ b) c
ac + bc
Portanto, x = ac + bc
E o circuito lgico procurado :

a---ij\
c
____;r-----,

'----o,____

6~ Exemplo:

158

Simplificar o circuito lgico mediante utilizao do mapa de Karnaugh.

a
b
d
a
c
d

b
c
d

a' - - - - r - -,
c ---~

d ----i.__,/

Soluao:
O circuito lgico dado corresponde funo:
x = abd + acd + bcd + ab + a'cd, a quatro variveis e que no est na for
ma normal disjuntiva, faltando uma varivel em quatro de seus termos e duas variveis em um de seus termos. Usando o teorema expresso por ab + ab' = a, temos:
x = abcd + abc'd + abcd + ab'cd + abcd + a'bcd + abcd + abc'd + a'bcd +
+ a'b'cd
que, representada no mapa de Karnaugh, nos d:
ab
()()

cd

01

11

,......
00

01

11
10

(1

10

1
..........

159

donde tiramos a funo simplificada:

x = ab + cd
e desenhamos o circuito lgico pedido:

Exerccios:
1. Representar mediante portas lgicas as funes:
a)

b)
c)

d)
e)
f)

.e

=m n + p
z = (a b) + (c d)
x = (a + b) (c + d)
y = a'bc + ab'c'
x =a+ b +c
y =a'+ b

2. Determinar as funes correspondentes aos circuitos lgicos:


a)

a----1
b----i

b----i
c----i

b)

160

3. Dar as tabelas-verdade correspondentes a cada circuito lgico.


a)
a
b

b)

c)

dl

a
b

b
c

[)a

a
b

a---~

b----1

161

4 . Desenhar os circuitos correspondentes (simplificados) s tabelas-verdade:

b)

a)

a b c

oooo
oo 1 1
o1 o 1
o1 1 1
1 o o 1
1 o 1 1
1 1 o 1
1 1 1 1

c)

a b c y

a b c z

oooo
oo1 1
o1 o 1
o1 1 o
1 o o 1
1 o 1 o
1 1 o o
1 1 1 o

ooo
oo 1
o 1 o
o1 1
1 o o
1 o 1
1 1 o
1 1 1

o
o
o
1

o
1
1

5. Desenhar os circuitos lgicos correspondentes aos drculos de Euler.

162

6. Desenhar os crculos de Euler correspondentes aos circuitos lgicos:


a)

b)

b
c

a
b

a--D

c)

8---~

b----J

d)

e)

:----~r=:>r-c------------o~------x
~----~~---y

. 7. Simplificar, usando os teoremas da lgebra de Boole, os circuitos lgicos:

a)

:-=----D---a-----------------~--~01----- x
163

b)

~====O

~====O
a
b
c
c)

====e\

a
b

====e\
)

a
b

8. Simplificar os circuitos lgicos mediante utilizao do mapa de Karnaugh.

a)
a

====e\

~~=~~~==~[)~---X
b-----r-\:------'

c ----t..____;

164

b)

c)

a'

b~r----X

d)

165

Oibliogrofia
ALENCAR FILHO, Edgard de. Iniciao lgica matemtica. So Paulo, Nobel,
1976.
A.I.D.E.P. Algebre de Boole ( Utilisation pour la simplification des circuits logiques) - Cours Program - DUNOD, 1971.
BITTINGER, Marvin L. Logic and proof. Addison-Wesley, I 982.
BOSCO LO, Alcides. Notas de aula FFCLSA. Santo Andr, 1971.
BOUWENS, A. J. Digital instrument cotme. (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.
CALABRESE, Giuseppe. L 'Aigebra di Boole. Milano, Delfino, 1973.
CASTRUCCI, Benedito. Introduo lgica matemtica. So Paulo, Nobel, 1975.
CIANFLONE, Franco. L 'Aigebra di Boole e i circuiti logici Milano, Etas Libri
SPA, 1978.
ENNES, Harold E. Boolean algebra for computer logic. Howard W. Sams &Co.,
1978.
FAURE, R., DENIS-PAPPIN, M. & KAUFMANN, A. Cours de calcul boolien
appliqu. Paris, Albin Michel, 1970.
FINE, Nathan J. An introduction to modern mathematics. George Allen and
Unwin, 1967.
FLEGG, H. Graham. Boolean algebra and its applications. Black.ie: London and
Glasgow, 1964.
HILL, Frederik J. & PETERSON, Gerald R. Introduction to switching theory
and logical design. John Wiley & Sons, 1974.
HOERNES, Gerhard E. & HEILWEIL, Me1vin F .lntroduccin ai algebra de Boole
y a los dispositivos lgicos (Autoenseiianza Programada). Madrid, Paraninfo,
166
1976.

HOHN, Franz E. Applied boolean algebra. Macmillan , 1966.


KOHAVI, Zvi. Switching and finite autorruzta theory. New Delhy, McGraw-Hill,
1978.
KORFHAGE, Robert R. Logic and a/gdrithms. John Wiley & Sons, 1966.
LARNEY, Violet Hachemeister. Abstract a/gebra; a first course. Prindle, Weber
& Schmidt, 1975.
LEE, Samuel C. Modern switching theory and digital design. Engewood Cliffs,
Prentice-Hall, 1978.
MANGE, Daniel. Analyse et synthese des systemes logiques. St. Saphorin, Editions Georgi, 1978.
McCLUSKEY, E. J. Introduction to the theory o{ switching circuits. New York,
McGraw-Hill, 1965.

MUROGA, S. Logic design and switching theory. New York, John Wiley & Sons,
1979.
.
PINZN, lvaro. Conjuntosy estructuras. Harper & Row, 1973.
RUSSI, Gonzalo Zubieta. Manual de lgica para estudiantes de matemticas.
Mxico, Trillas, 1977.
ROETHEL, Louis F. Logic, sets and numbers. Wadsworth Publishing, 1978.
SOUTH, G. F. Boolen algebra and its uses. Van Nostrand Reinhold, I 974.
WHITESITT, J . Eldon. Boolean algebra and its applications. Addison Wesley,
1961.

167