Introduo lgebra Booleana

18 de Janeiro de 2011

Contedo
I

Sobre essa apostila

II Informaes Bsicas

III GNU Free Documentation License

IV

Introduo lgebra Booleana

18

1 O que o curso de Introduo lgebra Booleana

2 Plano de ensino
2.1 Objetivo . . . . . . . . . .
2.2 Pblico Alvo . . . . . . . .
2.3 Descrio . . . . . . . . .
2.4 Programa . . . . . . . . .
2.5 Cronograma . . . . . . .
2.6 Avaliao . . . . . . . . .
2.7 Referncias Bibliogrficas

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

19
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

20
20
20
20
20
20
21
21

3 Lio 1 - Introduo
22
3.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2 Funes Bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4 Lio 2 - Funes
24
4.1 Outras Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4.2 Expresses Booleanas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
5 Lio 3 - Teoremas da lgebra Booleana
27
5.1 Teoremas Bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.2 Teorema de De Morgan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
6 Lio 4 - Modelagem de Funes
29
6.1 Modelagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

Parte I

Sobre essa apostila

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

Contedo
O contedo dessa apostila fruto da compilao de diversos materiais livres publicados na internet, disponveis em diversos sites ou originalmente produzido no CDTC em http://www.cdtc.org.br.
O formato original deste material bem como sua atualizao est disponvel dentro da licena
GNU Free Documentation License, cujo teor integral encontra-se aqui reproduzido na seo de
mesmo nome, tendo inclusive uma verso traduzida (no oficial).
A reviso e alterao vem sendo realizada pelo CDTC (suporte@cdtc.org.br), desde outubro
de 2006. Criticas e sugestes construtivas so bem-vindas a qualquer tempo.

Autores
A autoria deste contedo, atividades e avaliaes de responsabilidade de Arthur Vargas
Amaral (arthur.amaral@cdtc.org.br).
O texto original faz parte do projeto Centro de Difuso de Tecnolgia e Conhecimento, que vem
sendo realizado pelo ITI em conjunto com outros parceiros institucionais, atuando em conjunto
com as universidades federais brasileiras que tem produzido e utilizado Software Livre, apoiando
inclusive a comunidade Free Software junto a outras entidades no pas.
Informaes adicionais podem ser obtidas atrves do email ouvidoria@cdtc.org.br, ou da
home page da entidade, atravs da URL http://www.cdtc.org.br.

Garantias
O material contido nesta apostila isento de garantias e o seu uso de inteira responsabilidade do usurio/leitor. Os autores, bem como o ITI e seus parceiros, no se responsabilizam
direta ou indiretamente por qualquer prejuzo oriundo da utilizao do material aqui contido.

Licena
Copyright 2006,Arthur Vargas Amaral (arthur.amaral@cdtc.org.br).
Permission is granted to copy, distribute and/or modify this document under the terms
of the GNU Free Documentation License, Version 1.1 or any later version published by
the Free Software Foundation; with the Invariant Chapter being SOBRE ESSA APOSTILA. A copy of the license is included in the section entitled GNU Free Documentation
License.

Parte II

Informaes Bsicas

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

Sobre o CDTC
Objetivo Geral
O Projeto CDTC visa a promoo e o desenvolvimento de aes que incentivem a disseminao de solues que utilizem padres abertos e no proprietrios de tecnologia, em proveito do
desenvolvimento social, cultural, poltico, tecnolgico e econmico da sociedade brasileira.
Objetivo Especfico
Auxiliar o Governo Federal na implantao do plano nacional de software no-proprietrio e
de cdigo fonte aberto, identificando e mobilizando grupos de formadores de opinio dentre os
servidores pblicos e agentes polticos da Unio Federal, estimulando e incentivando o mercado
nacional a adotar novos modelos de negcio da tecnologia da informao e de novos negcios
de comunicao com base em software no-proprietrio e de cdigo fonte aberto, oferecendo
treinamento especfico para tcnicos, profissionais de suporte e funcionrios pblicos usurios,
criando grupos de funcionrios pblicos que iro treinar outros funcionrios pblicos e atuar como
incentivadores e defensores de produtos de software no proprietrios e cdigo fonte aberto, oferecendo contedo tcnico on-line para servios de suporte, ferramentas para desenvolvimento de
produtos de software no proprietrios e de seu cdigo fonte livre, articulando redes de terceiros
(dentro e fora do governo) fornecedoras de educao, pesquisa, desenvolvimento e teste de produtos de software livre.

Guia do aluno
Neste guia, voc ter reunidas uma srie de informaes importantes para que voc comece
seu curso. So elas:
Licenas para cpia de material disponvel
Os 10 mandamentos do aluno de Educao a Distncia
Como participar dos fruns e da wikipdia
Primeiros passos
muito importante que voc entre em contato com TODAS estas informaes, seguindo o
roteiro acima.

Licena
Copyright 2006, Arthur Vargas Amaral (arthur.amaral@cdtc.org.br).
5

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

dada permisso para copiar, distribuir e/ou modificar este documento sob os termos
da Licena de Documentao Livre GNU, Verso 1.1 ou qualquer verso posterior
publicada pela Free Software Foundation; com o Captulo Invariante SOBRE ESSA
APOSTILA. Uma cpia da licena est inclusa na seo entitulada "Licena de Documentao Livre GNU".

Os 10 mandamentos do aluno de educao online

1. Acesso a Internet: ter endereo eletrnico, um provedor e um equipamento adequado

