Você está na página 1de 12

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

Setembro de 10

NOT

OR

AND
X

X .Y

X+Y

SISTEMAS DIGITAIS

H. Neto, N. Horta

LGEBRA DE BOOLE - 4
PORTAS LGICAS

Exemplo

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.

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

Simbologia (IEC 617)

Setembro de 10

&

OR

AND

NOT

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)

(II) x, y , zA

(Propriedade de Fecho)

verifica-se

A1 (Propriedade Comutativa)

x y = yx

x+ y = y+x

A2 (Propriedade Associativa)

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

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

A3 (Propriedade Distributiva)
A4 (Elemento neutro)

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

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

A5 (Complemento)

x x = 0

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 1 = x
x0 = 0

x+ y = y+ x

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

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

xx = x
xx = 0
Comutatividade
Associatividade

x + y z = ( x + y ) ( x + z ) Distributividade
x y = x + y
(x + y ) (x + y ) = x
SISTEMAS DIGITAIS

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

Setembro de 10

SISTEMAS DIGITAIS

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 )

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.

Circuito Lgico
A
B

Setembro de 10

SISTEMAS DIGITAIS

a b c

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

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

x y

x.y

x. y = x + y

0 0

1 1

0 1

1 0

1 0

0 1

1 1

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
Z

= x y + xz
X
Y

Setembro de 10

SISTEMAS DIGITAIS

H. Neto, N. Horta