Você está na página 1de 49

1

MINISTRIO DA EDUCAO
SECRETARIA DE EDUCAO PROFISSIONAL E TECNOLGICA
INSTITUTO FEDERAL DE EDUCAO, CINCIA E TECNOLOGIA DE RONDNIA
CAMPUS PORTO VELHO CALAMA
PRONATEC

_______________________________________

MATEMTICA APLICADA
CURSO TCNICO EM INFORMTICA CONCOMITANTE
_______________________________________

Prof. Vlademir Fernandes

Porto Velho - RO
2016

No h ramo da Matemtica,
por mais abstrato que seja,
que no possa um dia vir a ser aplicado
aos fenmenos do mundo real.
Nikolai Lobachevsky

SUMRIO
INTRODUO .......................................................................................................... 4
CAPTULO I: INDUO MATEMTICA ............................................................... 5
CAPTULO II: RECURSO E RELAES DE RECORRNCIA .......................... 9
2.1- Recorrncias lineares de primeira ordem ..................................................... 10
2.2- Recorrncias lineares de primeira ordem no homogneas......................... 11
2.3- Recorrncias lineares de segunda ordem ..................................................... 18
CAPTULO III: INTRODUO LGICA MATEMTICA ................................ 25
CAPTULO IV: OPERADORES BOOLEANOS E PORTAS LGICAS ................ 34
CAPTULO V: LGEBRA DE BOOLE ................................................................... 45
REFERNCIAS ....................................................................................................... 49

INTRODUO
No redundante reafirmar a importncia da Matemtica em carreiras
acadmicas e tecnolgicas. Basicamente toda estrutura tcnico-cientfica est
fundamentada em alguma lgica ou princpio matemtico alm de ser expressa
por meio dessa linguagem.
Nos cursos tcnicos de nvel mdio ela se mostra imprescindvel. Na
maioria deles no h como se compor o curso sem oferecer a possibilidade de se
estudar Matemtica, em nvel fundamental ou mais avanado, a ttulo de reviso
ou aprofundamento. O fato que ela est l.
O desafio contnuo para os professores tornar o ensino e aprendizagem da
Matemtica uma ao mais palpvel, ou, poderamos mesmo dizer, mais humana,
acessvel a todos e com um enfoque contextual e prtico. Agora, no raiar do sculo
XXI no basta termos a Matemtica presente em nossas aes, em nosso
currculo. preciso mais. necessrio que ela seja apreendida, absorvida por
meio de abordagens contemporneas e suprindo as necessidades de nossa poca,
quais sejam, de um ensino mais significativo, contextualizado e prtico.
Este material fruto da tentativa de propor justamente uma Matemtica
nestes moldes. Uma que esteja baseada na interdisciplinaridade, ou seja, que
dialogue com outras disciplinas. Que esteja mais contextualizada realidade e s
demandas prprias do perfil do curso; neste caso, o de tcnico em informtica.
Assim, estratgias foram adotadas para concretizar este intento. Algumas
delas esto relacionadas metodologia de ensino. Optamos por trabalhar por
vezes a partir da resoluo de problemas, uma metodologia que tem auxiliado
muito no aprendizado. Tambm foi previsto a utilizao das TICs, ou seja, das
ferramentas da prpria informtica como softwares que podem complementar o
aprendizado, bem como proporcionar a interao dos alunos. Outras estratgias
so direcionadas ao currculo. Desta forma, conseguimos sair do lugar comum e
avanar com a proposta de um currculo mais condizente com as necessidades
daqueles que lidam com os dilemas da informtica. Destarte, optamos por omitir
alguns contedos em benefcios de outros no usuais, mas de extrema
importncia para rea como: Induo e Lgica Matemtica, Recorrncias e
lgebra Booleana. Para completar a srie, as atividades propostas seguiram
igualmente o mesmo contexto, sendo baseadas no em memorizao e fixao de
contedo, mas sim sustentadas na participao, envolvimento e desenvolvimento
dos alunos a partir de diversas propostas.
Por fim, estamos diante de um material que se prope ser significativo
para a proposta do curso, interativo em suas relaes e profundo em sua
abordagem.

CAPTULO I
INDUO MATEMTICA
Induo um mtodo de raciocnio que procura generalizar uma proposio
a partir de poucas observaes. Ele avana da parte para o todo. De modo
geral, um raciocnio til e quando empregado de forma correta, produz bons
resultados. O problema se d justamente na m aplicao de induo, o que, pode
produzir resultados catastrficos. Vejamos o exemplo seguinte que mostra o
equvoco de fazermos uma induo com pequenas quantidades de evidncia.
Vamos analisar a raiz quadrada de alguns nmeros. 2025, 3025 e 9801.
Observemos um fato muito interessante entre a estrutura de cada um
desses nmeros e sua respectiva raiz quadrada. A raiz quadrada de 2025 45.
Observe que se somarmos os dois primeiros algarismos do nmero com os dois
ltimos tambm teremos do resultado 45, ou seja, 20 + 25 = 45.
Assim, observamos que
= 45 20 + 25 = 45.
Isso fascinante e talvez estejamos diante de uma descoberta!
Ento, vamos testar com nossos outros nmeros para ver se a descoberta
se comprova.
Raiz quadrada de 3025 55. E 30 + 25 = 55. Tambm deu certo!
Nosso ltimo caso trabalhar com o nmero 9801. Tal nmero
interessante, pois diferente da categoria dos outros que eram mltiplos de 5.
Logo, temos:
= 99 98 + 01 = 99.

Se tomarmos apenas estes trs testes, podemos enunciar uma teoria mais
ou menos assim:
A raiz quadrada de qualquer nmero de quatro algarismos pode ser
obtida atravs da soma dos dois primeiros algarismos desse nmero com
os dois ltimos.
Poderamos, ainda, escrever isso em notao matemtica.

Pronto, temos uma generalizao a partir do uso da induo!


O problema que o uso da induo foi, o que diramos, vulgar, ou seja, no
usou uma formalizao matemtica mais eficiente. O perigo desses
generalizaes que elas podem falhar com outros valores!
Testemos, a nova descoberta com o nmero 1024, por exemplo.
Temos,
.
Basta um teste para que toda teoria seja refutada, pois a mesma diz que
QUALQUER NMERO, ou TODO NMERO, mas isso no funcionou para o
nmero 1024. Tambm no funciona para os nmeros: 2500, 5929, 4040 e para
uma infinidade de outros.
Iezzi ainda nos afirma que a induo vulgar (generalizao de propriedade
aps verificao de que a propriedade vlida em alguns casos particulares) pode
conduzir a srios enganos na Matemtica" (1977, p. 53).
Ele mostra dois exemplos clssicos:

1- Consideremos a relao

definida para

. Temos,

Os nmeros y encontrados so primos. Fermat (1601-1665) acreditou que a


frmula acima daria nmeros primos qualquer que fosse o valor inteiro positivo
atribudo a n. Esta induo falsa, pois Euler (1707-1783) mostrou que para n=5
resulta:
Isto , resulta um nmero divisvel por 641 e, que, portanto, no primo.
2- Dada a relao
, definida para todo

. Temos:

Poderamos tirar a concluso precipitada: y nmero primo,


Esta induo tambm falsa, pois:
, de acordo com (IEZZI, 1977).
Ilustrao: Cuidado com a induo galincea!
Havia uma galinha nova no quintal de uma velha senhora. Diariamente,
ao entardecer, a boa senhora levava milho s galinhas. No primeiro dia, a
galinha, desconfiada, esperou que a senhora se retirasse para se alimentar. No
segundo dia, a galinha, prudentemente, foi se alimentando enquanto a senhora se
retirava. No nonagsimo dia, a galinha, cheia de intimidade, j no fazia caso da
velha senhora. No centsimo dia, ao se aproximar a senhora, a galinha, por
induo, foi ao encontro dela para reclamar o seu milho. Qual no foi a sua
surpresa quando a senhora pegou-a pelo pescoo com a inteno de p-la na
panela. Bertrand Russel. (HEFEZ, 2006).
Para termos condies matemticas adequadas de provar proposies e
realmente estabelecer sua generalidade, precisamos de um mtodo matemtico
que nos auxilie. Este mtodo conhecido como Axioma da Induo ou Princpio
da Induo Finita e tem o seguinte enunciado.
Uma proposio P(n), aplicvel aos nmeros naturais n, verdadeira para
todo
, quando:

