Introduo Informtica

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
:
:

Estudar os conceitos e regras que regem

Estudar os conceitos e regras que regem
o projeto e funcionamento dos circuitos
o projeto e funcionamento dos circuitos
lgicos dos computadores digitais.
lgicos dos computadores digitais.
lgebra de
lgebra de
Boole
Boole

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

Operaes lgicas bsicas (primitivas):

Operaes lgicas bsicas (primitivas):
So 3 as operaes lgicas bsicas:
So 3 as operaes lgicas bsicas:
1. Produto lgico
1. Produto lgico
porta AND ( )
porta AND ( )
2.
2.
Soma lgica
Soma lgica
porta OR (+)
porta OR (+)
3.
3.
Negao
Negao
porta NOT ( )
porta NOT ( )
lgebra de
lgebra de
Boole
Boole
Todas as operaes internas a um
computador podem ser descritas por
combinaes destas 3 operaes
bsicas.
Na realidade bastaria utilizar o AND
com o NOT ou o OR com o NOT
(conjuntos funcionalmente
completos).
lgebra de
lgebra de
Boole
Boole

Uma funo lgica pode ser representada

Uma funo lgica pode ser representada
pela sua expresso algbrica, pela sua
pela sua expresso algbrica, pela sua
tabela verdade, pelo seu smbolo ou
tabela verdade, pelo seu smbolo ou
circuito lgico.
circuito lgico.
Exemplo:
Exemplo:
F(A,B) = A.B + A.B
F(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
Funo AND
Definio:
F(A,B,C,...,N) = A.B.C....N
F(A,B,C,...,N) = 1 se e somente se
A=B=C=...=N=1
lgebra de
lgebra de
Boole
Boole
AND de duas variveis:
F(A,B) = A.B
1
1
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
0
0
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
AND de duas variveis: (cont.)
F(A,B) = A.B
1
1
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
0
0
0
0
0
0
F
F
B
B
A
A
Circuito eltrico equivalente
Circuito eltrico equivalente
A
A
B
B
I
I
V
V
+
+
_
_
0 0 0 0
1 1 1 1
lgebra de
lgebra de
Boole
Boole
AND de trs variveis:
F(A,B,C) = A.B.C
A
A
B
B
F
F
C
C
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
0
0
0
0
1
1
0
0
1
1
1
1
0
0
0
0
0
0
1
1
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
F
F
C
C
B
B
A
A
lgebra de
lgebra de
Boole
Boole
Cada linha da tabela verdade
relaciona uma combinao especfica
das variveis de entrada ao valor
assumido pela funo na sada.
O nmero total de linhas igual a 2
n
,
onde n o nmero de variveis.
lgebra de
lgebra de
Boole
Boole
Funo OR
Definio:
F(A,B,C,...,N) = A+B+C+...+N
F(A,B,C,...,N) = 1 se e somente se
A=1 ou B=1 ou ... ou N=1
lgebra de
lgebra de
Boole
Boole
OR de duas variveis:
F(A,B) = A+B
1
1
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
A
A
B
B
F
F
Smbolo lgico
Smbolo lgico
Tabela verdade
Tabela verdade
lgebra de
lgebra de
Boole
Boole
OR de duas variveis: (cont.)
F(A,B) = A+B
1
1
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
Circuito eltrico equivalente
Circuito eltrico equivalente
A
A
B
B
I
I
V
V
+
+
_
_
0 0
0 0
1 1
1 1
lgebra de
lgebra de
Boole
Boole
OR de trs variveis:
F(A,B,C) = A+B+C
A
A
B
B
C
C
F
F
1
1
1
1
1
1
1
1
1
1
0
0
1
1
1
1
1
1
1
1
0
0
1
1
1
1
0
0
0
0
1
1
1
1
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
F
F
C
C
B
B
A
A
lgebra de
lgebra de
Boole
Boole
Funo NOT
Definio: F(A) = A
F(A) = 0 se A = 1
F(A) = 1 se A = 0
0
0
1
1
1
1
0
0
F
F
A
A
A
A
A
A
lgebra de
lgebra de
Boole
Boole

Outras funes lgicas importantes:

Outras funes lgicas importantes:

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

NAND de duas variveis

NAND de duas variveis:
F(A,B) = A.B
0
0
1
1
1
1
1
1
0
0
1
1
1
1
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 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