Escolar Documentos
Profissional Documentos
Cultura Documentos
Introduo Informtica
lgebra de
lgebra de
Boole
Boole
Ageu Pacheco e Alexandre
Ageu Pacheco e Alexandre
Meslin
Meslin
lgebra de
lgebra de
Boole
Boole
Objetivo
Objetivo
da Aula
da Aula
:
:
lgebra de
lgebra de
Boole
Boole
:
:
Criada em 1854 por George
Criada em 1854 por George
Boole
Boole
com o
com o
intuito de formalizar matematicamente o
intuito de formalizar matematicamente o
pensamento lgico
pensamento lgico
.
.
lgebra de
lgebra de
Boole
Boole
Varivel lgica ou
Varivel lgica ou
booleana
booleana
:
:
Uma varivel lgica s pode assumir dois
Uma varivel lgica s pode assumir dois
valores (estados):
valores (estados):
verdadeiro ou falso; ligado ou desligado;
verdadeiro ou falso; ligado ou desligado;
aceso ou apagado; fechado ou aberto;
aceso ou apagado; fechado ou aberto;
branco ou preto; sim ou no; 1 ou 0.
branco ou preto; sim ou no; 1 ou 0.
lgebra de
lgebra de
Boole
Boole
Funo NAND
Funo NAND
Definio:
Definio:
F(A,B,C,...,N) = A.B.C....N
F(A,B,C,...,N) = A.B.C....N
F(A,B,C,...,N) = 0 se e somente se
F(A,B,C,...,N) = 0 se e somente se
A=B=C=...=N=1
A=B=C=...=N=1
lgebra de
lgebra de
Boole
Boole
Funo NOR
Funo NOR
Definio:
Definio:
F(A,B,C,...,N) = A+B+C+...+N
F(A,B,C,...,N) = A+B+C+...+N
F(A,B,C,...,N) = 1 se e somente se
F(A,B,C,...,N) = 1 se e somente se
A=B=C=...=N=0
A=B=C=...=N=0
lgebra de
lgebra de
Boole
Boole
NOR de duas variveis:
F(A,B) = A+B
0
0
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
0
0
F
F
B
B
A
A
A
A
B
B
F
F
Smbolo lgico
Smbolo lgico
Tabela verdade
Tabela verdade
lgebra de
lgebra de
Boole
Boole
Funo OU
Funo OU
-
-
EXCLUSIVO (XOR)
EXCLUSIVO (XOR)
F(A,B) = A + B
F(A,B) = A + B
Por inspeo na tabela verdade:
Por inspeo na tabela verdade:
F=1
F=1
se A=0 e B=1 ou se A=1 e B=0
se A=0 e B=1 ou se A=1 e B=0
F(A,B) = A.B
F(A,B) = A.B
+
+
A.B
A.B
0
0
1
1
1
1
1
1
0
0
1
1
1
1
1
1
0
0
0
0
0
0
0
0
F
F
B
B
A
A
F
F
A
A
B
B
lgebra de
lgebra de
Boole
Boole
Relaes da lgebra
Relaes da lgebra
booleana
booleana
:
:
Postulados:
Postulados:
1a. A = 1 (se A=0)
1a. A = 1 (se A=0)
1b. A = 0 (se A=1)
1b. A = 0 (se A=1)
2a. 0.0 = 0
2a. 0.0 = 0
2b. 0+0 = 0
2b. 0+0 = 0
3a. 1.1 = 1
3a. 1.1 = 1
3b. 1+1 = 1
3b. 1+1 = 1
4a. 1.0 = 0
4a. 1.0 = 0
4b. 1+0 = 1
4b. 1+0 = 1
5a. 1 = 0
5a. 1 = 0
5b. 0 = 1
5b. 0 = 1
lgebra de
lgebra de
Boole
Boole
Relaes da lgebra
Relaes da lgebra
booleana
booleana
(cont.):
(cont.):
Teoremas:
Teoremas:
6a. A.0 = 0
6a. A.0 = 0
6b. A+0 = A
6b. A+0 = A
7a. A.1 = A
7a. A.1 = A
7b. A+1 = 1
7b. A+1 = 1
8a. A.A = A
8a. A.A = A
8b. A+A = A
8b. A+A = A
9a. A.A = 0
9a. A.A = 0
9b. A+A = 1
9b. A+A = 1
10a. A = A
10a. A = A
10b. A = A
10b. A = A
lgebra de
lgebra de
Boole
Boole
Propriedades algbricas:
Propriedades algbricas:
Comutativa:
Comutativa:
11a. AB = BA
11a. AB = BA
11b. A+B = B+A
11b. A+B = B+A
Associativa:
Associativa:
12a. A(BC) = AB(C)
12a. A(BC) = AB(C)
12b. A+(B+C) = (A+B)+C
12b. A+(B+C) = (A+B)+C
Distributiva:
Distributiva:
13a. A(B+C) = AB + AC
13a. A(B+C) = AB + AC
13b. A + BC = (A+B) (A+C)
13b. A + BC = (A+B) (A+C)
lgebra de
lgebra de
Boole
Boole
Teorema da absoro:
Teorema da absoro:
14a. A(A+B) = A
14a. A(A+B) = A
14b. A+AB = A
14b. A+AB = A
15a. A(A+B) = AB
15a. A(A+B) = AB
15b. A+AB = A+B
15b. A+AB = A+B
lgebra de
lgebra de
Boole
Boole
Teoremas de De Morgan:
Teoremas de De Morgan:
16a. A.B.C...N = A + B + C +...+N
16a. A.B.C...N = A + B + C +...+N
16b. A+B+C+...+N = A . B . C ... N
16b. A+B+C+...+N = A . B . C ... N
lgebra de
lgebra de
Boole
Boole
Consequncias
Consequncias
diretas das leis De Morgan:
diretas das leis De Morgan:
1.
1.
A.B = A + B
A.B = A + B
A
A
B
B
F
F
A
A
F
F
B
B
lgebra de
lgebra de
Boole
Boole
Consequncias
Consequncias
diretas das leis De Morgan:
diretas das leis De Morgan:
1.
1.
Prova pela tabela verdade
Prova pela tabela verdade
:
:
F1(A,B) = A.B
F1(A,B) = A.B
F2(A,B) = A + B
F2(A,B) = A + B
A.B = A + B
A.B = A + B
0
0
1
1
1
1
1
1
F2
F2
0
0
1
1
1
1
1
1
0
0
1
1
1
1
1
1
0
0
1
1
0
0
0
0
F1
F1
B
B
A
A
lgebra de
lgebra de
Boole
Boole
Consequncias
Consequncias
diretas das leis De Morgan:
diretas das leis De Morgan:
2.
2.
A+B = A . B
A+B = A . B
A
A
B
B
F
F
A
A
B
B
F
F
lgebra de
lgebra de
Boole
Boole
Consequncias
Consequncias
diretas das leis De Morgan:
diretas das leis De Morgan:
3.
3.
A.B = A+B
A.B = A+B
A.B = A + B
A.B = A + B
A.B = A + B
A.B = A + B
A
A
B
B
F
F
A
A
B
B
F
F
lgebra de
lgebra de
Boole
Boole
Consequncias
Consequncias
diretas das leis De Morgan:
diretas das leis De Morgan:
4.
4.
A+B = A.B
A+B = A.B
A+B = A . B
A+B = A . B
A+B = A . B
A+B = A . B
A
A
B
B
F
F
A
A
B
B
F
F
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
1.
1.
Mostrar que A + BC = (A+B)(A+C)
Mostrar que A + BC = (A+B)(A+C)
13b
13b
(A+B)(A+C) = AA+AC+AB+BC =
(A+B)(A+C) = AA+AC+AB+BC =
= A+AC+AB+BC =
= A+AC+AB+BC =
= A(1+C+B)+BC
= A(1+C+B)+BC
= A + BC
= A + BC
1
1
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
2.
2.
Mostrar que A + AB = A + B
Mostrar que A + AB = A + B
15b
15b
14b
14b
A+AB = A(1+B) = A
A+AB = A(1+B) = A
A + AB = A+AB + AB = A+(A+A)B =
A + AB = A+AB + AB = A+(A+A)B =
= A + B
= A + B
A A
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
3.
3.
Mostrar que A + B = A + B
Mostrar que A + B = A + B
A + B = AB + AB = AB . AB =
A + B = AB + AB = AB . AB =
= (A+B)(A+B) = AA+AB+AB+BB
= (A+B)(A+B) = AA+AB+AB+BB
= AB + AB
= AB + AB
M M M M
M M
0
0
0
0
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
3.
3.
Mostrar que A + B = A + B (cont.)
Mostrar que A + B = A + B (cont.)
X + B = XB + XB
X + B = XB + XB
Fazendo X=A, temos:
Fazendo X=A, temos:
A + B = AB + AB = AB + AB = A + B
A + B = AB + AB = AB + AB = A + B
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
4.
4.
Mostrar que AB + AC + BC = AB + AC
Mostrar que AB + AC + BC = AB + AC
AB+AC+BC = AB+AC+BC(A+A) =
AB+AC+BC = AB+AC+BC(A+A) =
= AB + AC + ABC + ABC =
= AB + AC + ABC + ABC =
= AB(1+C)+AC(1+B) = AB + AC
= AB(1+C)+AC(1+B) = AB + AC
1
1
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
5.
5.
Simplifique a expresso lgica de F:
Simplifique a expresso lgica de F:
F(x,y,z) =
F(x,y,z) =
xyz
xyz
+
+
xyz
xyz
+
+
xyz
xyz
+
+
xyz
xyz
=
=
xyz
xyz
+
+
xyz
xyz
+
+
xy
xy
(z+z) =
(z+z) =
xy
xy
+
+
xyz
xyz
+
+
xyz
xyz
=
=
= y(x+
= y(x+
xz
xz
)+
)+
xyz
xyz
= y(x+z)+
= y(x+z)+
xyz
xyz
=
=
15b
15b
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
5.
5.
(cont.)
(cont.)
F =
F =
xy
xy
+
+
yz
yz
+
+
xyz
xyz
=
=
yz
yz
+ x(y+
+ x(y+
yz
yz
) =
) =
=
=
yz
yz
+ x(y+z)
+ x(y+z)
F(x,y,z) =
F(x,y,z) =
xy
xy
+
+
xz
xz
+
+
yz
yz
15b
15b
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
6.
6.
Determine a expresso lgica para a
Determine a expresso lgica para a
sada F no circuito abaixo:
sada F no circuito abaixo:
C
C
A
A
B
B
F
F
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
6.
6.
(cont.)
(cont.)
F1 = AB , F2 = B + C = BC + BC
F1 = AB , F2 = B + C = BC + BC
F = F1+F2 = AB + BC + BC
F = F1+F2 = AB + BC + BC
F
F
C
C
A
A
B
B
F1 F1
F2 F2
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
7.
7.
Dado o circuito abaixo, obtenha a
Dado o circuito abaixo, obtenha a
expresso lgica mais simples que
expresso lgica mais simples que
voc puder para a sada F:
voc puder para a sada F:
A
A
B
B
F
F
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
7.
7.
(cont.)
(cont.)
F1 = A + B = AB + AB , F2 = B
F1 = A + B = AB + AB , F2 = B
F = F1+F2 = AB+AB+B = B(1+A)+AB =
F = F1+F2 = AB+AB+B = B(1+A)+AB =
= B+AB = B+A = B.A = AB
= B+AB = B+A = B.A = AB
F
F
A
A
B
B
F1 F1
F2 F2
1 1
M M
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
7.
7.
(cont.)
(cont.)
F(A,B) = AB
F
F
A
A
B
B
A
A
B
B
F
F
F(A,B) = AB
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
8.
8.
Desenhe o circuito correspondente a
Desenhe o circuito correspondente a
expresso abaixo:
expresso abaixo:
F = ABC + BC
F = ABC + BC
F
F
A
A
B
B
C
C
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
9.
9.
Simplifique a expresso de F do
Simplifique a expresso de F do
exemplo anterior:
exemplo anterior:
F = ABC + BC = A+B+C + BC =
F = ABC + BC = A+B+C + BC =
= A+B+C+B = A+1+C = 1
= A+B+C+B = A+1+C = 1
1
1
M M
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
9.
9.
(cont.)
(cont.)
A
A
F
F
B
B
C
C
1
1
0(0volts)
0(0volts)
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
10. No circuito abaixo, obtenha a expresso
10. No circuito abaixo, obtenha a expresso
lgica mais simples que voc puder
lgica mais simples que voc puder
para a sada F:
para a sada F:
A
A
B
B
F
F
C
C
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
10.
10.
F1 = A+B = A.B
F1 = A+B = A.B
F2 = F1B C = ABBC = ABC = A+B+C
F2 = F1B C = ABBC = ABC = A+B+C
F = F1F2 = F1+F2
F = F1F2 = F1+F2
A
A
B
B
F
F
C
C
F1 F1
F2 F2
M M
M M
M M
lgebra de
lgebra de
Boole
Boole
Exerccios:
Exerccios:
(cont.)
(cont.)
10. (cont.)
10. (cont.)
F1 = A+B = A.B
F1 = A+B = A.B
F2 = F1B C = ABBC = ABC = A+B+C
F2 = F1B C = ABBC = ABC = A+B+C
F = F1F2 = F1+F2
F = F1F2 = F1+F2
F = F1+F2 = A+B + ABC = A+B+ABC
F = F1+F2 = A+B + ABC = A+B+ABC
F = A+BC+B = A+B+C
F = A+BC+B = A+B+C
M M
M M
M M
lgebra de
lgebra de
Boole
Boole
F
F
A
A
B
B
C
C
Exerccios:
Exerccios:
(cont.)
(cont.)
10. (cont.)
10. (cont.)
F
F
A
A
B
B
C
C
C
C
A
A
B
B
F
F
C
C
A
A
B
B
F
F