1) P
verdadeira, isto , a propriedade vlida para
2) Se
e P
verdadeira, ento P
verdadeira.

,
tambm

Exemplo:
Vamos provar a validade da proposio que calcula a soma dos n nmeros
naturais mpares.
1) Precisamos escolher um
verdadeira
:
2) Supondo

, assim,

e verificamos se

verdadeira, ou seja:
(hiptese de induo).

Provemos que decorre a validade de

Este ltimo valor


vale para todo
. Podemos,
ento, afirmar que a soma dos n primeiro nmeros mpares igual ao quadrado
de n. (LIMA, 2012).
Exemplo:
Demonstre, usando o Princpio de Induo Finita que:
1) Escolhemos um

, assim,

e verificamos se verdadeira

:
2) Supondo

verdadeira, ou seja:
(hiptese de induo).

Provemos que decorre a validade de

Este ltimo valor

vale para todo

ATIVIDADES
Prove a validez das proposies abaixo para todo nmero natural, usando o
Princpio da Induo Finita.
1)
2)
3)

4)
5)
6)
7)

8) ( )

( ) ( )

)
(

9)
10)
COMPLEMENTO
Recomendamos que o aluno assista s seguintes vdeo aulas:
Induo Matemtica Aula 1 Princpio da Induo Finita. PIC OBMEP,
disponvel em: https://www.youtube.com/watch?v=bhfhmre-QxU
Induo Matemtica Aula 2 Soma de quadrados perfeitos. PIC OBMEP,
disponvel em: https://www.youtube.com/watch?v=tkSkVtZmhxE
Induo Matemtica Aula 3 Exerccios. PIC OBMEP, disponvel em:
https://www.youtube.com/watch?v=ZS2kxQeXfz4

CAPTULO II
RECURSO E RELAES DE RECORRNCIA
Uma sequncia de nmeros reais uma funo
, em que cada
associa um nmero pertencente aos reais chamado n-simo termo.
Muitas sequncias so definidas por recorrncia, ou seja, por intermdio de
uma regra que permite calcular qualquer termo em funo do(s) antecessor(es)
imediato(s). (LIMA, 2012b). Em outras palavras, podemos dizer que uma relao
de recorrncia tal que determina cada termo de uma dada sequncia, a partir
de certo termo, em funo dos termos anteriores.
A sequncia
dos nmeros naturais mpares (1, 3, 5, 7,...), que uma
Progresso Aritmtica (PA), pode ser definida como
e
.
De modo especial, toda PA representa uma recorrncia definida da
seguinte maneira: PA uma sequncia em que cada termo, a partir do segundo,
igual soma do termo anterior com uma constante r, ou,
e
.
A sequncia dos nmeros (2, 4, 8, 16, 32,...), que uma Progresso
Geomtrica (PG) outro exemplo de sequncia definida recursivamente. Notemos
que cada termo, a partir do segundo, o termo anterior multiplicado por uma
razo q. Ou seja, um termo definido recorrendo-se ao anterior. Desta forma,
podemos escrever a PG como
e
.
Exemplo:
Seja uma sequncia definida por
Determine os cinco primeiros termos desta sequncia.
Para descobrirmos o terceiro termo, temos que n = 1.
Para n = 1, temos:
(substituindo

, com

Para o quarto termo, temos que n = 2.


Para n = 2, temos:
(substituindo

Para o quinto termo, temos que n = 3.


Para n = 3, calculamos:
(substituindo

10

Logo, a sequncia procurada (1, 1, 3, 7, 17)


Exemplo:
Resolva a recorrncia

... = ...
__________________________
Ou, usando produtrio:

Ento,

ATIVIDADES
1- Seja a sequncia definida por
, com
.
Determine seus cinco primeiros termos.
2- Seja
o nmero mximo de regies em que n retas podem dividir o plano.
Caracterize
recursivamente.
3- Determine os quatro primeiros termos da sequncia
, sendo
.
4- Se
determine .
5- Se
determine .
2.1- RECORRNCIAS LINEARES DE PRIMEIRA ORDEM
Uma relao de recorrncia dita linear quando a regra que relaciona cada
termo com os anteriores tambm linear. Ela dita de primeira ordem quando
ocorre quando cada termo obtido em funo unicamente do termo precedente,
ou seja, quando
est em funo de .

11

Vale lembrar que resolver uma recorrncia no apenas descrever a


recorrncia, mas encontrar uma regra (frmula fechada) que fornea cada termo
da sequncia em funo apenas de n e no dos termos anteriores. Essa regra
ser a soluo da recorrncia.
Como comparativo podemos citar o caso de uma PA. Sabemos que numa
PA, cada termo o anterior adicionado a uma razo r. Esta a descrio da
recorrncia que existe, ou seja, estamos dizendo que para toda PA, temos:
Contudo, esta no uma regra fechada que nos d o valor de cada termo
um funo unicamente de n. Logo, resolver esta recorrncia seria encontrar tal lei
de formao em funo de n. Para a PA, temos que tal lei definida como:
Precisamos diferir as recorrncias lineares em duas categorias. As
homogneas e as no homogneas. As recorrncias lineares homogneas so
aquelas que no possuem termo independente de . O caso contrrio define as
no homogneas.
Exemplo:
Resolva

..... = ....
Multiplicando todas as igualdades, temos:

ATIVIDADES
1- Resolva
2- Determine o nmero mximo de regies em que n retas podem dividir o
plano.
3- Determine o produto dos n primeiros nmeros pares positivos.
2.2- RECORRNCIAS
HOMOGNEAS

LINEARES

DE

PRIMEIRA

Uma recorrncia linear de primeira ordem do tipo:

ORDEM

NO

12

Analisemos primeiramente o caso em que


, ou seja, da forma
, que representa o tipo de recorrncia mais fcil de resolver.
Com efeito, temos:

..... = ....
Somando, obtemos:

Exemplo:
Resolva

... = ...
_______________

Logo, usando a frmula da soma de PG, que

, temos a soluo.

ATIVIDADES
1- Resolva
2- Resolva
Analisemos agora o caso em que
, ou seja, a recorrncia seja da
forma
. Neste caso, mais complicado, precisaremos lanar
mo de um teorema para nos dar suporta para soluo. Vejamos este teorema
conforme Lima (2012b).
Teorema 1. Se
uma soluo no nula de
substituio
transforma a recorrncia
[

, ento, a
]

13

Prova. S substituio de

transforma

Portanto, a equao se transforma em


[

Exemplo:
Resolva
Uma soluo no nula de
pode ser obtida com o uso de tcnicas
mostradas anteriormente. Assim, temos:
. Pelo teorema, uma boa ideia
ser substituir
para transformar a recorrncia. Portanto, fazemos:
E substitumos este resultado na recorrncia original.

A nova recorrncia pode ser resolvida, pois mais simples. Resolvendo


, temos:

... = ...
Somando, temos:

Como

, temos

. Portanto,
.

ATIVIDADE
1- Resolva
2- Torre de Hani, induo e as recorrncias matemticas.
A Torre de Hani bastante conhecida e pode facilmente ser fabricada ou
mesmo encontrada em papelarias ou lojas de brinquedos pedaggicos. um jogo
formado por discos com um furo no centro e por uma base com trs hastes
verticais. Os discos de dimetros diferentes se encaixam nas hastes. O jogo
comea com os discos dispostos numa mesma haste de tal forma que discos

14

maiores sempre fiquem abaixo dos menores. O objetivo transportar todos os


discos para outra haste seguindo as regras:
1) Mexe-se uma nica pea por vez;
2) Peas menores sempre ficam acima de peas maiores;
3) No permitido movimentar uma pea que esteja abaixo de outra.

Figura 1. Torre de Hani. Jogo Online.


Fonte: http://www.ufrgs.br/psicoeduc/hanoi/

Assim, definido o jogo, tente resolv-lo utilizando 3 discos. Quantos lances


voc realizou? Quantos lances outra pessoa realizou para resolver o mesmo
problema? Qual foi o menor nmero de lances encontrados para resolver a Torre
com 3 discos?
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
O prximo passo fazer o mesmo agora com 4 discos. Quantos lances voc
realizou? Quantos lances outra pessoa realizou para resolver o mesmo problema?
Qual foi o menor nmero de lances encontrados para resolver a Torre com 4
discos?
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
Faa ainda com 5 discos. Quantos lances voc realizou? Quantos lances
outra pessoa realizou para resolver o mesmo problema? Qual foi o menor nmero
de lances encontrados para resolver a Torre com 5 discos?
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________

15

Pela sua observao, voc pode dizer se o jogo tem soluo para qualquer
nmero n de discos?
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
Qual o nmero mnimo
de lances para resolver a Torre de Hani com n
discos? Essa questo no to bvia assim.
Para encontrar um modelo que solucione a questo anterior precisamos
primeiramente fazer algumas observaes.
Para resolver o problema com 3 discos podemos seguir os seguintes passos: 1C,
2B, 1B, 3C, 1A, 2C, 1C. Como mostra a figura 2, sendo 1C o disco 1 na haste C e
a sequncia expressando a ordem das jogadas.

Figura 2. Torre de Hani. Jogo Online.


Fonte: http://www.ufrgs.br/psicoeduc/hanoi/

No caso de aumentarmos um disco o processo pode ser realizado de modo


similar ao primeiro, ou seja, transportamos os trs discos iniciais para haste C
como feito anteriormente. Da, temos que realizar mais um lance transportando o
disco 4 para a haste B. Depois realizamos todo o processo de deslocar os trs
discos de C para B.

16

Figura 3. Torre de Hani. Jogo Online.


Fonte: http://www.ufrgs.br/psicoeduc/hanoi/

Assim, estamos diante de uma recorrncia, ou seja, para resolver o


problema com 4 discos temos que resolver para 3 discos primeiramente,
realizarmos mais um lance e depois resolvermos novamente para 3 discos. Logo, o
nmero de lances para resolver a Torre com 4 discos dado por
, ou seja,
. De igual forma, temos:
. De modo geral,
. Isso significa que para resolver o
problema para um nmero n de peas, devemos passar duas vezes pela soluo
do problema com um nmero de n 1 peas e adicionar uma unidade. Isso pode
dar origem a uma sequncia numrica das solues L3, L4, L5, ..., Ln. A propsito,
voc sabe o que uma sequncia numrica?
At agora vimos que as solues so dadas por meio de recorrncias. Tente
encontrar o modelo
em funo de n a partir dos conhecimentos de recorrncia
linear de 1 ordem estudados at o momento.
Qual o modelo
encontrado?
___________________________________________________________________________
___________________________________________________________________________
Use o Princpio da Induo Finita para comprovar que o modelo
vlido
para todo
.
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
COMPLEMENTO
Para saber mais sobre a Torre de Hanoi e sua soluo, assista seguinte vdeo
aula:
lgebra (Torre de Hanoi) Nvel 2.
disponvel em: https://www.youtube.com/watch?v=9eLkdUFzCG8

17

Soluo Torre de Hanoi


Vamos transformar a recorrncia
em uma mais simples de
ser resolvido aplicando o teorema visto neste captulo.
Seja
uma soluo no nula de
. Aplicando as tcnicas vistas
anteriormente, encontramos:
. Pelo teorema 1, uma boa ideia ser
substituir
para transformar a recorrncia. Portanto, fazemos:
E substitumos este resultado na recorrncia original.

A nova recorrncia pode ser resolvida, pois mais simples. Resolvendo


, temos:

... = ...
Somando, temos:

Como

, temos

e
.

. Portanto,

Usando o Princpio da Induo Finita, podemos mostrar a validade da lei


para todo
.
1) Verificamos se verdadeira

