lgebra Booleana

O hardware emprega nmeros binrios, mas a aritmtica binria mais antiga que os computadores modernos:

Introduo Organizao de Computadores

Prof. Dr. Luciano Jos Senger

Civilizao chinesa antiga (3000 BC) Civilizao grega (1000 BC) lgebra de Boole ou booleana (1850)

Aula 4 lgebra booleana e lgica digital

lgebra Booleana
Os filsofos gregos antigos criaram um sistema para formalizar argumentos chamado de lgica proposicional
Uma proposio uma declarao que pode ser TRUE ou FALSE Proposies podem ser compostas atravs dos operadores AND, OR e NOT
AND = e OR = ou NOT = no

lgebra Booleana
Proposies podem ser verdadeiras ou falsas(TRUE or FALSE):
Est chovendo A previso do tempo indica chuva

Proposies combinadas:
Est chovendo OR a previso do tempo indica chuva

Resultados de proposies:
Eu levarei guarda-chuva = Est chovendo OR a previso do tempo indica chuva Se estiver chovendo OR a previso do tempo indicar chuva ento eu levarei o guarda-chuva

lgebra Booleana
Pode-se pensar que a proposio guardachuva como um resultado que deve ser calculado pelo combinao dos resultados das proposies chovendo e previso do tempo:

lgebra Booleana
Desde que as preposies podem assumir apenas dois valores, pode-se expressar todas as sadas possveis atravs de uma tabela:

lgebra Booleana
Proposies podem ser mais complexas, por exemplo:
(levar guarda-chuva ) = ( NOT (ir de carro ) ) AND ( (previso de chuva ) OR (chovendo ) )

lgebra Booleana
lgebra Booleana
Retribuio da comunidade cientfica ao matemtico ingls George Boole (1815-1864) que desenvolveu uma anlise matemtica sobre Lgica. 1938 Claude Shannon (MIT) utilizou os conceitos de lgebra para o projeto circuitos de chaveamento que usavam rels.

Os valores so representados por 1 e 0:

1 = TRUE 0 = FALSE

Proposies so substitudas por variveis:

C = est chovendo P = previso do tempo indica chuva

Operadores so substitudos por smbolos:

' = NOT + = OR = AND

lgebra Booleana
Exemplo:
(levar guarda-chuva ) = ( NOT (ir de carro ) ) AND ( (previso de chuva ) OR (chovendo ) )

lgebra Booleana
lgebra booleana
Em sistemas digitais, pode-se trabalhar os conceitos da lgebra booleana sobre bits, de forma a construir relaes bsicas que servem para criar componentes maiores (projeto hierrquico) Pode-se trabalhar sobre grupos de bits (palavras)
Sendo A=1, NOT(A)=0 Sendo A=0101, NOT(A)=1010

G =