pr-requisito para a participao nos cursos a distncia.
2. Habilidade e disposio para operar programas: ter conhecimentos bsicos de Informtica necessrio para poder executar as tarefas.
3. Vontade para aprender colaborativamente: interagir, ser participativo no ensino a distncia conta muitos pontos, pois ir colaborar para o processo ensino-aprendizagem pessoal,
dos colegas e dos professores.
4. Comportamentos compatveis com a etiqueta: mostrar-se interessado em conhecer seus
colegas de turma respeitando-os e fazendo ser respeitado pelo mesmo.
5. Organizao pessoal: planejar e organizar tudo fundamental para facilitar a sua reviso
e a sua recuperao de materiais.
6. Vontade para realizar as atividades no tempo correto: anotar todas as suas obrigaes e
realiz-las em tempo real.
7. Curiosidade e abertura para inovaes: aceitar novas idias e inovar sempre.
8. Flexibilidade e adaptao: requisitos necessrio a mudana tecnolgica, aprendizagens
e descobertas.
9. Objetividade em sua comunicao: comunicar-se de forma clara, breve e transparente
ponto-chave na comunicao pela Internet.
10. Responsabilidade: ser responsvel por seu prprio aprendizado. O ambiente virtual no
controla a sua dedicao, mas reflete os resultados do seu esforo e da sua colaborao.

Como participar dos fruns e Wikipdia

Voc tem um problema e precisa de ajuda?
Podemos te ajudar de 2 formas:
A primeira o uso dos fruns de notcias e de dvidas gerais que se distinguem pelo uso:
O frum de notcias tem por objetivo disponibilizar um meio de acesso rpido a informaes
que sejam pertinentes ao curso (avisos, notcias). As mensagens postadas nele so enviadas a
6

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

todos participantes. Assim, se o monitor ou algum outro participante tiver uma informao que
interesse ao grupo, favor post-la aqui.
Porm, se o que voc deseja resolver alguma dvida ou discutir algum tpico especfico do
curso, recomendado que voc faa uso do Frum de dvidas gerais que lhe d recursos mais
efetivos para esta prtica.
. O frum de dvidas gerais tem por objetivo disponibilizar um meio fcil, rpido e interativo
para solucionar suas dvidas e trocar experincias. As mensagens postadas nele so enviadas
a todos participantes do curso. Assim, fica muito mais fcil obter respostas, j que todos podem
ajudar.
Se voc receber uma mensagem com algum tpico que saiba responder, no se preocupe com a
formalizao ou a gramtica. Responda! E no se esquea de que antes de abrir um novo tpico
recomendvel ver se a sua pergunta j foi feita por outro participante.
A segunda forma se d pelas Wikis:
Uma wiki uma pgina web que pode ser editada colaborativamente, ou seja, qualquer participante pode inserir, editar, apagar textos. As verses antigas vo sendo arquivadas e podem
ser recuperadas a qualquer momento que um dos participantes o desejar. Assim, ela oferece um
timo suporte a processos de aprendizagem colaborativa. A maior wiki na web o site "Wikipdia", uma experincia grandiosa de construo de uma enciclopdia de forma colaborativa, por
pessoas de todas as partes do mundo. Acesse-a em portugus pelos links:
Pgina principal da Wiki - http://pt.wikipedia.org/wiki/
Agradecemos antecipadamente a sua colaborao com a aprendizagem do grupo!

Primeiros Passos
Para uma melhor aprendizagem recomendvel que voc siga os seguintes passos:
Ler o Plano de Ensino e entender a que seu curso se dispe a ensinar;
Ler a Ambientao do Moodle para aprender a navegar neste ambiente e se utilizar das
ferramentas bsicas do mesmo;
Entrar nas lies seguindo a seqncia descrita no Plano de Ensino;
Qualquer dvida, reporte ao Frum de Dvidas Gerais.

Perfil do Tutor
Segue-se uma descrio do tutor ideal, baseada no feedback de alunos e de tutores.
O tutor ideal um modelo de excelncia: consistente, justo e profissional nos respectivos
valores e atitudes, incentiva mas honesto, imparcial, amvel, positivo, respeitador, aceita as
idias dos estudantes, paciente, pessoal, tolerante, apreciativo, compreensivo e pronto a ajudar.
7

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

A classificao por um tutor desta natureza proporciona o melhor feedback possvel, crucial, e,
para a maior parte dos alunos, constitui o ponto central do processo de aprendizagem. Este tutor
ou instrutor:
fornece explicaes claras acerca do que ele espera, e do estilo de classificao que ir
utilizar;
gosta que lhe faam perguntas adicionais;
identifica as nossas falhas, mas corrige-as amavelmente, diz um estudante, e explica porque motivo a classificao foi ou no foi atribuda;
tece comentrios completos e construtivos, mas de forma agradvel (em contraste com um
reparo de um estudante: os comentrios deixam-nos com uma sensao de crtica, de
ameaa e de nervosismo)
d uma ajuda complementar para encorajar um estudante em dificuldade;
esclarece pontos que no foram entendidos, ou corretamente aprendidos anteriormente;
ajuda o estudante a alcanar os seus objetivos;
flexvel quando necessrio;
mostra um interesse genuno em motivar os alunos (mesmo os principiantes e, por isso,
talvez numa fase menos interessante para o tutor);
escreve todas as correes de forma legvel e com um nvel de pormenorizao adequado;
acima de tudo, devolve os trabalhos rapidamente;

Parte III

GNU Free Documentation License

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

(Traduzido pelo Joo S. O. Bueno atravs do CIPSGA em 2001)

Esta uma traduo no oficial da Licenaa de Documentao Livre GNU em Portugus
Brasileiro. Ela no publicada pela Free Software Foundation, e no se aplica legalmente a distribuio de textos que usem a GFDL - apenas o texto original em Ingls da GNU FDL faz isso.
Entretanto, ns esperamos que esta traduo ajude falantes de portugus a entenderem melhor
a GFDL.
This is an unofficial translation of the GNU General Documentation License into Brazilian Portuguese. It was not published by the Free Software Foundation, and does not legally state the
distribution terms for software that uses the GFDLonly the original English text of the GFDL does
that. However, we hope that this translation will help Portuguese speakers understand the GFDL
better.
Licena de Documentao Livre GNU Verso 1.1, Maro de 2000
Copyright (C) 2000 Free Software Foundation, Inc.
59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
permitido a qualquer um copiar e distribuir cpias exatas deste documento de licena, mas
no permitido alter-lo.