2) Supondo

verdadeira, ou seja:
(hiptese de induo).
Mostremos que isso implica a validade de
.
Sabemos, pela lei de recorrncia, que
. Esta relao est bem
estabelecida. Assim, substitumos nela nossa hiptese de induo. Temos:

Isso mostra que se a regra vale para

ela tambm vale para

18

2.3- RECORRNCIAS LINEARES DE SEGUNDA ORDEM


Uma relao de recorrncia dita de segunda ordem quando ocorre que
cada termo obtido em funo dos dois termos precedentes, ou seja, quando
est em funo de
e .
Vamos tentar ilustrar e desenvolver o raciocnio a partir da resoluo do
seguinte problema:
De quantas maneiras podemos guardar n domins 2x1 em uma caixa 2xn?
Vamos chamar de
o nmero de maneiras de distribuir os n domins na
caixa. Vejamos alguns casos.
n
1
=1
2
=2
3
=3
4
=5
...
n

...

Notemos que h uma lei de recorrncia que define a sequncia. Se


observarmos, para cada novo espao na caixa, temos que a quantidade de
posicionar os domins so a soma das quantidades das duas possibilidades
anteriores. Ou seja, se a caixa for 2x5, teremos 5+3=8 possibilidades. Se a caixa
for 2x6, teremos 8+5=13 possiblidades e assim por diante.
Em smbolos, podemos ilustrar assim. Tirando a pea final de n = 4, temos
que o resultado so as possibilidades de n = 3 somado com n = 2.

Assim, a situao apresentada segue a seguinte recorrncia:


