Organizadores:

Alberto Willian Mascarenhas

Ablio Muniz
Srgio Leal
ELETROT
ELETROT

CNICA
CNICA
lgebra de Boole
CEFET-PE
2
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
lgebra de Boole
Representao de funes lgicas
por equaes
Exemplo:
A partir da funo lgica obtm-
se:
Tabela de verdade Valores lgicos
da funo para todas as combinaes
de entradas
Diagrama do circuito Esquema do
circuito com as portas lgicas e
respectivas ligaes
YZ X F + =
CEFET-PE
3
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
lgebra de Boole
Tabela de verdade
X Y Z F
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
YZ X F + =
CEFET-PE
4
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
lgebra de Boole
Diagrama do circuito
YZ X F + =
X
Y
Z
F
CEFET-PE
5
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
lgebra de Boole
Propriedades
AND
X . 1 = X (elemento neutro)
X . 0 = 0 (elemento absorvente)
X . X = X
X . X = 0
X . Y = Y . X (comutativa)
X(YZ) = (XY)Z (associativa)
X+(YZ) = (X+Y).(X+Z) (distributiva)
CEFET-PE
6
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
lgebra de Boole
Propriedades
OR
X+0 = X (elemento neutro)
X+1 = 1 (elemento absorvente)
X+X = X
X+X = 1
X+Y = Y+X (comutativa)
X+(Y+Z) = (X+Y)+Z (associativa)
X.(Y+Z) = (XY) + (XZ) (distributiva)
CEFET-PE
7
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
lgebra de Boole
NOT
Leis de DeMorgan
Teorema do consenso
Y X X.Y
Y . X Y X
+ =
= +
) Z X )( Y X ( ) Z Y )( Z X )( Y X (
Z X XY YZ Z X XY
+ + = + + +
+ = + +
X X =
CEFET-PE
8
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
lgebra de Boole
Aplicao das propriedades
Simplificao de equaes
Exemplo
X
1 X
) 1 Y ( X
1 X XY
X XY
X 1 XY
X ) Z Z ( XY
X XYZ Z XY F
=
=
+ =
+ =
+ =
+ =
+ + =
+ + =
CEFET-PE
9
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
Termos Mnimos
A partir de uma tabela de verdade pode-se
escrever uma funo como uma soma de
produtos lgicos
Cada produto lgico que assume o valor 1 para
uma dada combinao de variveis de entrada
designa-se Termo produto
Um produto lgico em que todas as variveis de
entrada aparecem exactamente uma vez
(complementadas ou no) designa-se Termo
mnimo
CEFET-PE
10
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
Termos Mnimos
7
6
5
4
3
2
1
0
m Z Y X 1 1 1
m Z Y X 0 1 1
m Z Y X 1 0 1
m Z Y X 0 0 1
m Z Y X 1 1 0
m Z Y X 0 1 0
m Z Y X 1 0 0
m Z Y X 0 0 0
Smbolo mnimo Termo Z Y X
CEFET-PE
11
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
Termos Mnimos
Uma funo pode ser definida
como uma soma de termos
mnimos
Exemplo
Ser o mesmo que
XYZ Z Y X YZ X Z Y X F + + + =
( )

=
7 4 3 2
m , m , m , m F
CEFET-PE
12
Prof(s).: Alberto Willian Mascarenhas, Ablio Muniz e Srgio Leal
Exerccios