INTRODUO
O propsito desta Licena deixar um manual, livro-texto ou outro documento escrito "livre"no
sentido de liberdade: assegurar a qualquer um a efetiva liberdade de copi-lo ou redistribui-lo,
com ou sem modificaes, comercialmente ou no. Secundariamente, esta Licena mantm
para o autor e editor uma forma de ter crdito por seu trabalho, sem ser considerado responsvel
pelas modificaes feitas por terceiros.
Esta Licena um tipo de "copyleft"("direitos revertidos"), o que significa que derivaes do
documento precisam ser livres no mesmo sentido. Ela complementa a GNU Licena Pblica Geral (GNU GPL), que um copyleft para software livre.
Ns fizemos esta Licena para que seja usada em manuais de software livre, por que software
livre precisa de documentao livre: um programa livre deve ser acompanhado de manuais que
provenham as mesmas liberdades que o software possui. Mas esta Licena no est restrita a
manuais de software; ela pode ser usada para qualquer trabalho em texto, independentemente
do assunto ou se ele publicado como um livro impresso. Ns recomendamos esta Licena principalmente para trabalhos cujo propsito seja de introduo ou referncia.

APLICABILIDADE E DEFINIES
Esta Licena se aplica a qualquer manual ou outro texto que contenha uma nota colocada pelo
detentor dos direitos autorais dizendo que ele pode ser distribudo sob os termos desta Licena.

10

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

O "Documento"abaixo se refere a qualquer manual ou texto. Qualquer pessoa do pblico um

licenciado e referida como "voc".
Uma "Verso Modificada"do Documento se refere a qualquer trabalho contendo o documento
ou uma parte dele, quer copiada exatamente, quer com modificaes e/ou traduzida em outra
lngua.
Uma "Seo Secundria" um apndice ou uma seo inicial do Documento que trata exclusivamente da relao dos editores ou dos autores do Documento com o assunto geral do
Documento (ou assuntos relacionados) e no contm nada que poderia ser includo diretamente
nesse assunto geral (Por exemplo, se o Documento em parte um livro texto de matemtica, a
Seo Secundria pode no explicar nada de matemtica).
Essa relao poderia ser uma questo de ligao histrica com o assunto, ou matrias relacionadas, ou de posies legais, comerciais, filosficas, ticas ou polticas relacionadas ao mesmo.
As "Sees Invariantes"so certas Sees Secundrias cujos ttulos so designados, como
sendo de Sees Invariantes, na nota que diz que o Documento publicado sob esta Licena.
Os "Textos de Capa"so certos trechos curtos de texto que so listados, como Textos de Capa
Frontal ou Textos da Quarta Capa, na nota que diz que o texto publicado sob esta Licena.
Uma cpia "Transparente"do Documento significa uma cpia que pode ser lida automaticamente, representada num formato cuja especificao esteja disponvel ao pblico geral, cujos
contedos possam ser vistos e editados diretamente e sem mecanismos especiais com editores
de texto genricos ou (para imagens compostas de pixels) programas de pintura genricos ou
(para desenhos) por algum editor de desenhos grandemente difundido, e que seja passvel de
servir como entrada a formatadores de texto ou para traduo automtica para uma variedade
de formatos que sirvam de entrada para formatadores de texto. Uma cpia feita em um formato
de arquivo outrossim Transparente cuja constituio tenha sido projetada para atrapalhar ou desencorajar modificaes subsequentes pelos leitores no Transparente. Uma cpia que no
"Transparente" chamada de "Opaca".
Exemplos de formatos que podem ser usados para cpias Transparentes incluem ASCII simples sem marcaes, formato de entrada do Texinfo, formato de entrada do LaTex, SGML ou XML
usando uma DTD disponibilizada publicamente, e HTML simples, compatvel com os padres, e
projetado para ser modificado por pessoas. Formatos opacos incluem PostScript, PDF, formatos
proprietrios que podem ser lidos e editados apenas com processadores de texto proprietrios,
SGML ou XML para os quais a DTD e/ou ferramentas de processamento e edio no estejam
disponveis para o pblico, e HTML gerado automaticamente por alguns editores de texto com
finalidade apenas de sada.
A "Pgina do Ttulo"significa, para um livro impresso, a pgina do ttulo propriamente dita,
mais quaisquer pginas subsequentes quantas forem necessrias para conter, de forma legvel,
o material que esta Licena requer que aparea na pgina do ttulo. Para trabalhos que no
tenham uma pgina do ttulo, "Pgina do Ttulo"significa o texto prximo da apario mais proeminente do ttulo do trabalho, precedendo o incio do corpo do texto.

11

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

FAZENDO CPIAS EXATAS

Voc pode copiar e distribuir o Documento em qualquer meio, de forma comercial ou no
comercial, desde que esta Licena, as notas de copyright, e a nota de licena dizendo que esta
Licena se aplica ao documento estejam reproduzidas em todas as cpias, e que voc no acrescente nenhuma outra condio, quaisquer que sejam, s desta Licena.
Voc no pode usar medidas tcnicas para obstruir ou controlar a leitura ou confeco de
cpias subsequentes das cpias que voc fizer ou distribuir. Entretanto, voc pode aceitar compensao em troca de cpias. Se voc distribuir uma quantidade grande o suficiente de cpias,
voc tambm precisa respeitar as condies da seo 3.
Voc tambm pode emprestar cpias, sob as mesmas condies colocadas acima, e tambm
pode exibir cpias publicamente.