{
Para buscar um meio de resolver a recorrncia, analisaremos o
comportamento da sequncia em questo que pode ser escrita como (1, 1, 2, 3, 5,
8, 13, 21, 34,...). Trata-se da famosa sequncia de Fibonacci. Vamos constru-la
usando o recurso do programa geogebra para visualizar uma espcie de ajuste de

19

curva que nos possibilite identificar o tipo de funo que pode modelar
adequadamente a recorrncia.

Figura 4. Fibonacci em tabela e caminho poligonal no geogebra.


Fonte: autor.

Figura 4. Fibonacci em caminho poligonal no geogebra.


Fonte: autor.

Observando o comportamento da sequncia podemos arriscar que sua


curva se aproxima consideravelmente de uma curva exponencial. Podemos traar,
para comparao, no mesmo plano cartesiano, o grfico de uma funo

20

exponencial de base a e observar seu grfico quando a um nmero prximo ao


nmero e (de Euler).

Figura 5. Funo

, com a prximo de e e Fibonacci.


Fonte: autor.

Notamos que a funo, pelo menos no intervalo observado, pode modelar


adequadamente a situao. De fato, uma funo exponencial ou uma PG podem
modelar uma recorrncia de segunda ordem.
Uma funo exponencial ou PG pode ser obtida mediante uma frmula
como
Assim, tomando y como soluo da recorrncia
com
, temos:

Contudo, nenhum dessas razes isoladas quando substitudas em


nos d um valor de a adequado, e, portanto, um modelo adequado para recurso.
Neste ponto, precisamos usar mais uma tcnica para concluirmos o processo.
Sabemos que a soma dos elementos de duas recorrncias lineares de segunda
ordem tambm gera uma de segunda ordem.
Vejamos na tabela um exemplo em que teremos nossa sequncia
que
recursiva de segunda ordem e
tambm recursiva de segunda ordem.
Mostraremos que a soma
igualmente uma recorrncia de segunda
ordem.

21

Figura 6.
.
Fonte: autor.

Utilizando tal informao, faremos nosso modelo mediante a soma de duas


funes usando como base e .

Quais so os valores de a e b? Podemos descobrir sabendo que quando


n = 0, y = 1 e n = 1, y = 1. Substituindo na equao acima, temos:
{
{
(

Substituindo (3) em (2), temos:


)
)
(
(
)

)
(
(
)

22

Como

, temos:

Logo, temos nosso modelo procurado.

Ou ainda:
(

O problema serviu para ilustrar que a cada recorrncia linear de segunda


ordem homognea da forma
est associada a uma equao
do segundo grau
, chamada de equao caracterstica.
Completaremos mostrando um teorema e sua prova de acordo com Lima (2012b).
Teorema 2. Se as razes de
soluo da recorrncia
sejam os valores das constantes
e .
Prova.

so

e
, ento,
, quaisquer que

Substituindo
na
recorrncia
, obtemos, agrupando convenientemente os termos,

Exemplo:
Resolver a recorrncia
A equao caracterstica
tem razes
e
De acordo com o teorema 2, as solues da recorrncia so da forma
, ou seja,
como
podemos
encontrar o valor de
e .
{

23

Substituindo (3) em (2), temos:

(4)
Substituindo (4) em (3), temos:

Substituindo

em nossa equao de recorrncia, temos:

Observao: Se as razes de
so
e , alm disso,
ento, toda soluo da recorrncia
da forma
quaisquer que sejam os valores das constantes
e
. O
processo de soluo torna-se anlogo ao que foi visto anteriormente. (LIMA,
2012b).
ATIVIDADES
1- Determine as solues da recorrncia
2- Determine a lei de recorrncia da sequncia com primeiro e segundo
termos, respectivamente 1 e 2, tal que o termo geral obedecido por
.
3- Resolva
a
relao
de
recorrncia
,
com
4- Resolva a relao de recorrncia
com
5- De quantas maneiras uma pessoa pode subir n degraus se ela tiver a opo
de subir um ou dois degraus por vez?

24

COMPLEMENTO
Para complementar o aprendizado de recorrncia, recomendamos que o aluno
assista s seguintes vdeo aulas:
PAPMEM Janeiro de 2015 Recorrncia. IMPA.
disponvel em: https://www.youtube.com/watch?v=YE6K7SNrcRY
MA12 Matemtica discreta Recorrncias Lineares de Primeira Ordem I.
disponvel
em:
http://www.profmat-sbm.org.br/images/videos/ma12__matematica_discreta/Recorrencias_Lineares_de_Primeira_Ordem_I.mp4
MA12 Matemtica discreta Recorrncias Lineares de Primeira Ordem II.
disponvel em: http://www.profmat-sbm.org.br/images/videos/ma12__matematica_discreta/Recorrencias_Lineares_de_Primeira_Ordem_II.mp4
MA12 Matemtica discreta Recorrncias Lineares de Primeira Ordem III.
disponvel em: http://www.profmat-sbm.org.br/images/videos/ma12__matematica_discreta/Recorrencias_Lineares_de_Primeira_Ordem_III.mp4
MA12 Matemtica discreta Recorrncias Lineares de Primeira Ordem IV.
disponvel em: http://www.profmat-sbm.org.br/images/videos/ma12__matematica_discreta/Recorrencias_Lineares_de_Primeira_Ordem_IV.mp4
MA12 Matemtica discreta Recorrncias Lineares de Segunda Ordem I.
disponvel em: http://www.profmat-sbm.org.br/images/videos/ma12__matematica_discreta/Recorrencias_Lineares_de_Segunda_Ordem_I.mp4
MA12 Matemtica discreta Recorrncias Lineares de Segunda Ordem II.
disponvel em: http://www.profmat-sbm.org.br/images/videos/ma12__matematica_discreta/Recorrencias_Lineares_de_Segunda_Ordem_II.mp4
MA12 Matemtica discreta Recorrncias Lineares de Segunda Ordem III.
disponvel em: http://www.profmat-sbm.org.br/images/videos/ma12__matematica_discreta/Recorrencias_Lineares_de_Segunda_Ordem_III.mp4

25

CAPTULO III
INTRODUO A LGICA MATEMTICA
O pensamento lgico pode levar voc de A a B,
mas a imaginao te leva a qualquer parte do
Universo Albert Einstein

Lgica (do grego logos) tem dois significados principais: discute o


uso de raciocnio em alguma atividade e o estudo normativo, filosfico do
raciocnio vlido. No segundo sentido, a lgica discutida principalmente nas
disciplinas de filosofia, matemtica e cincia da computao. (WIKIPDIA, 2016).
Proposio. Chama-se proposio ou sentena toda declarao que pode
ser classificada como verdadeira ou falsa. Tambm chamamos uma proposio de
sentena fechada. So proposies: 5<7, -1
, a lua um satlite da Terra, Porto
Velho a capital de Rondnia. Por outro lado, no so proposies: (5+4)x3 (pois
no pode ser classificada em verdadeiro ou falso),
( uma frase
interrogativa), 4x+1=3 (depende do valor de x).
Segundo Alencar Filho (2002), a Lgica Matemtica adota como regras
fundamentais do pensamento dois princpios bsicos: 1) Princpio da no
contradio afirmando que uma proposio no pode ser verdadeira (V) e falsa (F)
ao mesmo tempo. 2) Princpio do terceiro excludo que afirma toda proposio ser
verdadeira (V) ou falsa (F), isto , verifica-se sempre um dos dois casos e no h a
possibilidade de um terceiro.
Valor lgico. Chama-se valor lgico de uma proposio a afirmao
quando a sua validade ou falsidade. Representaremos abreviadamente os valores
lgicos verdadeiro ou falso pelas respectivas letras V ou F.
Conectivos. So palavras usadas para formar (conectar) novas proposies
a partir de outras. Os conectivos mais usuais so: e, ou, no, se...ento...,
...se e somente se....
Negao. A partir de uma proposio p podemos construir sua negao
que ser indicada com o smbolo ~p.
Exemplo:
Seja p a proposio: Quito a capital do Brasil. A negao, ~p, ficaria,
Quito no a capital do Brasil. p: O sol uma estrela. ~p: O sol no uma
estrela. p:
. ~p:
. p:
. ~p:
.
Vamos fazer o que chamamos de tabela-verdade da proposio p e ~p.
P

~p

26

ATIVIDADES
1- Qual das sentenas abaixo so proposies?
a) 5.4 = 20
b) 2 + 7.3 = 5.4 +3
c) 3+4 > 0
d) 11 5. 8
e) 3x 8 = 19
2- Determine o valor lgico (V ou F) de cada uma das seguintes proposies.
a) O nmero 17 primo.
b) Fortaleza a capital do maranho.
c)
.
d)
... uma dzima peridica simples.
e) A expresso
s produz nmeros primos.
f) Todo nmero divisvel por 5 termina em 5.
g) O produto de dois nmero mpares um nmero mpar.
h) 1+3+5+...+(2n-1) = n.
3- Qual a negao de cada uma das seguintes proposies?
a) 3. 8 = 24.
b) Carlos mecnico.
c) O Sol um cometa.
d) 4.3.2.1 > 20.
e) 3|9.
A partir de proposies dadas podemos construir novas proposies
mediante o emprego de dois smbolos lgicos chamados conectivos: conectivo (lse e) e o conectivo (l-se ou). (IEZZI, 2004).
Conjuno. Colocando o conectivo entre duas proposies, obtemos uma
nova proposio p q denominada conjuno das sentenas p e q. Alguns
exemplos podem nos ilustrar o uso da proposio.
Exemplo:

Como p V e q V, e

tambm V, tivemos o seguinte resultado:

27

Como p F e q V, e F, tivemos o seguinte resultado:


Podemos construir a tabela verdade da conjuno e da seguinte forma:
P

