Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
_______________________________________
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.
1- Consideremos a relao
definida para
. Temos,
. Temos:
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).
, assim,
e verificamos se verdadeira
:
2) Supondo
verdadeira, ou seja:
(hiptese de induo).
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
10
... = ...
__________________________
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
..... = ....
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
ORDEM
NO
12
..... = ....
Somando, obtemos:
Exemplo:
Resolva
... = ...
_______________
, 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
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.
... = ...
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
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.
16
17
... = ...
Somando, temos:
Como
, temos
e
.
. Portanto,
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:
18
...
19
curva que nos possibilite identificar o tipo de funo que pode modelar
adequadamente a recorrncia.
20
Figura 5. Funo
21
Figura 6.
.
Fonte: autor.
)
(
(
)
22
Como
, temos:
Ou ainda:
(
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
(4)
Substituindo (4) em (3), temos:
Substituindo
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
~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
27
pq
Como p V e q V, e
.
{
Como p F e q F, e
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
29
Exemplo:
Como p V e q V, e
.
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
Como p V, q F, e
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)
~p
p ~p
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
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.
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:
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
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
37
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
39
1.4-
Operao NO E, NE ou NAND
40
1.5-
41
1.6-
Podemos utilizar
OU EXCLUSIVO.
uma
notao
algbrica
para
representar
42
1.7-
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.
43
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:
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
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:
Este teorema pode ser mostrado a partir do primeiro. Assim, temos:
Para concluir, vamos mudar as variveis, ou seja, afirmaremos que
e
O teorema pode ser expandido para mais de duas variveis:
47
=A+B
A + = A + B
(Identidade
)
(2 Teorema de De Morgan)
(1 Teorema de De Morgan)
(1 Teorema de De Morgan)
A+B
Logo, A + = A + B
) (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.
<