FAZENDO CPIAS EM QUANTIDADE

Se voc publicar cpias do Documento em nmero maior que 100, e a nota de licena do
Documento obrigar Textos de Capa, voc precisar incluir as cpias em capas que tragam, clara
e legivelmente, todos esses Textos de Capa: Textos de Capa da Frente na capa da frente, e
Textos da Quarta Capa na capa de trs. Ambas as capas tambm precisam identificar clara e
legivelmente voc como o editor dessas cpias. A capa da frente precisa apresentar o titulo completo com todas as palavras do ttulo igualmente proeminentes e visveis. Voc pode adicionar
outros materiais s capas. Fazer cpias com modificaes limitadas s capas, tanto quanto estas
preservem o ttulo do documento e satisfaam a essas condies, pode ser tratado como cpia
exata em outros aspectos.
Se os textos requeridos em qualquer das capas for muito volumoso para caber de forma
legvel, voc deve colocar os primeiros (tantos quantos couberem de forma razovel) na capa
verdadeira, e continuar os outros nas pginas adjacentes.
Se voc publicar ou distribuir cpias Opacas do Documento em nmero maior que 100, voc
precisa ou incluir uma cpia Transparente que possa ser lida automaticamente com cada cpia
Opaca, ou informar, em ou com, cada cpia Opaca a localizao de uma cpia Transparente
completa do Documento acessvel publicamente em uma rede de computadores, a qual o pblico
usurio de redes tenha acesso a download gratuito e annimo utilizando padres pblicos de
protocolos de rede. Se voc utilizar o segundo mtodo, voc precisar tomar cuidados razoavelmente prudentes, quando iniciar a distribuio de cpias Opacas em quantidade, para assegurar
que esta cpia Transparente vai permanecer acessvel desta forma na localizao especificada
por pelo menos um ano depois da ltima vez em que voc distribuir uma cpia Opaca (diretamente ou atravs de seus agentes ou distribuidores) daquela edio para o pblico.
pedido, mas no obrigatrio, que voc contate os autores do Documento bem antes de
redistribuir qualquer grande nmero de cpias, para lhes dar uma oportunidade de prover voc
com uma verso atualizada do Documento.

12

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

MODIFICAES
Voc pode copiar e distribuir uma Verso Modificada do Documento sob as condies das sees 2 e 3 acima, desde que voc publique a Verso Modificada estritamente sob esta Licena,
com a Verso Modificada tomando o papel do Documento, de forma a licenciar a distribuio
e modificao da Verso Modificada para quem quer que possua uma cpia da mesma. Alm
disso, voc precisa fazer o seguinte na verso modificada:
A. Usar na Pgina de Ttulo (e nas capas, se houver alguma) um ttulo distinto daquele do Documento, e daqueles de verses anteriores (que deveriam, se houvesse algum, estarem listados
na seo "Histrico do Documento"). Voc pode usar o mesmo ttulo de uma verso anterior se
o editor original daquela verso lhe der permisso;
B. Listar na Pgina de Ttulo, como autores, uma ou mais das pessoas ou entidades responsveis pela autoria das modificaes na Verso Modificada, conjuntamente com pelo menos cinco
dos autores principais do Documento (todos os seus autores principais, se ele tiver menos que
cinco);
C. Colocar na Pgina de Ttulo o nome do editor da Verso Modificada, como o editor;
D. Preservar todas as notas de copyright do Documento;
E. Adicionar uma nota de copyright apropriada para suas prprias modificaes adjacente s
outras notas de copyright;
F. Incluir, imediatamente depois das notas de copyright, uma nota de licena dando ao pblico
o direito de usar a Verso Modificada sob os termos desta Licena, na forma mostrada no tpico
abaixo;
G. Preservar nessa nota de licena as listas completas das Sees Invariantes e os Textos de
Capa requeridos dados na nota de licena do Documento;
H. Incluir uma cpia inalterada desta Licena;
I. Preservar a seo entitulada "Histrico", e seu ttulo, e adicionar mesma um item dizendo
pelo menos o ttulo, ano, novos autores e editor da Verso Modificada como dados na Pgina de
Ttulo. Se no houver uma sesso denominada "Histrico"no Documento, criar uma dizendo o
ttulo, ano, autores, e editor do Documento como dados em sua Pgina de Ttulo, ento adicionar
um item descrevendo a Verso Modificada, tal como descrito na sentena anterior;
J. Preservar o endereo de rede, se algum, dado no Documento para acesso pblico a uma
cpia Transparente do Documento, e da mesma forma, as localizaes de rede dadas no Documento para as verses anteriores em que ele foi baseado. Elas podem ser colocadas na seo
"Histrico". Voc pode omitir uma localizao na rede para um trabalho que tenha sido publicado
pelo menos quatro anos antes do Documento, ou se o editor original da verso a que ela se refira
der sua permisso;
K. Em qualquer seo entitulada "Agradecimentos"ou "Dedicatrias", preservar o ttulo da
13

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

