Circuitos Digitais

lgebra de Boole
Prof. Peter Jandl Jr
10/10/2014 [PJJr]CD 2
lgebra de Boole (ou Boleana)
Desenvolvida pelo matemtico George Boole
para estudo da lgica.
Definida sobre um conjunto de dois elementos:
(falso, verdadeiro) (0, 1) (baixo, alto)
Seus elementos, a princpio, no tem
significado numrico.
Postulados: se x uma varivel boleanna
ento:
Se x 0 x = 1
Se x 1 x = 0
10/10/2014 [PJJr]CD 3
lgebra de Boole: operaes
So definidas algumas operaes
elementares na lgebra boleanna:
Operao No (NOT)
Operao E (AND)
Operao Ou (OR)
Operao Ou-Exclusivo (Exclusive-Or ou XOR)
10/10/2014 [PJJr]CD 4
lgebra de Boole: operaes
Operao No (NOT)
operador barra
0 = 1
1 = 0
Operao E (AND)
operador ponto .
0 . 0 = 0
0 . 1 = 0
1 . 0 = 0
1 . 1 = 1
10/10/2014 [PJJr]CD 5
lgebra de Boole: operaes
Operao Ou (OR)
operador +
0 + 0 = 0
0 + 1 = 1
1 + 0 = 1
1 + 1 = 1
Operao Ou-Exclusivo (XOR)
operador
0 0 = 0
0 1 = 1
1 0 = 1
1 1 = 0
10/10/2014 [PJJr]CD 6
lgebra de Boole: funes
Uma varivel boleanna s pode assumir
apenas um dos valores possveis (0 e 1)
Uma ou mais variveis e operadores podem
ser combinados formando uma funo lgica
Z
1
(A) = f(A) = ... (expresso usando var. A)
Z
2
(A,B) = f(A,B) = ... (expr. usando var. A e B)
Resultados de uma funo lgica podem ser
expressos numa tabela relacionando todas as
combinaes possveis dos valores que suas
variveis podem assumir e seus resultados
correspondentes: a Tabela-Verdade.
10/10/2014 [PJJr]CD 7
lgebra de Boole: Tabela Verdade
0
1
A B Z=f(A,B)
0
0
0 1
1 1
Lista das
combinaes
possveis
dos estados
das variveis
de entrada
Variveis Funo Lgica
Resultados da
funo lgica
para cada
combinao dos
estados de
entrada
1
0
1
1
Tabela-Verdade relaciona os resultados (sada) de
uma funo lgica para todas as combinaes
possveis de suas variveis (entrada).
Na Tabela-Verdade acima a funo lgica Z possui
duas variveis A e B, sendo Z = f(A, B) = A + B
10/10/2014 [PJJr]CD 8
lgebra de Boole: precedncia
Precedncia das Operaes
(0) parntesis
(1) Negao
(2) E
(3) Ou, Ou-exclusivo
O uso de parntesis altera a precedncia
normal dos operadores, como na lgebra
comum.
10/10/2014 [PJJr]CD 9
lgebra de Boole: propriedades
Sendo A, B e C variveis boleanas
Propriedade Comutativa
A . B = B . A
A + B = B + A
A B = B A
Propriedade Associativa
( A . B ) . C = A . ( B . C ) = A . B . C
( A + B ) + C = A + ( B + C ) = A + B + C
( A B ) C = A ( B C ) = A B C
Propriedade Distributiva
A . (B + C ) = A . B + A . C
A + B . C = (A + B) . (A + C)
10/10/2014 [PJJr]CD 10
lgebra de Boole: propriedades
Propriedades (Leis) de Absoro
A + A.B = A
A + A.B = A + B
(A + B).B = A.B
Identidades importantes
A.B + A.B = A
(A + B) . (A + B) = A
A.(A + B) = A
A.(A + B) = AB
A.B + A.C = (A + C) . (A + B)
10/10/2014 [PJJr]CD 11
lgebra de Boole: identidades
NOT
0 = 1
1 = 0
A = A
AND
A . 1 = A
A . 0 = 0
A . A = A
A . A = 0
OR
A + 1 = 1
A + 0 = A
A + A = A
A + A = 1
10/10/2014 [PJJr]CD 12
lgebra de Boole: dualidade
Existe um princpio especial na lgebra
boleana denominado princpio da dualidade:
Para uma equao boleana qualquer, se trocarmos
as operaes E (.) e operaes OU (+) entre si
assim como valores 0s e 1s entre si, obteremos
uma equao igualmente vlida.
A + 0 = A A . 1 = A
A + 1 = 1 A . 0 = 0
A + A = A A . A = A
A + A = 1 A . A = 0
10/10/2014 [PJJr]CD 13
Teorema de De Morgan
Primeira Lei
A . B = A + B

Segunda Lei
A + B = A . B

Estas leis permitem mudar de operador sem
que seja alterada a funo.
Ambas as leis podem ser estendidas para n
variveis.
10/10/2014 [PJJr]CD 14
Funes de 2 Variveis
A
B
AB (AND)
A+B (OR)
AB (XOR)
A B (A implica B)
A B (B implica A)

B
AB (NAND)
A+B (NOR)
AB (XNOR - equivalncia)
0 (Constante zero)
1 (Constante um)
10/10/2014 [PJJr]CD 15
Equivalncia e Suficincia de
Operaes
Equivalncia das operaes
Qualquer funo lgica pode ser expressa em
termos das operaes AND, OR e NOT.
AE = E + A
AB = + B
Suficincia das operaes
Apenas as operaes AND e NOT ou OR e NOT
so suficientes para expressar qualquer operao:
E + A
(aplicando De Morgan) E . A

10/10/2014 [PJJr]CD 16
Simplificao
Os teoremas, propriedade e identidades da
lgebra boleanna podem ser aplicados para
simplificarmos funes lgicas e, com isso,
reduzirmos o nmero necessrio de
operaes.
Simplificando:
w = x.y + y.x.z temos w = xy + z
w = x ( x + y) temos w = xy
w = x (x + y) + z + z.y temos w = y + z
w = (w + y + x)(w + y + x)(y + z)(w + z)