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.
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.

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

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.

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.
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).

Exemplo: Memrias, registradores.

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

Projeto de um Circuitos Combinacional

Especificao Tabela Verdade Expresso Circuito

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.
Universidade Federal do Vale do So Francisco - UNIVASF Colegiado de Engenharia da Computao CECOMP

Projeto de um Circuitos Combinacional

Especificao Tabela Verdade Expresso Circuito

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.
Universidade Federal do Vale do So Francisco - UNIVASF Colegiado de Engenharia da Computao CECOMP

Projeto de um Circuitos Combinacional

Especificao Tabela Verdade Expresso Circuito

Soluo:

Tabela-Verdade

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

A 0 0 1 1

B 0 1 0 1

S 1 1 1 0

Como obter a expresso lgica e o circuito correspondente?

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
A .B A .C B. C

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;
Universidade Federal do Vale do So Francisco - UNIVASF Colegiado de Engenharia da Computao CECOMP

(A B) . (B C).(A C)

10

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:
A 0 0 1 1 B 0 1 0 1 S 1 1 1 0 Minitermos

S1 AB S2 AB S3 AB

S S1 S2 S3 S 4 S AB AB AB

S4 0

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

11

Expresso Lgica

Circuito Lgico

Obtido a expresso lgica, desenvolva o circuito direto. Exemplo do Alarme: S AB AB AB

A B

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

12

Expresso Lgica

Circuito Lgico

O Circuito no o mais simples?!! Simplifica

Utilizando a lgebra de Boole

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

13

Simplificao de circuitos lgicos utilizando lgebra de Boole

Regras bsicas da lgebra de Boole
Se A = 0 ento A 1 Postulados Complementao

Se A = 1 ento A 0 Identidade

AA
Adio 0+0=0 0+1=1 1+0=1 1+1=1 Identidade A+0=A A+1=1 A+A=A A+A =1 Multiplicao 0.0=0 0.1=0 1.0=0 1.1=1 Identidade A.0=0 A.1=A A.A=A A .A =0

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

A B A.B
A.B A B Teoremas da Absoro A+A. B=A A A.B A B
Universidade Federal do Vale do So Francisco - UNIVASF Colegiado de Engenharia da Computao CECOMP

 Obtenha a expresso lgica simplificada e o circuito lgico correspondente para o exemplo do Alarme.
S AB AB AB S A( B B) AB S A AB S AB S AB

Simplificao de circuitos lgicos utilizando lgebra de Boole

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 0 0 0 B 0 0 1 C 0 1 0 S 1 0 1

0
1 1 1 1

1
0 0 1 1

1
0 1 0 1

0
1 0 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
Linhas 1a 2a a 3 a 4
A H .L

Expresses Lgicas
B 1 1 X 0 Sadas A 1 0 X 0

Entradas H L 0 0 0 1 1 0 1 1
ou

B H .L H .L

BH A H . L ( H L)

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 computadores de uma determinada 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) 1a prioridade

Computador do setor pessoal (PES) 2a prioridade

Computador do setor de engenharia (ENG) 3a prioridade Computador do setor de vendas (VEN) 4a prioridade

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