seo e preservar a seo em toda substncia e fim de cada um dos agradecimentos de contribuidores e/ou dedicatrias dados;
L. Preservar todas as Sees Invariantes do Documento, inalteradas em seus textos ou em
seus ttulos. Nmeros de seo ou equivalentes no so considerados parte dos ttulos da seo;
M. Apagar qualquer seo entitulada "Endossos". Tal sesso no pode ser includa na Verso
Modificada;
N. No reentitular qualquer seo existente com o ttulo "Endossos"ou com qualquer outro
ttulo dado a uma Seo Invariante.
Se a Verso Modificada incluir novas sees iniciais ou apndices que se qualifiquem como
Sees Secundrias e no contenham nenhum material copiado do Documento, voc pode optar
por designar alguma ou todas aquelas sees como invariantes. Para fazer isso, adicione seus
ttulos lista de Sees Invariantes na nota de licena da Verso Modificada. Esses ttulos precisam ser diferentes de qualquer outro ttulo de seo.
Voc pode adicionar uma seo entitulada "Endossos", desde que ela no contenha qualquer coisa alm de endossos da sua Verso Modificada por vrias pessoas ou entidades - por
exemplo, declaraes de revisores ou de que o texto foi aprovado por uma organizao como a
definio oficial de um padro.
Voc pode adicionar uma passagem de at cinco palavras como um Texto de Capa da Frente
, e uma passagem de at 25 palavras como um Texto de Quarta Capa, ao final da lista de Textos
de Capa na Verso Modificada. Somente uma passagem de Texto da Capa da Frente e uma de
Texto da Quarta Capa podem ser adicionados por (ou por acordos feitos por) qualquer entidade.
Se o Documento j incluir um texto de capa para a mesma capa, adicionado previamente por
voc ou por acordo feito com alguma entidade para a qual voc esteja agindo, voc no pode
adicionar um outro; mas voc pode trocar o antigo, com permisso explcita do editor anterior que
adicionou a passagem antiga.
O(s) autor(es) e editor(es) do Documento no do permisso por esta Licena para que seus
nomes sejam usados para publicidade ou para assegurar ou implicar endossamento de qualquer
Verso Modificada.

COMBINANDO DOCUMENTOS
Voc pode combinar o Documento com outros documentos publicados sob esta Licena, sob
os termos definidos na seo 4 acima para verses modificadas, desde que voc inclua na combinao todas as Sees Invariantes de todos os documentos originais, sem modificaes, e liste
todas elas como Sees Invariantes de seu trabalho combinado em sua nota de licena.
O trabalho combinado precisa conter apenas uma cpia desta Licena, e Sees Invariantes
Idnticas com multiplas ocorrncias podem ser substitudas por apenas uma cpia. Se houver
mltiplas Sees Invariantes com o mesmo nome mas com contedos distintos, faa o ttulo de
14

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

cada seo nico adicionando ao final do mesmo, em parnteses, o nome do autor ou editor
origianl daquela seo, se for conhecido, ou um nmero que seja nico. Faa o mesmo ajuste
nos ttulos de seo na lista de Sees Invariantes nota de licena do trabalho combinado.
Na combinao, voc precisa combinar quaisquer sees entituladas "Histrico"dos diversos documentos originais, formando uma seo entitulada "Histrico"; da mesma forma combine
quaisquer sees entituladas "Agradecimentos", ou "Dedicatrias". Voc precisa apagar todas as
sees entituladas como "Endosso".

COLETNEAS DE DOCUMENTOS
Voc pode fazer uma coletnea consitindo do Documento e outros documentos publicados
sob esta Licena, e substituir as cpias individuais desta Licena nos vrios documentos com
uma nica cpia incluida na coletnea, desde que voc siga as regras desta Licena para cpia
exata de cada um dos Documentos em todos os outros aspectos.
Voc pode extrair um nico documento de tal coletnea, e distribu-lo individualmente sob
esta Licena, desde que voc insira uma cpia desta Licena no documento extrado, e siga esta
Licena em todos os outros aspectos relacionados cpia exata daquele documento.

AGREGAO COM TRABALHOS INDEPENDENTES

Uma compilao do Documento ou derivados dele com outros trabalhos ou documentos separados e independentes, em um volume ou mdia de distribuio, no conta como uma Verso Modificada do Documento, desde que nenhum copyright de compilao seja reclamado pela
compilao. Tal compilao chamada um "agregado", e esta Licena no se aplica aos outros
trabalhos auto-contidos compilados junto com o Documento, s por conta de terem sido assim
compilados, e eles no so trabalhos derivados do Documento.
Se o requerido para o Texto de Capa na seo 3 for aplicvel a essas cpias do Documento,
ento, se o Documento constituir menos de um quarto de todo o agregado, os Textos de Capa
do Documento podem ser colocados em capas adjacentes ao Documento dentro do agregado.
Seno eles precisaro aparecer nas capas de todo o agregado.

TRADUO
Traduo considerada como um tipo de modificao, ento voc pode distribuir tradues
do Documento sob os termos da seo 4. A substituio de Sees Invariantes por tradues
requer uma permisso especial dos detentores do copyright das mesmas, mas voc pode incluir
tradues de algumas ou de todas as Sees Invariantes em adio s verses orignais dessas
Sees Invariantes. Voc pode incluir uma traduo desta Licena desde que voc tambm inclua a verso original em Ingls desta Licena. No caso de discordncia entre a traduo e a

15

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

verso original em Ingls desta Licena, a verso original em Ingls prevalecer.

TRMINO
Voc no pode copiar, modificar, sublicenciar, ou distribuir o Documento exceto como expressamente especificado sob esta Licena. Qualquer outra tentativa de copiar, modificar, sublicenciar, ou distribuir o Documento nula, e resultar automaticamente no trmino de seus direitos
sob esta Licena. Entretanto, terceiros que tenham recebido cpias, ou direitos de voc sob esta
Licena no tero suas licenas terminadas, tanto quanto esses terceiros permaneam em total
acordo com esta Licena.

REVISES FUTURAS DESTA LICENA

