SISTEMAS DIGITAIS

H. Neto, N. Horta Setembro de 04

LGEBRA DE BOOLE
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 2
H. Neto, N. Horta Setembro de 04
SUMRIO
PORTAS LGICAS
LGICA BINRIA
LGEBRA DE BOOLE
DEFINIO
PROPRIEDADES
TEOREMAS
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 3
H. Neto, N. Horta Setembro de 04
LGICA BINRIA
1 1 1
0 0 1
0 1 0
0 0 0
X .Y Y X
AND
1 1 1
1 0 1
1 1 0
0 0 0
X + Y Y X
OR NOT
0 1
1 0
X X
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
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 4
H. Neto, N. Horta Setembro de 04
PORTAS LGICAS
1 & 1
OR AND NOT
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.
1
0
0 Volts
1,5V
3,5V
5V
Simbologia (IEC 617)
Exemplo
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 5
H. Neto, N. Horta Setembro de 04
LGEBRA DE BOOLE BINRIA
Uma lgebra de Boole binria um sistema algbrico B
2
= (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) (Propriedade de Fecho)
(II) verifica-se
A1 (Propriedade Comutativa)
A2 (Propriedade Associativa)
A3 (Propriedade Distributiva)
A4 (Elemento neutro)
A5 (Complemento)
[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
) ( ) (
,
A y x A y x
A y x
+

A z y x

, ,
x y y x =
( ) ( ) ( ) z x y x z y x + = +
x x = 1
0 = x x
x y y x + = +
( ) ( ) ( ) z x y x z y x + + = +
x x = + 0
1 = + x x
( ) ( ) z y x z y x + + = + + ( ) ( ) z y x z y x . . . . =
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 6
H. Neto, N. Horta Setembro de 04
PROPRIEDADES BSICAS DA LGEBRA DE BOOLE
x x
x x
x x x
x
x x
=
= +
= +
= +
= +
1
1 1
0
0
0 0
1
=
=
=
=
x x
x x x
x
x x
( ) ( )
( )
x y x y x
y x y x
z x y x z y x
z y x z y x
x y y x
= +
= +
+ = +
+ + = + +
+ = +
( ) ( )
( ) ( )
( ) ( ) x y x y x
y x y x
z x y x z y x
z y x z y x
x y y x
= + +
+ =
+ + = +
=
=
Comutatividade
Associatividade
Distributividade
DeMorgan
Adjacncia
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 7
H. Neto, N. Horta Setembro de 04
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
( )
( ) ( )
z x y x z y x y x
y x z x z x y x
z x y x z x z y y x
x y x x
+ = +
+ = + +
+ = + +
= +
( ) ( ) ( ) ( ) ( )
( ) ( )
( ) ( ) ( ) ( ) z x y x z y x y x
y x z x z x y x
z x y x z x z y y x
x y x x
+ + = + + +
+ + = +
+ + = + + +
= +
Outros teoremas da lgebra de Boole:
Absoro
Consenso
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 8
H. Neto, N. Horta Setembro de 04
FUNO BOOLEANA
c b a f + =
Circuito Lgico
Tabela da Verdade
1 0 1 1 1
0 0 0 1 1
1 0 1 0 1
0 0 0 0 1
1 1 1 1 0
1 1 0 1 0
1 0 1 0 0
0 0 0 0 0
f ! b c b a
!b e c so os termos da funo.
!, b e c so os literais.
C
A
B
F
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 9
H. Neto, N. Horta Setembro de 04
SIMPLIFICAO ALGBRICA
a
d
x
a
e
x
b
d
x
b
e
x
c
d
x
c
e
x
y y
x
e
d
b
a
c
( )
( ) ( ) ( )
( ) ( ) ( ) y x e d c b a
y x e c b a d c b a
y x e c cd e b bd e a ad
y x e c cdx x e b bdx x e a adx f
+ + + + =
+ + + + + + =
+ + + + + + =
+ + + + + + =
Realizao a 2 nveis
(soma de produtos)
Realizao Multinvel
Exemplo
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 10
H. Neto, N. Horta Setembro de 04
LEIS DE MORGAN
y x y x
y x y x
+ =
= +
.
.
Verificao por Tabelas da Verdade
0
0
1
1
x
1
1
0
0
x
1
0
1
0
y
0
1
0
1
y
0
0
0
1
x . y
0
0
0
1
x + y
1 1 1
1 0 1
1 1 0
0 0 0
x + y y x
Generalizao para n variveis
n
n
n
n
x x x x x x
x x x x x x
+ + + =
= + + +


2 1
1 1
2 1
2 1
.
.
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 11
H. Neto, N. Horta Setembro de 04
LEIS DE DEMORGAN
( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) a x z b a
a x z b a
a x z b a
a x z b a
a x z b a a x z b a
. .
. .
.
. .
. . .
+ + =
+ + =
+ + + =
+ + =
+ + + = + +
Exemplo de Aplicao Sucessiva das Leis de DeMorgan
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 12
H. Neto, N. Horta Setembro de 04
TEOREMA DA ADJACNCIA
( )
xz y x
xz y x
xz z z y x
xz z y x yz x f
+ =
+ =
+ + =
+ + =
1 .
X
Y
Z
F
X
Y
Z
F
Exemplo de Simplificao
SISTEMAS DIGITAIS
LGEBRA DE BOOLE - 13
H. Neto, N. Horta Setembro de 04
BIBLIOGRAFIA
[1] M. Morris Mano, Charles R. Kime, Logic and Computer Design Fundamentals,
Prentice-Hall International, Inc. (Captulo 2, Seces 2.1-2.2)