pq

H um critrio para nos auxiliar a estabelecer o valor lgico da conjuno a


partir dos valores das proposies. A conjuno p q verdadeira se p e q so
ambas verdadeiras; se ao menos uma delas for falsa, ento p q falsa. (IEZZI,
2004, p. 4).
Disjuno. Colocando o conectivo entre duas proposies, obtemos uma
nova proposio p q denominada disjuno das sentenas p e q.
Exemplo:

Como p V e q V, e

.
{

Como p F e q F, e

tambm V, temos o seguinte resultado:

tambm F, temos o seguinte resultado:

H um critrio para nos auxiliar a estabelecer o valor lgico da disjuno a


partir dos valores das proposies. A disjuno p q verdadeira se ao menos
uma das proposies p ou q verdadeira; se p e q so ambas falsas, ento p q
falsa. (IEZZI, 2004, p. 5).
Abaixo mostraremos a tabela verdade da disjuno.

28

pq

ATIVIDADE
1- Classificar em verdadeira ou falsa cada uma das seguintes proposies
compostas.
a) 3 > 1 e 4 > 2
b) 3 > 1 ou 3 = 1
c) 2|4 ou 2|(4+1)
d) 3(5+2) = 3.5+3.2 e 3|7
e)
ou 5|11
f)
e
g)
ou mdc (4, 7) = 2.
Conjuno exclusiva. Uma leve variao da disjuno ou a conhecida
como ou exclusivo. Colocando o conectivo entre duas proposies, obtemos
uma nova proposio
p q denominada disjuno exclusiva das sentenas p e
q.
Alencar Filho (2002) nos mostra que, de modo geral, p q representa ou p
ou q ou p ou q, mas no ambos, cujo valor lgico verdade somente quando p
verdadeira ou q verdadeira, mas no quando p e q so ambas verdadeiras; e
falso quando p e q so ambas verdadeiras ou ambas falsas. Veja a tabela verdade
abaixo.
pq
p
q
V

Condicionais. Podemos construir outras proposies a partir de outros


smbolos lgicos chamados de condicionais. O condicional se...ento... cujo
smbolo , e o condicional ...se e somente se... cujo smbolo .
Condicional se...ento.... Colocando a condicional
entre duas
proposies p e q obtemos uma nova proposio p q, que se l: se p ento q, p
condio necessria para q, q condio suficiente para p.

29

Exemplo:

Como p V e q V, e

tambm V, temos o seguinte resultado:

.
Iezzi (2004, p. 6) nos mostra um critrio para nos auxiliar a estabelecer o
valor lgico da condicional a partir dos valores das proposies. O condicional
p
q falso somente quando p verdadeiro e q falsa; caso contrrio, p
q
verdadeiro. Vamos resumir o critrio na tabela verdade da proposio.
P

Condicional ...se e somente se.... Colocando a condicional entre duas


proposies p e q obtemos uma nova proposio p
q, que se l: p se e somente
se q, p condio necessria e suficiente para q, q condio necessria e
suficiente para p ou se p ento q e reciprocamente.
Exemplo:

Como p V, q F, e

F, temos o seguinte resultado:

Iezzi (2004, p. 7) nos mostra um critrio para nos auxiliar a estabelecer o


valor lgico da condicional a partir dos valores das proposies. O condicional
verdadeiro somente quando p e q so ambas verdadeiras ou ambas falsas; se
isso no acontecer o condicional falso.
Assim, a tabela verdade da proposio p q a que est abaixo.

30

ATIVIDADES
1- Seja as proposies p: Est frio e q: Est chovendo. Traduzir para a
linguagem corrente as seguintes proposies:
a) ~p
b) ~~p
c) p q
d) p q
e) q p
f) p ~q
g) p ~ q
h) ~p ~ q
i) p ~q
j) p ~ q p
2- Sejam as proposies p: Marcos alto e q: Marcos elegante. Traduzir
para a linguagem simblica as seguintes proposies:
a) Marcos alto e elegante.
b) Marcos alto, mas no elegante.
c) No verdade que Marcos baixo ou elegante.
d) Marcos no nem alto e nem elegante.
e) Marcos alto ou baixo e elegante.
f) falso que Marcos baixo ou que no elegante.
3- Classificar em verdadeira ou falsa cada uma das proposies abaixo.
a) 2 1 = 1 5 + 7 = 3 . 4
b) 2 = 4 (-2) = 4
c) 5 + 7.1 = 10 3.3 = 9
d) mdc(3, 6) = 1 4 nmero primo
e) p (q r), (Sabendo que p e q so verdadeiras e r falsa).
Tautologias. Seja v uma proposio formada a partir de outras (p, q, r,
...), mediante o emprego de conectivos ( ou ) ou de modificador (~) ou de
condicionais ( ou ). Dizemos que v uma tautologia ou proposio logicamente
verdadeira, quando v tem o valor lgico V (verdadeiro) independente dos valores
lgicos de p, q, r, etc. (IEZZI, 2004, p. 8).
Assim, na tabela verdade s pode aparecer V na coluna do v. Vejamos o
exemplo de uma tautologia abaixo.

31

(p ~p)

(q p)

~p

p ~p

qp

(p ~p)

(q p)

Proposies logicamente falsas (contradies). Seja f uma proposio


formada a partir de outras (p, q, r, ...), mediante o emprego de conectivos ( ou )
ou de modificador (~) ou de condicionais ( ou
). Dizemos que f uma
proposio logicamente falsa ou contradio, quando f tem o valor lgico F (falso)
independente dos valores lgicos de p, q, r, etc. (IEZZI, 2004, p. 9). No exemplo
anterior, podemos analisar a parte (p ~p) e veremos que uma proposio
logicamente falsa. Vejamos sua tabela verdade.
P

~p

p ~p

Relao de implicao. Dadas as proposies p e q, dizemos que p


implica q quando na tabela de p e q no ocorro VF em nenhuma linha, isto ,
quando no temos simultaneamente p verdadeira e q falsa. (IEZZI, 2004, p. 10).
Exemplo:
2|4 2|4.5
Podemos trocar a implicao
pelo condicional . Assim, se o condicional
for verdadeiro, ento a implicao tambm ser.
2|4 2|4.5. Seja p: 2|4, e q: 2|4.5, temos: p
q. Como p (V) e q (V),
temos V V, o que verdadeiro.
Relao de equivalncia. Dadas as proposies p e q, dizemos que p
equivalente a q quando p e q tem tabelas verdade iguais, isto quando p e q tem
sempre o mesmo valor lgico. (IEZZI, 2004, p. 11).
Podemos trocar a equivalncia
pelo condicional . Assim, notamos que
p equivale a q quando o condicional for verdadeiro. Vejamos o exemplo abaixo.

32

q)

(p

(~q

~p)

~p

~q

~p

~q

(p

q)

(~q

~p)

ATIVIDADES
1- Construir as tabelas verdade das seguintes proposies:
a) ~(p ~q)
b) ~(p ~q)
c) p q p q
d) ~p (q p)
e) (p q) p q
f) q ~q p
g) (p ~q) q p
h) (p ~q) ~p q
2- Verificar, atravs das tabelas verdade, a validade das equivalncias
abaixo.
a) p q
qp
b) (p q) r p (q r)
3- Sabendo que os valores lgicos das proposies p e q so respectivamente F
e V, determinar o valor lgico (V ou F) da proposio:
(p (~q p)) ~((p ~q) q ~p)
4- Mostre que as proposies so tautolgicas.
a) ~(p ~p) (q ~ q)
b) (p p ~p) ~p
Sentenas abertas, quantificadores. Como dissemos no incio, uma
proposio ou sentena fechada toda declarao que pode ser classificada como
verdadeira ou falsa. As sentenas que no podem ser classificadas como
verdadeira ou falsa so as abertas. x +1 = 7 um exemplo. uma sentena
aberta, pois o valor lgico da sentena depende do valor da varivel.
H duas maneiras de transformar sentenas abertas em proposies:
1) Atribuindo valor varivel;
2) Usando quantificadores.
Dispomos basicamente de dois quantificadores, o universal e o existencial.
O quantificador universal indicado pelo smbolo
que se l: para todo,
qualquer que seja.

