Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

lgebra de Boole e Teorema de De Morgan
Prof. Rmulo Calado Pantaleo Camara

Carga Horria: 2h/60h
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
lgebra de Boole
A lgebra de Boole empregada no projeto de
circuitos digitais, para:

anlise - um mtodo prtico e econmico de
descrever as funes de um circuito digital e,
consequentemente, seu funcionamento.

projeto - ao identificar a funo a ser
realizada por um circuito, a lgebra de Boole
pode ser aplicada para simplificar sua
descrio e, assim, tambm sua
implementao.
2
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
lgebra de Boole
A vantagem de se utilizar a lgebra de Boole
como fundamento que se pode efetuar,
inicialmente, toda a anlise matemtica do
problema lgico antes da construo do
circuito digital. Ela serve como suporte para a
construo de um sistema digital.

3
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Classificao dos Circuitos Digitais
Podem ser classificados em:

Circuitos Combinacionais


Circuitos Senquenciais

4
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Classificao dos Circuitos Digitais
Circuitos Combinacionais: so circuitos nos
quais a sada funo dos valores de entrada
correntes; Esse circuito no tem capacidade de
armazenamento;





Exemplo: Multiplexadores, Codificadores, circuito
de operaes matemticas.
5
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Classificao dos Circuitos Digitais
Circuitos Sequenciais: so circuitos nos quais a
sada funo dos valores de entrada correntes e
dos valores de entrada no instante anterior;
elemento bsico: Flip-flop.






Exemplo: Memrias, registradores.
6
Curiosidade: FLIP em
ingls pode significar atirar
ao alto e FLOP pode
significar queda repentina.
Assim, o dispositivo sendo
biestvel (possui dois
estados lgicos estveis)
pode ser levado ao alto
(FLIP), ou ser forado a
voltar repentinamente ao
estado baixo (FLOP).
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Projeto de um Circuitos Combinacional
Sequncia de operaes:
Determinar as variveis de entradas do circuito;
Determinar as variveis de sada do circuito;
A partir das combinaes das variveis de
entrada, montar a tabela verdade para cada
sada;
Obter a expresso booleana de cada sada;
Implementar o circuito combinacional
correspondente.



7
Especificao
Tabela
Verdade
Expresso Circuito
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Projeto de um Circuitos Combinacional
Exemplo: Considere um sistema de segurana:
H um sensor de contato que, ligado, (on), indica
que a porta est fechada;
Um sensor infravermelho que, ligado, indica que no
h pessoas ou coisas se movendo no interior da loja.
H, tambm, um alarme que acionado quando um
dos dois sensores desligado. Isto , basta um
nico sensor ser desativado para soar o alarme.
Determine a expresso lgica e o circuito
correspondentes deste sistema.


8
Especificao
Tabela
Verdade
Expresso Circuito
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Projeto de um Circuitos Combinacional
Soluo: Tabela-Verdade

A = "sensor de contato"
B = "sensor infravermelho"
S = alarme



Como obter a expresso lgica e o circuito
correspondente?
9
Especificao
Tabela
Verdade
Expresso Circuito
0 1 1
1 0 1
1 1 0
1 0 0
S B A
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Tabela Verdade Expresso Lgica
Funo AND => Produto
Funo OR =>Soma
Soma de produtos

Produto de somas

Soma de Produtos: OR dos minitermos que
levam a sada para 1; (Mais utilizado).
Produto de somas AND dos maxitermos que
levam a sada para 0;
10
C . B C . A B . A
) C A C B ( . B) (A ).(
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Tabela Verdade Expresso Lgica
Minitermos:
1. faz a funo AND dos termos de entrada
2. Varivel de entrada 1 Funo direta;
3. Varivel de entrada 0 Funo Negada;
Exemplo do Alarme:


11
A B S Minitermos
0 0 1
0 1 1
1 0 1
1 1 0
B A S
1

B A S
2

B A S
3

0 S
4

B A B A B A S
S S S S S
4 3 2 1


Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Expresso Lgica Circuito Lgico
Obtido a expresso lgica, desenvolva o
circuito direto.

Exemplo do Alarme:

12
B A B A B A S
A
B
S
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Expresso Lgica Circuito Lgico
O Circuito no o mais simples?!!

Simplifica




Utilizando a lgebra de Boole
13
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Simplificao de circuitos lgicos
utilizando lgebra de Boole
Regras bsicas da lgebra de Boole
Postulados
Complementao
Se A = 0 ento
1 A

Se A = 1 ento
0 A

Identidade
A A

Adio Multiplicao
0 + 0 = 0 0 . 0 = 0
0 + 1 = 1 0 . 1 = 0
1 + 0 = 1 1 . 0 = 0
1 + 1 = 1 1 . 1 = 1
Identidade Identidade
A + 0 = A A . 0 = 0
A + 1 = 1 A . 1 = A
A + A = A A . A = A
A + = 1 A . = 0

A A
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Simplificao de circuitos lgicos
utilizando lgebra de Boole
Regras bsicas da lgebra de Boole
Propriedades
Comutativa
A . B = B . A
A + B = B + A
Associativa
A . (B . C) = (A . B) . C
A + (B + C) = (A + B) + C
Distributiva
A . (B + C) = A . B + A . C
A + (B . C) = (A + B) . (A + C)
Teoremas
Teoremas de De Morgan
B . A B A
B A B . A
Teoremas da Absoro
A + A . B = A
B A B . A A
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Simplificao de circuitos lgicos
utilizando lgebra de Boole
Obtenha a expresso lgica simplificada e o
circuito lgico correspondente para o exemplo
do Alarme.
AB S
B A S
B A A S
B A B) B ( A S
B A B A B A S

Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Simplificao de circuitos lgicos
utilizando lgebra de Boole
Exerccio: Suponha que um
circuito digital descrito
pela tabela ao lado:
Obtenha o que se pede:
expresso lgica
correspondente;
circuito lgico
correspondente;
expresso lgica
simplificada;
circuito lgico
correspondente
expresso simplificada.
A B C S
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Exemplos de Aplicao
Controle de Bombeamento de gua:
O desenho a seguir mostra um processo simples para
encher uma caixa dgua de um rio prximo.






Os sensores de nvel alto (H) e de nvel baixo (L) so utilizados
para determinar o acionamento da bomba (B) e do alarme (A).

Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Exemplos de Aplicao
Tabela-Verdade e Expresses Lgicas
Entradas Sadas
Linhas H L B A
1
a
0 0 1 1
2
a
0 1 1 0
3
a
1 0 X X
4
a
1 1 0 0
L H A
L H L H B
.
. .

) ( . L H L H A
H B

ou
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Exemplos de Aplicao

Circuito Lgico

Montagem
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Exerccio
A figura ao lado mostra
de forma esquemtica a
conexo de 4 computa-
dores de uma determi-
nada empresa a uma
nica impressora. Esta
conexo feita atravs
de um circuito de
controle.
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP
Exerccio
Qual a expresso que descreve o funcionamento do circuito de
controle (determine tambm o circuito lgico e a montagem
correspondentes expresso simplificada)?


Devem ser obedecidas s seguintes prioridades:
Computador do setor administrativo (ADM) 1
a
prioridade
Computador do setor pessoal (PES) 2
a
prioridade
Computador do setor de engenharia (ENG) 3
a
prioridade
Computador do setor de vendas (VEN) 4
a
prioridade