A Free Software Foundation pode publicar novas verses revisadas da Licena de Documentao Livre GNU de tempos em tempos. Tais novas verses sero similares em espirito verso
presente, mas podem diferir em detalhes ao abordarem novos porblemas e preocupaes. Veja
http://www.gnu.org/copyleft/.
A cada verso da Licena dado um nmero de verso distinto. Se o Documento especificar
que uma verso particular desta Licena "ou qualquer verso posterior"se aplica ao mesmo, voc
tem a opo de seguir os termos e condies daquela verso especfica, ou de qualquer verso
posterior que tenha sido publicada (no como rascunho) pela Free Software Foundation. Se o
Documento no especificar um nmero de Verso desta Licena, voc pode escolher qualquer
verso j publicada (no como rascunho) pela Free Software Foundation.
ADENDO: Como usar esta Licena para seus documentos
Para usar esta Licena num documento que voc escreveu, inclua uma cpia desta Licena
no documento e ponha as seguintes notas de copyright e licenas logo aps a pgina de ttulo:
Copyright (c) ANO SEU NOME.
dada permisso para copiar, distribuir e/ou modificar este documento sob os termos da Licena
de Documentao Livre GNU, Verso 1.1 ou qualquer verso posterior publicada pela Free Software Foundation; com as Sees Invariantes sendo LISTE SEUS TTULOS, com os Textos da
Capa da Frente sendo LISTE, e com os Textos da Quarta-Capa sendo LISTE. Uma cpia da licena est inclusa na seo entitulada "Licena de Documentao Livre GNU".
Se voc no tiver nenhuma Seo Invariante, escreva "sem Sees Invariantes"ao invs de
dizer quais so invariantes. Se voc no tiver Textos de Capa da Frente, escreva "sem Textos de
Capa da Frente"ao invs de "com os Textos de Capa da Frente sendo LISTE"; o mesmo para os
Textos da Quarta Capa.
Se o seu documento contiver exemplos no triviais de cdigo de programas, ns recomendamos a publicao desses exemplos em paralelo sob a sua escolha de licena de software livre,

16

CDTC

Centro de Difuso de Tecnologia e Conhecimento

tal como a GNU General Public License, para permitir o seu uso em software livre.

17

Braslia/DF

Parte IV

Introduo lgebra Booleana

18

Captulo 1

O que o curso de Introduo

lgebra Booleana

O curso de Introduo lgebra Booleana far um breve ensinamento sobre funes, expresses e teoremas da lgebra que s possui valores binrios.
A lgebra Booleana muito utilizada em cincias da computao e eletrnica, sendo uma
das bases das teorias de Circuitos Digitais.
O curso, com base na distribuio Debian possui 1 semana, comea na Segunda-Feira e
termina no Domingo da 1a semana. Todo o contedo do curso estar visvel somente a partir da
data de incio. Para comear o curso voc deve ler o Guia do aluno a seguir.

19

Captulo 2

Plano de ensino
2.1 Objetivo
Capacitar o usurio a realizar operaes binrias e modelar funes tendo base em teoremas.

2.2 Pblico Alvo

Usurios finais ou novatos que desejam aprender a base de Circuitos Digitais ou apenas
explorar a lgebra binria em si.

2.3 Descrio
O curso ser realizado na modalidade Educao a Distncia e utilizar a Plataforma Moodle
como ferramenta de aprendizagem. O curso tem durao de uma semana e possui um conjunto
de atividades (lies, fruns, glossrios, questionrios e outros) que devero ser executadas de
acordo com as instrues fornecidas. O material didtico estar disponvel on-line de acordo com
as datas pr-estabelecidas em cada tpico.

2.4 Programa
O curso est dividido da seguinte maneira:

2.5 Cronograma
Lio 1 - Introduo;
Lio 2 - Funes;
Lio 3 - Teoremas da lgebra Booleana;
Lio 4 - Modelando Funes;

20

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

As lies contm o contedo principal. Elas podero ser acessadas quantas vezes forem necessrias, desde que esteja dentro da semana programada. Ao final de uma lio, voc receber
uma nota de acordo com o seu desempenho. Responda com ateno s perguntas de cada lio, pois elas sero consideradas na sua nota final. Caso sua nota numa determinada lio seja
menor do que 6.0, sugerimos que voc faa novamente esta lio.
Ao final do curso ser disponibilizada a avaliao referente ao curso. Tanto as notas das lies quanto a da avaliao final sero consideradas para a nota final. Todos os mdulos ficaro
visveis para que possam ser consultados durante a avaliao final.
Aconselhamos a leitura da "Ambientao do Moodle"para que voc conhea a plataforma de
Ensino a Distncia, evitando dificuldades advindas do "desconhecimento"sobre a mesma.
Os instrutores estaro a sua disposio ao longo de todo curso. Qualquer dvida dever ser
enviada ao frum. Diariamente os monitores daro respostas e esclarecimentos, exceto nos finais
de semana e feriados.

2.6 Avaliao
Toda a avaliao ser feita on-line.
Aspectos a serem considerados na avaliao:
Iniciativa e autonomia no processo de aprendizagem e de produo de conhecimento;
Capacidade de pesquisa e abordagem criativa na soluo dos problemas apresentados.
Instrumentos de avaliao:
Participao ativa nas atividades programadas.
Avaliao ao final do curso.
O participante far vrias avaliaes referente ao contedo do curso. Para a aprovao e
obteno do certificado o participante dever obter nota final maior ou igual a 6.0 de acordo
com a frmula abaixo:
Nota Final = ((ML x 7) + (AF x 3)) / 10 = Mdia aritmtica das lies
AF = Avaliaes

2.7 Referncias Bibliogrficas

Eletrnica Digital, MENDONA, Alexandre, ZELENOVSKY, Ricardo, ISBN 978-85-8738513-0

21

Captulo 3

Lio 1 - Introduo
3.1 Introduo
A lgebra booleana o clculo lgico de valores-verdade, criado por George Boole na dcada
de 1840. A lgebra booleana formada pelas operaes de E, OU e NO. Para facilidades, usaremos notaes matemticas, que utilizam os smbolos . para E (A.B), + para OU e X para
indicar NO X, apesar de que podemos utilizar os nomes para express-los.
A lgebra booleana tambm conhecida como lgebra binria (ou lgebra de Boole) e
bastante utilizada na cincia da computao e tambm na eletrnica, sendo aplicada em interruptores pela primeira vez no sculo XX.
As variveis binrias podem assumir os valores 0 e 1, Verdadeiro e Falso, Ativado e Desativado, Alto e Baixo, etc., mas utilizaremos 0 e 1, por serem mais intuitivos.

