Equaes Booleanas

Construo de Circuitos Digitais Simples

F= a.b + c.d + a.c

Descrio Informal

Tabela Verdade

Equao Lgica Otimizao Simulao Circuito Logico

Produto Final

Prottipo

Expresses Booleanas
Expresses formadas por sinais de entrada ligados por conectivos lgicos, produzindo como resultado um nico sinal de sada. S=A.B+C O comportamento de qualquer expresso booleana pode ser totalmente determinado atravs da construo de sua tabela-verdade.

Obteno da Expresso Lgica a partir da Tabela Verdade

Exemplo: A 0 0 1 1 B 0 1 0 1 F 0 1 1 0

A.B A.B F = A.B + A.B

Obteno da Expresso Lgica a partir da Tabela Verdade

Regra: Inicialmente construmos um termo para cada linha da tabela verdade com sada 1
o termo formado pelo produto (AND) das variveis de entrada, sendo estas negadas quando o valor de entrada for 0.

a expresso lgica obtida somando-se (OR) os termos A B F

0 0 1 1 0 1 0 1 0 1 A.B 1 A.B 0

F = A.B + 7A.B

Exerccio:
Obtenha a expresso lgica da tabela verdade abaixo: A B C S 0 0 0 0 0 0 1 1 A.B.C 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 A.B.C 1 1 0 0 1 1 1 1 A.B.C

S = A.B.C + A.B.C + A.B.C

8

Exerccio do Alarme Bancrio

Obtenha a expresso lgica: SIR A 000 0 001 0 010 0 011 0 100 1 S.I.R 101 0 110 1 S.I.R 1 1 1 1 S.I.R A = S.I.R + S.I.R + S.I.R
9

Exerccio do Alarme Bancrio

Obtenha as expresses lgicas: A 0 0 1 1 I Alarme 0 0 1 0 0 0 1 1 A 0 0 1 1 B 0 1 0 1 Detec 0 1 1 1

Alarme = A.I

Detec = A.B + A.B + A.B

10

Obteno da Tabela Verdade a partir da Expresso Lgica

A construo de tabelas-verdade dever respeitar a ordem de precedncia: Ordem: 1 () 2 NO 3E 4 OU Construa a Tabela Verdade da Expresso abaixo: S=A.B+A.B Entradas A B 0 0 0 1 1 0 1 1 Resultados intermedirios A B A.B A.B 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 Sada S 0 1 1 0

11

Exerccio
Construa a tabela-verdade das seguintes expresses booleanas: a) S = A + B . C b) S = A . B . C c) S = (B + C) . A d) S = A + B e) S = A + B . C f) S = (A + B) . C g) S = A . (B + C)
12

Equivalncia e Expresses Lgicas

Duas Equaes Lgicas so equivalentes se - e somente se - para as mesmas entradas, produzirem iguais valores de sada (tabela verdade). Exerccio: Verifique se as Equaes Lgicas a seguir so equivalentes:
a) A + B b) A + B c) X . Y + Z d) A + B . A A . B A + B X . (Y + Z) A + B

13

Construo de Circuitos Digitais Simples

F= a.b + c.d + a.c

Descrio Informal

Tabela Verdade

Equao Lgica Otimizao Simulao Circuito Logico

Produto Final

Prottipo

14

Manipulao Algbrica
As expresses booleanas podem ser manipuladas visando sua simplificao. Expresses simples geram circuitos mais otimizados, reduzindo tempo de execuo, consumo de energia e custo. Ex: S = A . (A + B) propriedade distributiva S = A.A + A.B propriedade complemento S = 0 + A.B propriedade elemento nulo S = A.B

15

Propriedades da Manipulao Algbrica

16

Otimizao de Expresses Booleanas

F = A.B + A.B + A.B Distributiva F = A.B + A.(B+B) Complemento F = A.B + A.(1) Identidade F = A.B + A Comutativa F = A + A.B Absoro 2 F=A+B

17

Otimizao de Expresses Booleanas

S = A S = S = S = S S S S S S S S S S = = = = = = = = = = A A A A A A A A A A . (A + B) A.A + A.B 0 + A.B A.B . . . . . + . . + + B + A . B + A . B + A . B + A . (B + C) B . A B . A B B B
18

propriedade distributiva propriedade complemento propriedade elemento nulo

(C . D + C . D) (C . (D + D)) (C . 1) C

Simplifique a Expresso do Alarme

Tabela Verdade: SIR A 000 0 001 0 010 0 011 0 S.I.R 100 1 101 0 S.I.R 110 1 111 1 S.I.R

A = S.I.R + S.I.R + S.I.R

19

Exerccio
Obtenha a expresso simplificada: ABC + ABC + ABC Pode ser reduzida a: AB + BC ou B(A + C)
20

Obteno da Equao Lgica

F= a.b + c.d + a.c

Descrio Informal

Tabela Verdade

Equao Lgica Otimizao Simulao Circuito Lgico

Produto Final

Prottipo

21