Sei sulla pagina 1di 24

lgebra de Boole

Nikolas Libert

Aula 4B
Eletrnica Digital ET52C
Tecnologia em Automao Industrial
lgebra de Boole

lgebra de Boole

Augustus De Morgan (1806-1871) e George Boole


(1815-1864).
Desenvolvimento de uma lgebra para representao
de situaes lgicas de forma simples.

DAELT Nikolas Libert 2


lgebra de Boole

Variveis booleanas.
Representadas atravs de letras, podendo assumir
dois valores (0 ou 1).
Expresso booleana.
Sentena matemtica que opera sobre variveis
booleanas.

DAELT Nikolas Libert 3


Postulados da lgebra Booleana

Postulados da lgebra Booleana

Postulado da Complementao.
A chamado de complemento de A.
Se A = 0 A = 1.
Se A = 1 A = 0.
Implica na seguinte identidade: A = A.

DAELT Nikolas Libert 4


Postulados da lgebra Booleana

Postulado da Adio.
Define as regras do operador +.
0 + 0 = 0.
0 + 1 = 1.

1 + 0 = 1.

1 + 1 = 1.

Estabelece as seguintes identidades.


A + 0 = A.
A + 1 = A.
A + A = A.
A + A = 1.

DAELT Nikolas Libert 5


Postulados da lgebra Booleana

Postulado da Multiplicao.
Define as regras do operador ..
0 . 0 = 0.
0 . 1 = 0.

1 . 0 = 0.

1 . 1 = 1.

Estabelece as seguintes identidades.


A . 0 = 0.
A . 1 = A.
A . A = A.
A . A = 0.

DAELT Nikolas Libert 6


Propriedades da lgebra Booleana

Propriedades da lgebra Booleana

Propriedade Comutativa.
Soma: A + B = B + A.
Produto: A . B = B . A.
Propriedade Associativa.
Soma: A + (B + C) = (A + B) + C = A + B + C.
Produto: A . (B . C) = (A . B) . C = A . B . C.
Propriedade Distributiva.
A . (B + C) = A . B + A . C
DAELT Nikolas Libert 7
Teoremas de De Morgan

Teoremas de De Morgan

Importantes para simplificao de circuitos lgicos.


1 Teorema.
O complemento do produto a soma dos
complementos.
A.B=A+B A B A.B A+B
0 0 1 1
A . B . () . N = A + B + () + N
0 1 1 1
1 0 1 1
1 1 0 0

DAELT Nikolas Libert 8


Teoremas de De Morgan

2 Teorema.
O complemento da soma o produto dos
complementos. A B A+B A.B
A+B=A.B 0 0 1 1
0 1 0 0
A + B + () + N = A . B . () . N 1 0 0 0
1 1 0 0

Consequncia prtica dos teoremas.

= 1 Teorema

= 2 Teorema

DAELT Nikolas Libert 9


Identidades Auxiliares

Identidades Auxiliares

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

DAELT Nikolas Libert 10


Simplificao de Expresses Booleanas

Simplificao de Expresses Booleanas

A lgebra de Boole permite a simplificao de


expresses lgicas e consequentemente, de circuitos
que as representem.
Exemplo: Simplifique a expresso S = ABC + AB + AC
S = A.(BC + B + C) = A.(BC + (B+C)) =
A.(BC + (B+C)) = A.(BC + BC) = A.1 = A

DAELT Nikolas Libert 11


Expresses que Representam uma Tabela Verdade

Expresses que Representam uma


Tabela Verdade
Dada uma tabela verdade, possvel a obteno da
expresso lgica que a representa analisando-se as
condies que tornam a sada verdadeira ou falsa.
Quando retiradas da tabela verdade de forma direta,
as expresses se encontram num formato chamado
de cannico.
Expresses cannicas nem sempre se encontram na
representao mais simples.

DAELT Nikolas Libert 12


Expresses que Representam uma Tabela Verdade

Anlise das condies de sada verdadeira.


A B C S A sada ser verdadeira se as condies
0 0 0 1
C0 OU C2 OU C5 forem verdadeiras:
C0
S = C0 + C2 + C5
0 0 1 0
0 1 0 1 C2 O que torna a condio C0 verdadeira?
0 1 1 0 - As entradas A E B E C devem ser
falsas. C0 = A.B.C
1 0 0 0
1 0 1 1 C5 C2 = A.B.C
1 1 0 0 C5 = A.B.C
1 1 1 0
Logo: S = A.B.C + A.B.C + A.B.C

Devido ao formato da expresso de sada, este mtodo


chamado de mtodo da soma de produtos ou SOP
(Sum of Products).
DAELT Nikolas Libert 13
Expresses que Representam uma Tabela Verdade

Exerccio: utilizando lgebra de Boole simplifique a


expresso obtida S = A.B.C + A.B.C + A.B.C.

S = A.C + A.B.C

DAELT Nikolas Libert 14


Expresses que Representam uma Tabela Verdade

Anlise das condies de sada falsa.