33

Exemplos:
( x x
( x x
x
x

ue se l para todo x temos ue x


alsa
x
x
ue se l qualquer que seja o nmero x, temos (x +
erdadeira

O quantificador existencial indicado pelo smbolo


existe pelo menos um.

que se l: existe,

Exemplos:
( x x
ue se l existe um nmero x, tal que x
Verdadeira).
( x)( x + 2 > 0) que se l: existe um s nmero x, tal que x + 2 > 0 (Falsa).

ATIVIDADES
1- Transforme as seguintes sentenas abertas em proposies verdadeiras
usando quantificadores.
a) x - 5x +4 = 0
b) (a + 1)(a 1) = a - 1
c)
d)
e)
f)
g)
h)

COMPLEMENTO
Para complementar o aprendizado de lgica Matemtica, recomendamos que o
aluno assista s seguintes vdeo aulas:
Aula 45 Noes de Lgica Parte I. Professor lucianoshowmat.
disponvel em: https://www.youtube.com/watch?v=SsJ8d7Pnpfo. Acesso em: 04
de abr. 2016.
Aula 46 Noes de Lgica Parte II. Professor lucianoshowmat.
disponvel em: https://www.youtube.com/watch?v=YQzaKrusrz4. Acesso em:
04 de abr. 2016.
Aula 47 Noes de Lgica Parte III. Professor lucianoshowmat.
disponvel em: https://www.youtube.com/watch?v=FJh9C0oqGu4. Acesso em:
04 de abr. 2016.

34

CAPTULO IV
OPERADORES BOOLEANOS E PORTAS LGICAS
Faremos o estudo dos principais operadores Booleanos derivados dos
postulados da lgebra de Boole que ser vista mais frente. Caso o estudante
tenha algum conhecimento de lgica matemtica ver que os operadores
Booleanos compartilham de alguma semelhana com os operadores lgicos, o que,
facilitar a aprendizagem, uma vez que ser necessrio apenas uma pequena
adaptao em termos de nomenclatura. Contudo, uma vez que o assunto
abordado seja novo, tambm no ser difcil sua assimilao visto que o tema
simples e com um aspecto bastante prtico.
Trabalharemos com apenas dois valores distintos para as variveis, 0 e 1.
O valor 0 indica, por exemplo, porto fechado, aparelho desligado, ausncia de
tenso, chave aberta, no, etc (IDOETA 2007, p. 42). J o estado 1 representa o
contrrio, ou seja, porto aberto, aparelho ligado, presena de tenso, chave
fechada, sim, etc. (IDOETA 2007, p. 42). Comparativamente com a lgica,
poderamos afirmar que o 0 indicaria falso e o 1, verdadeiro.
Faremos, na medida do possvel, comparaes entre os operadores
Booleanos, as expresses Booleanas e as portas lgicas com a lgica matemtica a
fim de conectar os temas de modo a facilitar a compreenso, uma vez que a lgica
matemtica , talvez, o primeiro contato do estudante com uma teoria do mesmo
campo conceitual da lgebra em questo.
1- OPERADORES E PORTAS LGICAS
1.1-

Operador E ou AND.

A operao E ou AND (nome derivado do ingls) aquela conhecida na


lgica como conjuno. Na perspectiva Booleana, ela executa a multiplicao de
duas ou mais variveis booleanas. Sua representao algbrica para suas
variveis seria A.B. L-se A e B.
Vejamos um exemplo prtico da caracterstica do operador.

Figura 1 Circuito ilustrativo operao E.


Fonte: IDOETA 2007, p. 42.

Observemos que se a chave A estiver aberta (0) e a chave B aberta (0), logo
no haver conduo de corrente eltrica no circuito, e a lmpada no se acende

35

(0). Podemos ilustrar o fato como: S = A.B = 0 quando A e B so (0). Por outro
lado, quando a chave A estiver aberta (0) e a B, fechada (1), ainda assim, no
haver corrente para acender a lmpada, e teremos como resultado a lmpada
apagada (0). Representando a situao teremos: S = A.B = 0 quando A (0) e B
(1). Situao anloga ocorre quando A (1) e B (0). Na ltima anlise, quando
ambos, A e B, so (1) temos que a lmpada se acende. Assim, S = A.B = 1 quando
A e B so (1). Resumindo, s teremos a lmpada acesa quando as chaves A e B
estiverem fechadas.
Podemos representar as possibilidades vistas acima numa tabela verdade
da seguinte forma:

Para comparar com a funo de conjuno da lgica matemtica, podemos


tambm apresentar a tabela verdade no caso em que A e B recebem os valores
verdadeiro e falso e S ser a conjuno.

As operaes Booleanas tambm podem ser representadas de forma


grfica, onde cada operador est associado a um smbolo especfico. Estes
smbolos so conhecidos como portas lgicas.
A porta E o smbolo que indica a operao E sendo representada pela
figura abaixo.

Figura 2 Porta lgica E.


Fonte: autor.

Como a porta lgica realiza a funo E, teremos que a sada s ser (1) se, e
somente se, A e B forem (1), caso contrrio a sada ser (0).
Vejamos agora um exemplo da operao E realizada com trs variveis.
Mostraremos a porta lgica, ilustraremos a operao na tabela e com uma
expresso booleana.

36

Figura 3 Porta lgica E com trs variveis.


Fonte: autor.

S = A.B.C
Notemos que a tabela apresenta oito possibilidades de combinaes das
variveis de entrada com seus resultados de sada. Para calcular o nmero de
combinaes dependendo da quantidade de variveis basta fazermos , em que n
o nmero de variveis. No caso anterior, teramos
. E se tivermos quatro
variveis, quantas sero as combinaes?
.
1.2-

Operador OU ou OR

A operao OU ou OR (nome derivado do ingls) aquela conhecida na


lgica como disjuno. Na perspectiva Booleana, ela executa a soma lgica de
duas ou mais variveis booleanas. Sua representao algbrica para suas
variveis seria A + B. L-se A ou B.
Vejamos um exemplo prtico para compreendermos melhor o operador.

Figura 4 Circuito ilustrativo operao OU.


Fonte: IDOETA 2007, p. 45.

As mesmas convenes da figura 1 do exemplo anterior sero mantidas.

37

Analisando o circuito, temos que quando a chave A estiver aberta (0) e a


chave B aberta (0), o circuito no recebe corrente, logo a lmpada no se acende
(0). Assim, S = A + B = 0 quando A = 0 ou B = 0. Se tivermos A aberta (0) e B
fechada (1), o circuito recebe corrente e a lmpada se acende (1). S = 1, quando A
= 0 e B = 1. Se a chave A estiver fechada (1) e a B aberta (0), ainda assim circula
corrente. Logo, a lmpada se acende (1). S = 1, quando A = 1 e B = 0. Por fim,
quando A e B estiverem fechadas (1), circula corrente pelas duas chaves e a
lmpada se acende (1). S = 1 quando A = 1 e B = 1.
No estranhe o fato de A = 1 e B = 1 e a soma lgica A + B = 1. No caso,
temos uma soma lgica no aritmtica. Tal soma est baseada nos postulados da
lgebra Booleana.
Podemos representar as possibilidades vistas acima numa tabela verdade
da seguinte forma:

Para comparar com a funo de disjuno da lgica matemtica, podemos


tambm apresentar a tabela verdade no caso em que A e B recebem os valores
verdadeiro e falso e S ser a disjuno.

A porta OU o smbolo que indica a operao OU sendo representada pela


figura abaixo.

Figura 5 Porta lgica OU.


Fonte: autor.

