Disciplina:

Circuitos Digitais

Simplificao de expresses

Prof.a Dra. Carolina Davanzzo Gomes dos Santos

Email: profcarolinadgs@gmail.com
Pgina: profcarolinadgs.webnode.com.br

SIMPLIFICAO DE EXPRESSES
Circuitos lgicos correspondem a equaes booleanas, que
so extradas da tabela-verdade.

Construo de circuitos lgicos atravs de expresses

booleanas complexo.
Pode ser simplicado, reduzindo o custo diminuindo a
quantidade de blocos lgicos.

Relembrando.... Postulados
Postulado da Complementao
1) Se A = 0 A = 1
2) Se A = 1 A = 0
Identidade

A= A

Se A = 1 , temos: A = 0 e se A = 0 A = 1
Se A = 0 , temos: A = 1 e se A = 1 A = 0

Relembrando.... Postulados
Postulado da Adio
1) 0 + 0 = 0
2) 0 + 1 = 1
3) 1 + 0 = 1

Identidades:
A+0 = A
A= 0 0+0 = 0
A +1 = 1

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

4) 1 + 1 = 1
A+ A = A

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

A+ A =1

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

Relembrando.... Postulados
Postulado da Multiplio
1) 0 . 0 = 0
2) 0 . 1 = 0
3) 1 . 0 = 0

Identidades:
A0 = 0
A = 0 00 = 0
A 1 = A

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

4) 1 . 1 = 1
A A = A

A = 0 00 = 0
A = 1 1 1 = 1

A A = 0

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

Relembrando.... Propriedades
Propriedade Comutativa

Adio A + B = B + A
Multiplicao A B = B A
Propriedade Associativa

Adio A + (B + C ) = ( A + B ) + C = A + B + C
Multiplicao A (B C ) = ( A B ) C = A B C

Relembrando.... Propriedades
Propriedade Distributivva

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

A(B+C)

AB+AC

Teoremas de Morgan
So empregados para simplicar as expresses algbricas
booleanas.

Teorema 1
O complemento do produto igual soma dos complementos:

(A.B ) = A + B

A
0
0
1
1

B
0
1
0
1

A.B
1
1
1
0

A+ B
1
1
1
0

Teorema 1
Representao por blocos lgicos:

Teorema 2
O complemento da soma igual ao produto dos
complementos.

A + B = A.B

Como este teorema uma extenso do primeiro:

A aplicao deste teorema demonstrada pela equivalncia

entre blocos lgicos:

Identidades Auxiliares
A + A B = A
Para prov-la utilizamos a propriedade distributiva, evidenciando A

A (1 + B) = A
Do postulado da soma temos: 1+B =1

A 1 = A

A + A B = A

Identidades Auxiliares
( A + B ) ( A + C ) = A + B C
Provando a identidade:

( A + B ) ( A + C )
= A A + A C + A B + B C Pr opriedade _ distributi va
= A + A C + A B + B C Pr opriedade _ A A = A
= A (1 + B + C ) + B C Pr opriedade _ distributi va
= A 1 + B C Identidades : _ 1 + X = 1 _ e _ A 1 = A
( A + B ) ( A + C ) = A + B C

Identidades Auxiliares
A + AB = A + B

Provando a identidade:

A + AB = A + AB Identidade: X = X

= A AB 2 Teorema de Morgan: (X + Y ) = X Y

( )

[ ( )]
= (A A + A B )
= (A B )
= A A + B

1 Teorema de Morgan aplicado no parnteses

(X .Y ) = X + Y

Propriedade Distributiva e identidade: A A = 0

= (A + B)

1 Teorema de Morgan

A + AB = A + B

Quadro
Resumo

Simplificao de Expresses Booleanas

Exemplo 1:

S = ABC + AC + AB

( )

Primeiramente, envidenciamos o termo A: Chamando BC de Y, logo BC = Y

S = A BC + C + B

S = A Y +Y

Agora, aplica-se a propriedade associativa: Como Y + Y = 1, logo:

S = A BC + C + B

)]

Aplica-se a identidade: X

S = A 1 = A

=X

S = A BC + C + B

Aplica-se o Teorema de Morgan

( )]

S = A BC + BC

S=A

Simplificao de Expresses Booleanas

Exemplo 2: S

= A B C + A B C + A B C

Tirando A
C em evidencia nos dois primeiros termos:

S = AC B + B + A B C
Aplicando a identidade: B
+ B = 1

S = A C (1) + A B C
S = AC + A B C

Generalizando:
Expresso booleana de termos mnimos resulta da soma
de produtos.

Expresso booleana de termos mximos resulta do
produto das somas.

Equaes lgicas
Projeto tabela verdade expresso booleana do circuito
digital

Expresso booleana de soma de produtos

A expresso booleana
constitui-se num circuito de portas lgicas E-OU

A.B

A.B + A.B

A.B

Receita exemplo soma de produtos

Assim para a elaborao de um projeto lgico, deve-se:

Construir a tabela-verdade;

Determinar a partir da tabela-verdade, a expresso booleana

de termos mnimos (soma de produtos);

A partir da expresso booleana de termos mnimos,

esquematizar o circuito lgico.

As expresses booleanas podem ser tiradas de duas maneiras:

A partir dos uns de sada (termos mnimos ou soma de

produtos).

A partir dos zeros (termos mximos ou produto da soma).

Contudo, antes de extrair a expresso booleana de uma
tabela-verdade, convm vericar que mtodo oferece maior
facilidade: tirar a expresso pelos uns ou pelos zeros.

 Na tabela-verdade abaixo, mais fcil extrair a expresso

booleana pelos zeros (termos mximos ou produto da soma),
pois pelos uns a expresso booleana seria mais longa e mais
complexa.

Submetendo ao teorema de De Morgan:

Portanto, a expresso booleana de termos mximos

(produto de somas) ser:

O diagrama de blocos OU-E, a seguir a implementao da

expresso retirada da tabela-verdade.
A
B
C

Aplicao dos teoremas de De Morgan e

de equaes lgicas booleanas
As leis e as propriedades fundamentais da operao da lgebra
booleana permitem resolver problemas e projetos lgicos em
diversas reas.
Observao

Lembre-se de que os passos a serem seguidos para resolver um

problema lgico so:

A elaborao da tabela-verdade;
A extrao da equao lgica;
A execuo do circuito ou diagrama de blocos lgicos.