3.2 Funes Bsicas

A lgebra booleana tambm funciona com funes, e a notao a seguir indica que a varivel
booleana X est relacionada com a varivel booleana A pela funo f: X=f(A)
X pode se relacionar com A como sendo:
X = A em que X recebe o valor de A, ou seja, se A=1, ento X=1. Se A=0, X=0.
X = A em que X recebe o complemento ou a negao de A, ou seja, se A=1, X=0. Se A=0,
X=1.
X = 0 ou X = 1 em que os valores de X so constantes e independem de A.
Assim, as relaes ficam esgotadas. Observa-se que como, X e A s podem ter 2 valores,
ento o complemento do complemento igual a prpria varivel:
A= ( A)
Existem tambm funes com mais de uma varivel booleana, como no exemplo a seguir em
que X funo de A e B:
22

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

X=f(A,B)
Os resultados de uma funo com mais de uma varivel no so imediatos como os de uma
s varivel, e por isso, existem tabelas para indicar estas funes. Estas tabelas informam o valor
de sada da funo (valor de X) para cada combinao de valores de entrada. Estas tabelas so
chamadas de Tabelas-Verdades.
A seguir, vamos mostrar as tabelas-verdades das operaes E(AND) e OU(OR)
Operao AND(E):
Z=A.B

Tabela 3.1: Operao AND

A B Z
0
0
1
1

0
1
0
1

0
0
0
1

Note que A.B s tem sada verdadeira quando as duas entradas tm valor 1, similar a uma
multiplicao.
Operao OR(OU):
Z=A+B

Tabela 3.2: Operao AND

A B Z
0
0
1
1

0
1
0
1

0
1
1
1

Se notar, a operao OU tem valor 1 (alto) apenas quando um OU outro tem valor alto. Se
ambos tiverem valor alto, a sada tambm tem valor alto.

23

Captulo 4

Lio 2 - Funes
4.1 Outras Funes
Alm das operaes de E, OU e NO, existem algumas outras funes teis na representao matemtica de lgicas e circuitos digitais. Algumas delas sero apresentadas nas tabelasverdades a seguir:
Operao NAND:
A operao NO E (NAND) uma negao da sada de um AND, ou seja, numa operao de
NAND entre A e B, a sada Z seria:
Z= (A.B)
Sua tabela verdade como se segue:
Tabela 4.1: Operao NAND
A B Z
0
0
1
1

0
1
0
1

1
1
1
0

Se notar, as sadas do NAND exatamente o complemento das sadas da operao AND, ou

seja, a negao da sada AND, como indicado na funo Z acima.
Operao NOR
A operao NO OU (NOR) uma negao da sada de um OR, ou seja, numa operao de
NOR entre A e B, a sada Z seria:
Z= (A+B)
Sua tabela verdade como se segue:
Como no caso do NAND, as sadas do NOR , tambm, o complemento das sadas da operao OR, ou seja, a negao da sada OR, como indicado na funo Z acima.
Operao XOR
A operao de OU EXCLUSIVO (XOR) um OR, mas que tem sada alta somente quando apenas
uma das entradas tem valor alto, ou seja, quando as duas entradas forem altas, a sada ser
24

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

Tabela 4.2: Operao NOR

A B Z
0
0
1
1

0
1
0
1

1
0
0
0

baixa. Uma operao de XOR entre A e B teria a sada Z:

Z=A.( B)+( A).B
Sua tabela verdade como se segue: Se notar, o XOR uma porta OU com sada alta se
Tabela 4.3: Operao XOR
A B Z
0
0
1
1

0
1
0
1

0
1
1
0

exclusivamente uma entrada for alta.

Operao NXOR
A operao NO OU EXCLUSIVO (NXOR) exatamente a negao da sada da funo XOR,
ento uma funo NXOR entre A e B teria a sada Z:
Z= (A.( B)+( A).B)
Sua tabela verdade como se segue:
Tabela 4.4: Operao NXOR
A B Z
0
0
1
1

0
1
0
1

1
0
0
1

Pode-se ver que o NXOR o complemento do XOR.

4.2 Expresses Booleanas

Uma expresso booleana criada quando diversas variveis booleanas so relacionadas
atravs de funes. O resultado de uma funo booleana tambm uma varivel booleana. Uma
expresso booleana tambm pode ser descrita pela sua tabela verdade, como exemplificado a
seguir:

25

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

Suponhamos que uma varivel Z funo das variveis A, B e C:

Z=f(A,B,C)
f(A,B,C)=(A.B)+( C)
Criamos a tabela verdade da expresso acima:
Tabela 4.5: Expresso Booleana
A B C A.B C Z
0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
0
0
0
0
0
1
1

1
0
1
0
1
0
1
0

1
0
1
0
1
0
1
1

Como nossa expresso funo de 3 variveis, e cada uma pode assumir 2 valores, podemos ver que nossa tabela, agora, possui um tamanho bem maior. As tabelas-verdades possuem
o tamanho 2n, sendo n o nmero de variveis. Ento, no caso, n=3, ento 23=8, logo nossa
tabela ter 8 linhas, que o nmero de combinaes possvels.
As colunas A.B e C foram colocadas por didtica, para facilitar a ver os processos para resolver
a expresso, uma vez que fazemos, primeiramente, as operaes de AND entre A e B, o NOT de
C, e em seguida fazemos a operao de AND entre os dois resultados.
Voc pode criar diversas expresses diferentes para treinar sua habilidade.