A B C S A sada ser falsa se as condies C1
0 0 0 1
OU C3 OU C4 OU C6 OU C7 forem
verdadeiras: S = C1 + C3 + C4 + C6 + C7
0 0 1 0 C1
0 1 0 1 O que torna a condio C1 verdadeira?
0 1 1 0 C3 - As entradas NO A E NO B E C
devem ser verdadeiras. C1 = A.B.C
1 0 0 0 C4
1 0 1 1 C3 = A.B.C
1 1 0 0 C6 C4 = A.B.C
1 1 1 0 C7
C6 = A.B.C
C7 = A.B.C

Logo: S = A.B.C + A.B.C + A.B.C + A.B.C + A.B.C

DAELT Nikolas Libert 15


Expresses que Representam uma Tabela Verdade

Anlise das condies de sada falsa.


A B C S S = A.B.C + A.B.C + A.B.C + A.B.C + A.B.C
0 0 0 1
0 0 1 0 Negando os dois lados da expresso obtida:
0 1 0 1 S = A.B.C + A.B.C + A.B.C + A.B.C + A.B.C
0 1 1 0
1 0 0 0
Aplicando De Morgan:
1 0 1 1
S = (A.B.C).(A.B.C).(A.B.C).(A.B.C).(A.B.C)
1 1 0 0
1 1 1 0
Aplicando De Morgan:
S = (A+B+C).(A+B+C).(A+B+C).(A+B+C).(A+B+C)
Devido ao formato da expresso de sada, este mtodo
chamado de mtodo do produto das somas ou POS
(Product of Sums).
DAELT Nikolas Libert 16
Expresses que Representam uma Tabela Verdade

Resultado por SOP e POS.


Produto das Somas (POS):

S = (A+B+C).(A+B+C).(A+B+C).(A+B+C).(A+B+C)
A B C S Soma de Produtos (SOP):
0 0 0 1
0 0 1 0 S = A.B.C + A.B.C + A.B.C
0 1 0 1
0 1 1 0 Nesse caso, a representao por soma de
1 0 0 0 produtos vantajosa.
1 0 1 1
1 1 0 0
1 1 1 0

DAELT Nikolas Libert 17


Expresses que Representam uma Tabela Verdade

Exerccio: Obtenha as expresses SOP e POS que


representam a tabela verdade abaixo e simplifique a
SOP.
A B C S
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0

S = A B + AC + ABC

DAELT Nikolas Libert 18


Exemplo de Projeto
Trs aparelhos de som devem ser conectados a um nico amplificador.
Caso mais de um aparelho esteja ligado, o amplificador dever receber
o sinal de um dos trs de acordo com a seguinte lista de prioridades:
Prioridade 1: Toca-discos. Toca-discos Toca-fitas Rdio FM
Prioridade 2: Toca-fitas. A B C
Prioridade 3: Rdio FM. X Y Z

Amplificador

Escreva a tabela verdade de um sistema digital de trs entradas e trs


sadas que determina qual aparelho conectado ao amplificador.
As variveis de entrada so A, B e C e indicam quais equipamento
esto ligados.
As variveis de sada so X, Y e Z e indicam qual equipamento est
conectado ao amplificador. Apenas uma sada pode ser ativada
simultaneamente.
DAELT Nikolas Libert 19
Exemplo de Projeto
Toca-discos Toca-fitas Rdio FM
A B C

X Y Z
A B C X Y Z
0 0 0 0 0 0 Amplificador
0 0 1 0 0 1
0 1 0 0 1 0 A: Toca-discos ligado.
B: Toca-fitas ligado.
0 1 1 0 1 0 C: Rdio FM ligado.
1 0 0 1 0 0
X: Toca-discos conectado
1 0 1 1 0 0 ao amplificador.
1 1 0 1 0 0 Y: Toca-fitas conectado
1 1 1 1 0 0 ao amplificador.
Z: Rdio FM conectado
ao amplificador.

Obtenha as 3 expresses SOP que representam o sistema.

DAELT Nikolas Libert 20


Exemplo de Projeto

A B C X Y Z
0 0 0 0 0 0 X = A.B.C + A.B.C + A.B.C + A.B.C
0 0 1 0 0 1
0 1 0 0 1 0 Y = A.B.C + A.B.C
0 1 1 0 1 0
1 0 0 1 0 0
Z = A.B.C
1 0 1 1 0 0
1 1 0 1 0 0
1 1 1 1 0 0

Utilizando lgebra de Boole, simplifique as expresses


encontradas.

DAELT Nikolas Libert 21


Exemplo de Projeto

X = A.B.C + A.B.C + A.B.C + A.B.C


X = A.(B.C + B.C + B.C + B.C)
X = A.(B.(C + C) + B.(C + C))
X = A.(B + B)
X=A

Y = A.B.C + A.B.C
Y = A.B.(C + C)
Y = A.B

Z = A.B.C

DAELT Nikolas Libert 22


Exerccio

Desenhe o circuito abaixo utilizando apenas portas


NO E.
A B

DAELT Nikolas Libert 23


Referncias

IDOETA, I. V., CAPUANO, F. G. Elementos de


Eletrnica Digital, 41 Edio, rica, So Paulo, 2013.

DAELT Nikolas Libert 24

Potrebbero piacerti anche