





















































Estude fácil! Tem muito documento disponível na Docsity
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Prepare-se para as provas
Estude fácil! Tem muito documento disponível na Docsity
Prepare-se para as provas com trabalhos de outros alunos como você, aqui na Docsity
Encontra documentos específicos para os exames da tua universidade
Prepare-se com as videoaulas e exercícios resolvidos criados a partir da grade da sua Universidade
Responda perguntas de provas passadas e avalie sua preparação.
Ganhe pontos para baixar
Ganhe pontos ajudando outros esrudantes ou compre um plano Premium
Algebra de Boole
Tipologia: Notas de estudo
1 / 61
Esta página não é visível na pré-visualização
Não perca as partes importantes!






















































Departamento Regional de São Paulo
CAI - Curso de Aprendizagem Industrial
Matemática - Álgebra de Boole
SENAI-SP, 2004
Trabalho organizado pela Escola SENAI “Almirante Tamandaré”, a partir dos conteúdos extraídos da Intranet do Departamento Regional do SENAI-SP.
1ª edição, 2004
Coordenação Geral Luiz Gonzaga de Sá Pinto
Equipe Responsável
Coordenação Celso Guimarães Pereira Estruturação Ilo da Silva Moreira Revisão Márcia Aparecida Perroni Silva
SENAI - Serviço Nacional de Aprendizagem Industrial Departamento Regional de São Paulo Escola SENAI “Almirante Tamandaré” Av. Pereira Barreto, 456 CEP 09751-000 São Bernardo do Campo - SP Telefone: (011) 4122- FAX: (011) 4122-5877 (ramal 230) E-mail: [email protected]
Cód. 120.10.
George Boole, matemático inglês do século XIX (1815-1864), desenvolveu a teoria da lógica binária com a intenção de explicar o funcionamento do pensamento humano.
Julgava ele que a dinâmica do pensamento tinha, como base, três operações lógicas (produto, soma e inversão) que, combinando entre si, desencadeavam desde o mais simples até o mais complexo raciocínio.
Essas três operações lógicas utilizam apenas dois símbolos aritméticos (0 e 1) que devem ser entendidos não como números, mas como estados lógicos antagônicos. Considerando, por exemplo, o símbolo 1 como representativo da ocorrência de um fato, o símbolo 0 será a negação dessa ocorrência, ou seja, a não ocorrência dele.
A tabela abaixo apresenta outras situações às quais podemos atribuir os estados lógicos 0 e 1.
Tabela
Estados lógicos
Situações
1 SIM VERDADEIRO LIGADO ACESO ABERTO MOVIMENTO 0 NÃO FALSO DESLIGADO APAGADO FECHADO REPOUSO
Assim, partindo de apenas 3 operações lógicas e 2 símbolos, foi possível construir toda uma teoria algébrica composta de vários teoremas e tabelas que tiveram, posteriormente, grande aplicação na eletrônica e na computação.
São três as operações lógicas criadas por Boole:
Operação Produto (. )
Representada pelo operador E
Define-se que:
0.0 = 0 (lê-se: zero e zero igual a zero)
0.1 = 0
1.0 = 0
1.1 = 1
Operação Soma ( + )
Representada pelo operador OU
Define-se que:
0 + 0 = 0 (lê-se: zero ou zero igual a zero)
0 + 1 = 1
1 + 0 = 1
1 + 1 = 1
A tabela-verdade é um quadro que, devidamente preenchido, gera todos os estados lógicos assumidos pelas variáveis da função lógica.
Construção
Deve conter linhas e colunas suficientes para alojar todas as combinações possíveis de todos os estados lógicos das variáveis binárias independentes, incluindo os estados lógicos resultantes.
Disposição
O número de colunas deve incluir o número de variáveis binárias independentes, as operações lógicas intermediárias e uma saída relativa aos valores resultantes.
Exemplo
Variáveis independentes: A, B, C (n = 3)
Variável dependente: Y
Tabela-verdade
nº de linhas = 2 n^ + 1 (1ª)
nº de colunas = 7
Exercícios
Construa a tabela-verdade para as seguintes funções lógicas:
Observação
O ponto (.), que indica a operação booleana E, foi omitido do P 21. A omissão é sempre válida.
Qualquer uma dessas propriedades ou teoremas pode ser demonstrada pela tabela-verdade.
Como exemplo, vamos demonstrar o teorema da absorção (P 16 ), pois trata-se de um excelente recurso para simplificação de expressões lógicas, como veremos mais adiante. Eis a sua demonstração pela tabela-verdade.
Comparando os resultados obtidos na 1 a^ e última coluna, verificamos que são idênticos, o que demonstra o teorema.
O teorema da translação do complemento (P 21 ) também pode ser demonstrado pela tabela- verdade.
Queremos provar que:
Chamaremos o 1° membro de Y 1 e o 2° membro de Y 2.
Portanto, vamos construir duas tabelas-verdades e constatar que os resultados finais são iguais, isto é, Y 1 = Y 2.
A demonstração deste teorema é feita também pela tabela-verdade.
Exercícios
Prove que:
O estudante de Eletrônica lida com vários componentes: resistores, capacitores, diodos, transistores, indutores e circuitos integrados (CIs). Dentro dos CIs existem dispositivos especiais chamados portas lógicas. Cada porta lógica tem uma ou mais entradas e uma única saída.
Matematicamente, as variáveis binárias independentes (A, B, C, ...) entram na porta lógica, são operadas segundo a sua função específica e a porta apresenta, na saída, a variável dependente Y (função lógica).
Os sistemas digitais mais complexos, tais como os computadores de grande porte, são construídos a partir das portas lógicas básicas. Essas portas operam segundo a álgebra de BOOLE e serão estudadas a seguir.
Todos os símbolos que representam as portas lógicas estão de acordo com as normas da ASA (American Standard Association).
Porta E
(Duas ou mais entradas e uma única saída)
Porta OU
(Duas ou mais entradas e uma única saída)
Porta NÃO OU
(Duas ou mais entradas e uma única saída)
Porta OU EXCLUSIVO
(Duas entradas e uma única saída)
Porta EQUIVALÊNCIA
(Duas entradas e uma única saída)
Combinação de portas lógicas
Muitos problemas de lógica digital utilizam-se de portas lógicas. Essas portas podem combinar entre si formando estruturas mais complexas às quais chamaremos circuitos lógicos. Cada circuito lógico pode ser representado por uma expressão booleana e esquematizado por um diagrama lógico.
Um circuito muito comum está esquematizado no diagrama abaixo.
Diagrama lógico E-OU
Tabela-verdade:
b)
Tabela-verdade:
c)
Tabela-verdade:
d)
Tabela-verdade: