SISTEMAS DIGITAIS

LGEBRA DE BOOLE

Setembro de 10

H. Neto, N. Horta

LGEBRA DE BOOLE - 2

SUMRIO
PORTAS LGICAS LGICA BINRIA LGEBRA DE BOOLE
DEFINIO PROPRIEDADES TEOREMAS

Setembro de 10

SISTEMAS DIGITAIS

H. Neto, N. Horta

LGEBRA DE BOOLE - 3 LGICA BINRIA

A lgica binria lida com variveis que podem ter 2 valores distintos. habitual pensar em termos de valores binrios e designar estes valores por 0 e 1.

Operaes Lgicas Bsicas

AND X 0 0 1 1 Y 0 1 0 1 X .Y 0 0 0 1 X 0 0 1 1 OR Y 0 1 0 1 X+Y 0 1 1 1 NOT X 0 1 X 1 0

Setembro de 10

SISTEMAS DIGITAIS

H. Neto, N. Horta

LGEBRA DE BOOLE - 4 PORTAS LGICAS

As portas lgicas so circuitos electrnicos que operam sobre um ou mais sinais de entrada para produzirem um sinal de sada. Nas tecnologias mais comuns, o circuito lgico distingue 2 intervalos distintos de tenso, que so interpretados como 1 ou 0.

Exemplo

1 0

5V 3,5V 1,5V 0 Volts

Simbologia (IEC 617)

1

&

OR

AND

NOT

Setembro de 10

SISTEMAS DIGITAIS

H. Neto, N. Horta

LGEBRA DE BOOLE - 5 LGEBRA DE BOOLE BINRIA

Uma lgebra de Boole binria um sistema algbrico B2 = (A={0,1}, . ,+) formado por um conjunto gerador A e por duas operaes binrias, . , +, designadas por produto lgico e soma lgica, e por uma operao designada por complemento, tal que:
(I)

x , yA ( x y A) ( x + y A)
verifica-se

(Propriedade de Fecho)

(II) x, y , zA

A1 (Propriedade Comutativa) A2 (Propriedade Associativa) A3 (Propriedade Distributiva) A4 (Elemento neutro) A5 (Complemento)

x y = yx
x + ( y + z ) = (x + y ) + z

x+ y = y+x
x . ( y . z ) = ( x . y ). z

x ( y + z ) = (x y ) + (x z ) x 1 = x
x x = 0

x + ( y z ) = (x + y ) (x + z ) x+0= x
x + x =1

[Hist.] Boole, George (1815-1864), Matemtico britnico. Em 1854, publicou An Investigation of the Laws of Thought onde descreveu um sistema algbrico mais tarde designado por lgebra de Boole
Setembro de 10 SISTEMAS DIGITAIS H. Neto, N. Horta

LGEBRA DE BOOLE - 6 PROPRIEDADES BSICAS DA LGEBRA DE BOOLE

x+0= x x +1 = 1 x+x = x x + x =1 x=x

x+ y = y+ x x + ( y + z ) = (x + y ) + z x (y + z) = x y + x z x+ y = xy x y + x y = x
Setembro de 10

x 1 = x x0 = 0 xx = x xx = 0
x y = yx x ( y z ) = (x y ) z x y = x + y (x + y ) (x + y ) = x
SISTEMAS DIGITAIS

Comutatividade Associatividade

x + y z = ( x + y ) ( x + z ) Distributividade
DeMorgan Adjacncia
H. Neto, N. Horta

LGEBRA DE BOOLE - 7 PRINCPIO DA DUALIDADE

Qualquer expresso vlida numa lgebra de Boole tem uma expresso dual, tambm vlida nessa lgebra, que se obtm por troca do smbolo operatrio + com o smbolo operatrio . e do limite universal 0 com o limite universal 1.

Exemplo:
x . 1 = x a expresso dual de x + 0 = x Outros teoremas da lgebra de Boole: Absoro Consenso

x (x + y ) = x x y + yz + x z = x y + x z (x + y ) (x + z ) = x z + x y x y + x y z = x y + xz

x + x y = x

(x + y ) ( y + z ) (x + z ) = (x + y ) (x + z ) x y + x z = (x + z ) (x + y ) (x + y ) (x + y + z ) = (x + y ) (x + z )

Setembro de 10

SISTEMAS DIGITAIS

H. Neto, N. Horta

LGEBRA DE BOOLE - 8 FUNO BOOLEANA

Tabela da Verdade

f = ab+c
b e c so os termos da funo. , b e c so os literais.

a b c 0 0 0 0 0 1 0 1 0

b 0 0 1 1 0 0 0 0

f 0 1 1 1 0 1 0 1

Circuito Lgico
A B C F

0 1 1 1 0 0 1 0 1 1 1 0 1 1 1

Setembro de 10

SISTEMAS DIGITAIS

H. Neto, N. Horta

LGEBRA DE BOOLE - 9 SIMPLIFICAO ALGBRICA Exemplo

a d x a e x b d x b e x c d x c e x y

f = adx + ae x + bdx + be x + cdx + ce x + y = (ad + ae + bd + be + cd + ce ) x + y = ((a + b + c ) d + (a + b + c ) e ) x + y = ((a + b + c ) (d + e )) x + y

a b c d e x y

Realizao a 2 nveis (soma de produtos)

Setembro de 10

Realizao Multinvel

SISTEMAS DIGITAIS

H. Neto, N. Horta

LGEBRA DE BOOLE - 10 LEIS DE MORGAN

Verificao por Tabelas da Verdade

x + y = x. y x. y = x + y

x y 0 0 0 1 1 0 1 1

x+y 0 1 1 1

x+y 1 0 0 0

x 0 0 1 1

y 0 1 0 1

x y 1 1 1 0 0 1 0 0

x.y 1 0 0 0

Generalizao para n variveis

x1 + x2 + K + xn = x1 . x 2 K x n x1 . x1 K xn = x1 + x 2 + K + x n

Setembro de 10

SISTEMAS DIGITAIS

H. Neto, N. Horta

LGEBRA DE BOOLE - 11 LEIS DE DEMORGAN Exemplo de Aplicao Sucessiva das Leis de DeMorgan

a . (b + z . ( x + a )) = a + (b + z . ( x + a )) = a + (b . ( z . ( x + a ))) = a + (b . (z + ( x + a ))) = a + (b . (z + (x . a ))) = a + b . (z + x . a )

Setembro de 10

SISTEMAS DIGITAIS

H. Neto, N. Horta

LGEBRA DE BOOLE - 12 TEOREMA DA ADJACNCIA Exemplo de Simplificao

f = x yz + x yz + xz = x y ( z + z ) + xz = x y.1 + xz = x y + xz

X Y
Z F

X Y Z F

Setembro de 10

SISTEMAS DIGITAIS

H. Neto, N. Horta