A porta lgica OU executa a operao lgica OU, ou seja, teremos sada (1)
quando A = 1 ou B = 1. E teremos sada (0), quando A = 0 e B = 0.
Podemos estender o conceito da operao quando tivermos mais de duas
variveis de entrada. Fica como atividade mostrar uma porta OU com trs
variveis, fazer a tabela verdade e escrever uma expresso booleana da operao.

38

1.3-

Operao NO ou NOT

A operao NO ou NOT (nome derivado do ingls) aquela que inverte


(ou complementa) o estado lgico da varivel. Assim, se tivermos uma entrada 0
ela ser invertida para 1 e vice versa. Algebricamente representamos a negao
com os seguintes smbolos: ou ou
. Onde se l A barra ou NO A.
Novamente utilizaremos um exemplo de circuito para ilustrar a operao.
Vejamos:

Figura 6 Circuito ilustrativo operao NO.


Fonte: IDOETA 2007, p. 47.

Observemos que quando a chave A est aberta (0), passar corrente e a


lmpada estar acesa (1). Assim, S = quando A = 0. Pelo contrrio, quando A
estiver fechada (1) haver um curto circuito e a lmpada se apagar (0). Logo,
teremos novamente a lmpada com o estado lgico oposto ao de A. Assim, quando
A = 1, teremos S = = 0.
A tabela verdade da operao ser mostrada abaixo.

Podemos comparar o NOT com a funo de negao da lgica matemtica,


apresentaremos a tabela verdade para e .

A porta NO ou NOT o smbolo que indica a operao NO sendo


representada pela figura abaixo e denominada de inversor.

Figura 7 Porta lgica NO.


Fonte: autor.

39

1.4-

Operao NO E, NE ou NAND

O prprio nome NO E ou NAND (nome derivado do ingls) indicativo da


funo da operao. Na verdade ela uma composio das operaes NO e E.
Assim, teremos a operao E invertida. Algebricamente representada assim:
, onde o trao indica a inverso de A.B.
A sada, na tabela verdade, assume os valores inversos daqueles
apresentados na operao E. Vejamos:

Como fizemos antes, podemos observar a tabela verdade da operao na


lgica matemtica.

A porta NE ou NAND o smbolo que indica a operao NE sendo


representada pela figura abaixo

Figura 8 Porta lgica NE.


Fonte: autor.

Tambm podemos formar a porta NE a partir da porta E com um inversor


ligado a sua sada.

Figura 9 Porta lgica E com inversor.


Fonte: autor.

40

1.5-

Operao NO OU, NOU ou NOR

O prprio nome NO OU, NOU ou NOR (nome derivado do ingls)


indicativo da funo da operao. Na verdade ela uma composio das
operaes NO e OU. Assim, teremos a operao OU invertida. Algebricamente
, onde o trao indica a inverso de A+B.
representada assim:
A sada, na tabela verdade, assume os valores inversos daqueles
apresentados na operao OU. Vejamos:

A tabela verdade da operao na lgica matemtica ficaria assim:

A porta NOU ou NOR o smbolo que indica a operao NOU sendo


representada pela figura abaixo.

Figura 10 Porta lgica NOU.


Fonte: autor.

Tambm podemos formar a porta NOU a partir da porta OU com um


inversor ligado a sua sada.

Figura 11 Porta lgica OU com inversor.


Fonte: autor.

41

1.6-

Operao OU EXCLUSIVO ou EXCLUSIVE OR

A operao OU EXCLUSIVO ou EXCLUSIVE OR (EXOR) (termo derivado


do ingls) aquela que fornece valor (1) sada quando as variveis de entrada
assumem valores diferentes entre si e fornece valor (0) aos demais casos.
Com tais informaes, apresentaremos sua tabela verdade.

Conforme Idoeta (2007, p. 69), sua expresso caracterstica


. Tal expresso pode ser representada pelo seguinte circuito lgico:

Figura 12 Circuito lgico OU EXCLUSIVO.


Fonte: autor.

Podemos utilizar
OU EXCLUSIVO.

uma

notao

L-se A OU Exclusivo B. Sendo

algbrica

para

representar

H uma porta lgica para representar, de modo mais simples, essa


operao.

Figura 13 Porta lgica OU EXCLUSIVO.


Fonte: autor.

Uma importante observao que, ao contrrio de outros blocos lgicos


bsicos, o circuito OU Exclusivo s pode ter 2 variveis de entrada, fata este
devido sua definio bsica. (IDOETA, 2007, p. 70).

42

1.7-

Operao COINCIDNCIA ou EXCLUSIVE NOR (EXNOR)

A operao, como o prprio nome sugere, retorna uma sada (1) quando h
coincidncia de valores nas variveis de entrada e valor (0) nos outros casos.
Vejamos a tabela verdade.

Se observarmos bem, tal operador , na verdade, a negao do OU



EXCLUSIVO. Pela tabela podemos escrever a expresso:
. Vejamos
o circuito lgico da expresso.

Figura 14 Circuito lgico COINCIDNCIA.


Fonte: autor.

A notao algbrica da operao pode ser expressa da seguinte forma:


e se l: A COINCIDNCIA B. Sendo
=
Vejamos o smbolo da porta lgica que simplifica o circuito.

Figura 15 Porta lgica COINCIDNCIA.


Fonte: autor.

Como dissemos anteriormente, a COINCIDNCIA o complemento ou


.
negao do OU EXCLUSIVO. Logo, vale a seguinte equivalncia:
Da mesma forma que o OU EXCLUSIVO, o bloco COINCIDNCIA definido
apenas para 2 variveis de entrada. (IDOETA, 2007, p. 71).
2- EXPRESSES BOOLEANAS, CIRCUITOS LGICOS E TABELA
VERDADE, OBTENDO UM A PARTIR DO OUTRO.
2.1- Expresses Booleanas a partir de circuitos lgicos
Todo circuito lgico executa uma expresso booleana e, por mais complexo
que seja, formado pela interligao das portas lgicas bsicas. (IDOETA, 2007,

43

p. 51). Assim, possvel encontrar a expresso booleana que existe oculta em


cada circuito lgico. Vejamos um exemplo. Vamos obter a expresso que executa o
circuito.

Figura 16 Circuito lgico-1.


Fonte: autor.

Num primeiro passo, podemos analisar a figura e escrever, na sada


superior esquerda o resultado de seu operador, bem como na sada inferior a
prpria varivel C, que no sofreu nenhum alterao.

Figura 17 Circuito lgico-2.


Fonte: autor.

A.B porque as variveis entraram numa porta E, ou seja, num


multiplicador lgico. Como o circuito simples, podemos concluir no prximo
passo. Temos, entrando numa porta OU as variveis A.B e C, logo a sada ser
A.B = C.

Figura 18 Circuito lgico-3.


Fonte: autor.

Assim, podemos escrever a expresso do circuito como S = A.B + C.


Outro exemplo. Determine a expresso booleana caracterstica do circuito
abaixo.

Figura 19 Circuito lgico-4.


Fonte: autor.

44

Vamos escrever nas sadas das portas lgicas, os respectivos valores das
variveis. Convm informarmos que os crculos colocados nas entradas das portas
lgicas representam uma inverso tambm. Assim, temos:

Figura 20 Circuito lgico-5.


Fonte: autor.

Logo,

]
[

ATIVIDADES
Escreve a expresso booleana executada pelos seguintes circuitos abaixo.
a)

b)

c)

45

