Escolar Documentos
Profissional Documentos
Cultura Documentos
Álgebra Booleana
Principal diferença para a álgebra convencional: variáveis só
assumem os valores 0 e 1
É um modo de expressar a relação entre entradas e saídas de um
circuito lógico
Exemplo: A é uma variável booleana. Dois valores possíveis: A = 0
eA=1
Lógico 0 Lógico 1
Falso Verdadeiro
Desligado Ligado
Baixo Alto
Não Sim
Álgebra Booleana
Operação OR (OU)
Deve retornar verdadeiro quando uma OU outra variável é
verdadeira
Exemplo: tela do celular. Deve apagar quando se aproxima do rosto
OU quando se aperta o botão para desligar
Digamos que A representa proximidade com o rosto, e B representa
botão apertado. X = 0 representa tela ligada, X = 1 tela desligada
A B X
0 0 0
0 1 1
1 0 1
1 1 1
Operação OR (OU)
Quanto é então 1 + 1?
Operação OR (OU)
Quanto é então 1 + 1?
A B X
0 0 0
0 1 0
1 0 0
1 1 1
A X
0 1
1 0
Quanto é então 0?
Quanto é então 0?
Precedência de Operador
Precedência de Operador
Portanto: A · B = 0.
0 + 1 = 1.
Precedência de Operador
Portanto: A · B = 0.
0 + 1 = 1.
0, pois B + C = 1 −→ 0 · 1 = 0
Precedência de Operador
Precedência de Operador
0, pois B + C = 1 = 0 −→ 0 · 0 = 0
Tabelas-Verdade
Nada mais são do que tabelas listando as saídas para todos os
valores de entrada possíveis
Exemplo: A · B + C ?
Tabela: Tabela-Verdade X = A · B + C
A B C X
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
Exercício
Exercício
0 0 0 0 0 0 1 0
0 0 0 1 0 1 0 0
0 0 1 0 0 0 1 0
0 0 1 1 0 1 0 0
0 1 0 0 0 0 1 0
0 1 0 1 0 1 0 0
0 1 1 0 1 0 1 1
0 1 1 1 1 1 0 0
1 0 0 0 0 1 0 0
1 0 0 1 0 1 0 0
1 0 1 0 0 1 0 0
1 0 1 1 0 1 0 0
1 1 0 0 0 1 0 0
1 1 0 1 0 1 0 0
1 1 1 0 0 1 0 0
1 1 1 1 0 1 0 0
Teoremas Booleanos
Teoremas Booleanos
Teorema 1: x · 0 = 0 Teorema 2: x · 1 = x
Teoremas Booleanos
Teorema 3: x · x = x Teorema 4: x · x = 0
Teoremas Booleanos
Teorema 5: x + 0 = x Teorema 6: x + 1 = 1
Teoremas Booleanos
Teorema 7: x + x = x Teorema 8: x + x = 1
Substituindo Variáveis
Exemplo: AB(AB)
Teoremas Booleanos
x +y = y +x x ·y =y ·x
Teoremas Booleanos
x + (y + z) = (x + y ) + z x · (y · z) = (x · y ) · z = xyz
Teoremas Booleanos
Teoremas Booleanos
Teoremas Booleanos
x + xy = x + y
Teoremas Booleanos
x + xy = x + y
x(1 + y ) + xy
x + xy + xy
x + y (x + x)
x +y
Teoremas de De Morgan
(x + y ) = x · y (x · y ) = x + y
(x + y + z) = x · y · z (x · y · z) = x + y + z
Universalidade NAND
Universalidade NOR
Exercícios
1 x = A · B + C · D · (B + D)
2 x = (A + B · D) · D · C + A
3 x = (A + D) · C + B · D + A · C
Exercícios
Determine a expressão de saída simplificada, sem negação dupla:
Exercícios
Próxima Aula:
Mapas de Karnaugh!