26

Captulo 5

Lio 3 - Teoremas da lgebra

Booleana
5.1 Teoremas Bsicos
A lgebra booleana bem mais extensa que o escopo deste curso, contudo, aqui aprendemos
a parte mais essencial para estudar circuitos digitais, bastante utilizados na engenharia e na
cincia da computao.
Agora so apresentados 9 teoremas mais elementares, sendo eles, de certa forma, bvios:
Teorema 1:
( A)=A
Se A=0, 0=1, negando novamente 1=0. Se A=1, 1=0, 0=1, portanto o teorema vlido.
Teorema 2: A+0=A
Se A=1, 1+0=1. Mas se A=0, 0+0=0, portanto o teorema vlido.
Teorema 3: A.1=A
Se A=1, 1.1=1. Se A=0, 0.1=0, portanto o teorema vlido.
Teorema 4: A+1=1
Se A=0, 0+1=1. Se A=1, 1+1=1, portanto o teorema vlido.
Teorema 5: A.0=0
Se A=0, 0.0=0. Se A=1, 1.0=0, portanto o teorema vlido.
Teorema 6: A+A=A
Se A=1, 1+1=1. Se A=0, 0+0=0, portanto o teorema vlido.
Teorema 7: A.A=A
Se A=1, 1.1=1. Se A=0, 0.0=0, portanto o teorema vlido.

27

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

Teorema 8: A+( A)=1

Se A=1, 1+0=1. Se A=0, 0+1=1, portanto o teorema vlido.
Teorema 9: A.( A)=0
Se A=1, 1.0=0. Se A=0, 0.1=0, portanto o teorema vlido.
Apesar de estes teoremas serem bem simples, eles facilitam na hora de simplificar expresses. Existem tambm mais 2 teoremas bem utilizados em circuitos digitais que no so
to imediatos como os 9 acima e mostram que a lei distributiva tambm se aplica lgebra
Booleana. So eles:
Teorema 10: A.(B+C)= (A.B)+(A.C)
Este teorema mostra a distribuio do produto em relao soma.
Teorema 11: A+(B.C)=(A+B).(A+C)
Este teorema mostra a distribuio da soma em relao ao produto.
Como sugesto, demonstre os teoremas 10 e 11.

5.2 Teorema de De Morgan

O teorema de De Morgan um teorema de grande importncia e ser o ltimo estudado neste
curso. To importante que at recebeu um nome prprio. Ele pode ser aplicado a um nmero
arbitrrio de variveis, e suas formas duais so:
1 - (A.B.C...)=( A)+( B)+( C)+...
2 - (A+B+C+...)=( A).( B).( C)....
Ou seja, o teorema diz que o complemento de um produto de variveis igual soma dos
complementos das variveis individuais. Tambm diz que o complemento de uma soma de variveis igual ao produto dos complementos das variveis individuais.
Este teorema pode ser facilmente memorizado devidu a sua dualidade entre soma (OR) e
produto (AND).
Como sugesto de aprendizagem, prove o Teorema de De Morgan.

28

Captulo 6

Lio 4 - Modelagem de Funes

6.1 Modelagem
Obter resultados tendo os valores das entradas e a funo uma tarefa bastante trivial, podendo ser trabalhosa. Mas e se existisse "caixa"aonde voc tivesse n entradas e uma sada sem
que voc pudesse conhecer o que existe dentro? Em outras palavras, e se voc tivesse a tabela
verdade e desejasse saber qual , exatamente, a funo geradora?
A resposta mais simples do que se pode imaginar.
Vamos tomar o exemplo a seguir:
Temos as entradas A, B e C, e temos a sada Z. Descubra qual a funo geradora de Z com
base na tabela verdade abaixo:
Tabela 6.1: Expresso Booleana
A B C Z
0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
0
0
0
1
1

Voc teria alguma idia de como obter a funo?

Vamos seguir a seguinte lgica:
A funo geradora de Z tem resultados altos para somente algumas combinaes de entradas,
ou seja, Z=1 para:
Ento, modelando a funo, teramos, para satisfazer o resultado da primeira linha da tabela
acima:

29

CDTC

Centro de Difuso de Tecnologia e Conhecimento

Braslia/DF

Tabela 6.2: Expresso Booleana

A B C
0
0
1
1

0
0
1
1

0
1
0
1

(1) Z=( A).( B).( C)

pois para A=0, B=0 e C=0, e somente esta combinao, teramos Z=1.
Pela segunda linha da tabela:
(2) Z=( A).( B).C
pois para A=0, B=0, C=1, e somente esta combinao, teramos Z=1.
Para a terceira linha:
(3) Z=A.B.( C)
Para a quarta linha:
(4) Z=A.B.C
Agora, queremos que Z seja alto para qualquer uma das funes acima, ou seja, Z alto
quando (1) ou (2) ou (3) ou (4) seja verdadeiro.
Traduzindo para lgica booleana:
Z=(1)OU(2)OU(3)OU(4)
Z=(( A).( B).( C))OU(( A).( B).C)OU(A.B.( C))OU(A.B.C)
Z=(( A).( B).( C))+(( A).( B).C)+(A.B.( C))+(A.B.C)
Agora temos a funo geradora de Z. Podemos notar que so passos muito simples e que
podem ser de grande utilidade. A expresso acima est na forma expandida, sendo que, ento,
pode ser simplificada utilizando os teoremas mostrados na Lio 3.
Existe uma outra tcnica utilizada para a obteno de funes que utiliza os conhecidos Mapas de Karnaugh. Os Mapas de Karnaugh so bem teis e economizam tempo e espao na hora
de obter funes. Mas este assunto no est no escopo do curso e ser deixado como sugesto
de aprendizagem para quem deseja aprofundar seus conhecimentos.

30