CAPTULO V
LGEBRA DE BOOLE
Para falar de lgebra Booleana imprescindvel citar a figura daquele que
foi seu precursor, ou seja, o matemtico ingls George Boole (1815-1864). Ele foi o
responsvel por apresentar formalmente um sistema matemtico de anlise
lgica. Em 1938, o engenheiro americano C. E. Shannon, em sua dissertao de
mestrado no MIT, mostrou que a descoberta de Boole poderia ser utilizada para
descrever a operao de sistemas de telefonia, conforme Idoeta (2007).
Diferentemente da lgebra ordinria, as variveis Booleanas s podem
assumir um nmero finito de valores. Na lgebra Booleana de dois valores, cada
varivel pode assumir um dentre dois possveis que podem ser denotados por
[F, V] ou [0, 1] o qual utilizado tambm em eletrnica digital e a notao
adotada neste material.
Este breve estudo de lgebra de Boole ir abordar os principais postulados,
propriedades, teoremas fundamentais e identidades a fim de fundamentar
melhor o conhecimento. O captulo anterior j nos trouxe uma ideia geral do
lgebra em questo. Estaremos voltados, neste momento, em formaliz-la um
pouco mais.
Postulados.
Basicamente
apresentaremos
os
postulados
da
complementao, da adio e da multiplicao.
Postulado da complementao. Numa linguagem da lgica poderamos
dizer que o complemento de uma proposio A representa o inverso de A que
indicaremos como . Assim, o complemento de A.
Se A = 0 ento = 1; Se A = 1 ento = 0. Podemos concluir que = A.
O bloco lgico que executa o postulado da complementao o inversor.
Postulado da adio. As regras da adio, dentro da lgebra de Boole,
funcionam basicamente da seguinte forma:
0+0=0
0+1=1
1+0=1
1+1=1
Identidade 1- A + 0 = A. (A demonstrao ficar como atividade)
Identidade 2- A + 1 = 1. (A demonstrao ficar como atividade)
Identidade 3- A + A = A. (A demonstrao ficar como atividade)
Identidade 4- A + = 1. (A demonstrao ficar como atividade)
O bloco lgico que executa a adio o OU.
Postulado da multiplicao. o postulado que determina as regras de
multiplicao.
0.0=0
0.1=0
1.0=0
1.1=1
Identidade 1- A . 0 = 0. (A demonstrao ficar como atividade).
Identidade 2- A . 1 = A. (A demonstrao ficar como atividade).
Identidade 3- A . A = A. (A demonstrao ficar como atividade).

46

Identidade 4- A . = 0. (A demonstrao ficar como atividade).


O bloco lgico que executa a multiplicao o E.
Propriedades. Podemos nos valer de algumas propriedades para
simplificarmos expresses booleanas. As principais so: comutativa, associativa e
distributiva.
Comutativa
Adio: A + B = B + A
Multiplicao: A . B = B . A
Associativa
Adio: A + (B + C) = (A + B) + C
Multiplicao: A . (B . C) = A . (B . C)
Distributiva
A . (B + C) = AB + AC (Verifique esta propriedade atravs da tabela
verdade).
Teoremas de De Morgan. Tais teoremas so muito empregados na
prtica para simplificao de expresses.
1 Teoremas de De Morgan. O complemento do produto igual soma
dos complementos.


Para comprovar o teorema iremos montar a tabela verdade de ambos os
membros da equao e comparar os resultados.
A

1
1
0
0
Notamos a igualdade. O teorema pode ser expandido para mais de
duas variveis:

2 Teoremas de De Morgan. O complemento da soma igual ao produto


dos complementos.


Este teorema pode ser mostrado a partir do primeiro. Assim, temos:


Para concluir, vamos mudar as variveis, ou seja, afirmaremos que
e

. Assim sendo, temos:


O teorema pode ser expandido para mais de duas variveis:

47

Identidades auxiliares. Mostraremos trs identidades teis.


Identidade 1- A + A.B = A.
Vejamos:
A + A.B = A
A (1+B) = A (Propriedade distributiva)
A .1 = A (1 + B = 1, postulado da soma)
A=A
Logo, A + A.B = A
Identidade 2- (A + B) . (A + C) = A + B.C
Vejamos:
(A + B) . (A + C) = A + B.C
A.A + A.C + B.A + B.C (Propriedade distributiva)
A + A.C + B.A + B.C = A (A.A = A, postulado do produto)
A(1+C+B) + B.C = A (Propriedade distributiva)
A + B.C = A (1 + C = 1; 1 + B = 1 postulado da soma)
Logo, (A + B) . (A + C) = A + B.C
Identidade 3- A +
Vejamos:

=A+B

A + = A + B

(Identidade
)

(2 Teorema de De Morgan)

(1 Teorema de De Morgan)

(Propriedade distributiva e identidade

(1 Teorema de De Morgan)
A+B
Logo, A + = A + B

Simplificao de expresses booleanas. Utilizaremos todos os recursos


anteriores para simplificarmos expresses booleanas. Simplificar uma expresso
significa transform-la, por meio de recursos vlidos, em outra mais simples, ou
seja, com menos operaes e estas, se existirem, que seja o mais simples possvel.
Exemplo:

) (Propriedade distributiva)
)) (Propriedade associativa)

)) (Identidade
)
) (Teorema de De Morgan)
) (
, mudana de varivel)

48

ATIVIDADES
1- Demonstre, utilizando os postulados da lgebra Boolena, as seguintes
identidades:
a) A + 0 = A
b) A + 1 = 1
c) A + A = A
d) A + = 1
e) A . 0 = 0
f) A . 1 = A
g) A . A = A
h) A . = 0
2- Verifique a propriedade distributiva,
uma tabela verdade.
3- Simplifique as expresses:

a)

b)

c)

, por mais de

COMPLEMENTO
Para complementar o aprendizado de lgebra Booleana, recomendamos que o
aluno assista s seguintes vdeo aulas:
lgebra de Boole 01 Introduo. disponvel em:
https://www.youtube.com/watch?v=EcKYaKt8AdY. Acesso em: 04 de abr.
2016.
lgebra de Boole 02 Exerccio 01. disponvel em:
https://www.youtube.com/watch?v=_CfpZ2JusSE. Acesso em: 04 de abr. 2016.
lgebra de Boole 03 Exerccio 02. disponvel em:
https://www.youtube.com/watch?v=hjIY81XtpeM. Acesso em: 04 de abr. 2016.

49

REFERNCIAS
ALENCAR FILHO, E. Iniciao lgica matemtica. So Paulo: Nobel, 2008.
BIGNELL, James. Eletrnica digital. So Paulo: Cengage Learning, 2009.
DAGHLIAN, Jacob. Lgica e lgebra de Boole. So Paulo: Atlas, 1990.
HAZZAN, Samuel; IEZZI, Gelson. Fundamentos de Matemtica Elementar.
7 ed. So Paulo: Atual, 2004.
HEFEZ, Abramo. Elementos de Aritmtica. 2 ed. Rio de Janeiro-RJ: SBM,
2006,
HETEM JNIOR, Annibal. Fundamentos de informtica: eletrnica digital.
Rio de Janeiro: LTC, 2010.
IDOETA, Ivan Valeije. Elementos de Eletrnica Digital. 40. ed. So Paulo:
rica, 2007.
IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de
Elementar, conjuntos funes. 8. ed. So Paulo: Atual, 2004.

Matemtica

LIMA, Elon Lages. A matemtica do ensino mdio volume 1. 10. ed. Rio de
Janeiro: SBM, 2012a.
LIMA, Elon Lages. A matemtica do ensino mdio volume 2. 10. ed. Rio de
Janeiro: SBM, 2012b.
WIKIPDIA.
Lgica.
Disponvel
em:
https://pt.wikipedia.org/wiki/L%C3%B3gica#cite_note-PopkinStroll1993-2>.
Acesso em: 04 de abr. 2016.

<

MENDELSON, Elliott. lgebra Booleana e circuitos de chaveamento. So


Paulo: McGraw Hill, 1977.
PEDRONI, Volnei. Eletrnica digital moderna com VHDL. Rio de janeiro:
Elsevier, 2010.
TOCCI, Ronald J. Sistemas digitais: princpios e aplicaes. 11. ed. So Paulo:
Pearson Prentice Hall, 2011.