(D')( P+C)

lgebra Booleana
A simplificao pode ser introduzida com a definio da precedncia de avaliao dos operadores.
OPERATOR NOT AND OR SYMBOL ' + PRECEDENCE Highest Middle Lowest

lgebra Booleana
lgebra booleana e funes binrias
O processamento dos dados em nvel de bits ocorre atravs de uma clula que executa uma determinada operao matemtica, resultando em uma sada com valor 0 ou 1

G = (D')( P+C ) = D' (P+C)

Lgica digital
lgebra booleana e funes binrias
Tabela verdade de uma funo binria apresenta todas as combinaes possveis de entrada e as sadas respectivas Para n variveis de entrada tem-se 2n possibilidades.

Lgica digital
Operaes lgicas bsicas Portas lgicas
E1 E2

Porta Lgica X

E1 operao lgica X E2 = R

Lgica digital
Operaes lgicas bsicas
Operao NOT
A operao NOT simplesmente altera o valor de uma varivel de 0 para 1, ou vice-versa Exemplos: Se A=0, ento NOT(A) = 1 Se B=1, ento NOT(B) = 0 Se C=0101, ento NOT(C) = 1111

Lgica digital
Operaes lgicas bsicas
Operao NOT Porta lgica

Tabela Verdade

A porta NOT tambm chamada de inversora O smbolo em forma de tringulo representa um buffer, que no realiza nenhuma operao lgica (apenas o aumento de corrente eltrica) O crculo ao fim do buffer representa a inverso

Lgica digital
Operaes lgicas bsicas
Operao OR
A operao OR necessita de duas ou mais entradas; se quaisquer uma das entradas tiver o valor 1, o resultado ser igual a 1
Tabela Verdade

Lgica digital
Operaes lgicas bsicas
Operao OR

Porta lgica com 2 variveis

Exemplos
Se A=1 e B=0, ento A OR B = 1 Se A=1001 e B=1111, ento A OR B = 1111
Tabela Verdade

Porta lgica com 4 variveis de entrada

Lgica digital
Operaes lgicas bsicas
Operao OR
Se uma ou mais entradas so iguais a 1
Ento F=1 Seno F =0

Lgica digital
Operaes lgicas bsicas
Operao AND
Essa funo detecta situaes onde todas as entradas so iguais a 1, e neste caso, produz uma sada igual a 1 Assim, se todas as entradas tiverem o seu valor igual a 1, a porta AND retorna 0; se pelo menos uma entrada for igual a 0, a sada ser igual a zero

F=0 se e somente se todas as entradas forem iguais a 0

Lgica digital
Todas as sadas possveis dos operadores podem ser escritos atravs de tabelas verdade:

Lgica digital
Dada uma expresso: G = D' (C+P)

AND A B R 0 0 0 0 1 0 1 0 0 1 1 1

OR + A B 0 0 0 1 1 0 1 1

R 0 1 1 1

NOT ' A R 0 1 1 0

Pode-se tambm calcular as sadas da tabela verdade para cada combinao de entradas.

Para n variveis tem-se 2n possibilidades.

Lgica digital
C P D

Lgica digital
Questo:
X2=D G=X1 X2

X1=C+P

Usando a lgica booleana construa a tabela verdade e enumere todas as opes para a equao abaixo: R = A B + C'
A 0 0 0 B 0 0 1 C 0 1 0 AB C' R

etc

Lgica digital
Resultado:
A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 AB 0 0 0 0 0 0 1 1 C' 1 0 1 0 1 0 1 0 R 1 0 1 0 1 0 1 1

Lgica digital
Questes: Seja A = 1, B = 0, C=1, D = 0. Calcular: X = A . (B+C) + D. Represente a equao anterior com portas lgicas Seja A=1001, B=0010, C=1110 e D=1111. Calcular o valor de X na seguinte expresso lgica: X = A + ( (B.C) + D) + (B + D). Represente a equao anterior com portas lgicas

Lgica digital
Propriedades da lgebra Booleana
Definem como realizar a simplificao de expresses lgicas booleanas Simplificao permite economia de componentes eletrnicos no processo de fabricao de sistemas digitais
AND A.B=B.A A . (B + C) = A .B + A . C 1.A=A A . ~A = 0 Axiom as OR A+B=B+A A + (B . C) = (A +B) . (A + C) 0+A=A A + ~A = 1 Propriedade Comutativa Distributiva Identidade Complemento

Lgica digital
Propriedades da lgebra Booleana

0.A=0 1+A=1 A.A=A A+A=A A . (B . C) = (A .B) . C A + (B + C) = (A + B) + C ~~A = A ~( A . B) = ~A + ~B ~(A + B) = ~A . ~B A . B + ~A . C + B . C = A . (A + B) . (~A + C) . (B + C) B + ~A . C = (A + B) . (~A + C) A . (A + B) = A A+A.B=A

Teorema de 0 e 1 Idem Potncia Associativa Involuo Teorema de Morgan Teorema do Concenso Teorema da Absoro

Lgica digital
Propriedades da lgebra booleana:
(A')' = A AA' = 0 A + A' = 1 AA = A A+A = A A0=0 A1=A A+0=A A+1=1

Lgica digital
Propriedades
Exemplos de simplificaes
(P (Q+R') + S) 0 = 0 A + A( B ) = A

possvel provar atravs da construo de uma tabela verdade, ou atravs de simplificao:

A + AB = A(1+B) A(1+B) = A1 A1 = A (lei distributiva) (regra de simpl. com 1 e 0) (regra de simpl. com 1 and 0)

Teoremas

Lgica digital
Exemplo:
A + A( B ) = A

Lgica digital
Teoremas de Morgan
Esses teoremas fornecem expresses alternativas que relacionam as operaes NOR e NAND (A+B)' = A' B (AB)' = A' + B'

possvel provar isto atravs da construo da tabela verdade ou atravs de simplificaes:

A + AB = A(1+B) A(1+B) = A1 A1 = A (propriedade distributiva) (simplificao com 1 e 0) (simplificao com 1 e 0)

Note que A e B podem ser quaisquer expresses booleanas Exemplo:

(A+B+C)' = ( (A+B)+C)' ( (A+B)+C)' = ( (A+B)' ) C' ( (A+B)' ) C' = A' B' C'

similarmente:
(ABC....X)' = A' + B' + C' + ......+ X'

Lgica digital
Teoremas de Morgan

Lgica digital
Teoremas de Morgan
Pode-se efetuar simplificaes quando as variveis de entrada j so complementares:
(X.Y. Z) = X + Y + Z Y = Y

Simplificaes algbricas
Simplificao
Um problema comum no projeto de lgica combinacional a simplificao da expresso lgica para a sua forma mais simples possvel A simplificao permite a reduo do nmero de componentes, o que implica em menor consumo de energia e melhor desempenho Exemplos:
F = A.B + A.B /* 1-propriedade distributiva */ F= A. (B + B) /* 2- expresso entre parnteses =1 */ F= A. 1 F=A

Simplificaes algbricas
Exemplo
F = A.B.C + B.C F = A. (B.C) + (B.C) F = (A +1) . (B.C) F = 1.(B.C) F = B.C G = ((A + B + C)+ (B + C)) G = (A + B+ C) . (B + C) G = A. B. C . B . C G = A. B . C . B. C G = A. (B. B). (C.C) G= 0 /* agrupa-se o fator B.C*/ /* propriedade distributiva*/ /* A + 1 = 1*/

Exemplo
/* Morgan */ /* Morgan */

Simplificaes algbricas
Exemplo
H = (A+B+C). (A+B) /*propriedade distributiva */ H = A.A + A.B + A.C + A.B + B.B + B.C H = A + A.B + B + A.C + A.B + B.C /*A +A.B = A*/ H = A + B + C.A + B.C H = (A + C.A) + (B + B.C) H=A+B T= A. B + A.B.C + A.B.C /*distributiva */ T = A.B + A.B.(C + C) T = A.B + A.B.(1) T = A.B + A.B T = A.B

Portas lgicas
Conjunto lgico completo
Um conjunto completo de operaes lgicas aquele conjunto que nos permite criar qualquer funo lgica utilizando apenas as operaes pertencentes ao conjunto Operaes NOT, AND e OR podem ser utilizadas para criar trs conjuntos lgicos completos:
NOT, AND NOT, OR NOT, AND e OR O conjunto AND, OR no um conjunto completo no se pode criar funes lgicas arbitrrias usando apenas as operaes AND e OR, pois a operao NOT deve estar includa.

Exemplo

Portas lgicas
Lgica baseada em NAND
Qualquer funo lgica pode ser implementada utilizando apenas portas NAND Relao de Morgan (A.B) = A+ B mostra que uma porta NAND pode ser expressa utilizando operaes OR com entradas complementares Se B=A, a relao (A.A) = A + A = A

Portas lgicas
Lgica baseada em NOR
Utiliza-se tambm a relao de Morgan
(A+B)= A.B (A+A) = A. A = A Exerccio: G = A.B + C = ?

Para obter a funo apenas com portas NAND, aplica-se as regras de Morgan para eliminar qualquer operao OR F = X+ Y /* complementado duas vezes A = A*/ F = ((X+Y)) F = (X. Y) F = (X . Y)

Portas Lgicas
Smbolos de portas lgicas IEEE

Reviso
Tpicos
Expresses lgicas Tabelas verdade Portas lgicas Conjuntos completos Portas lgicas NOR e NAND como portas universais Simplificao de portas lgicas

Leituras recomendadas e exerccios

Uyemura Monteiro