Você está na página 1de 22

Po

Álgebra de Boole e Simplificação de


Circuitos Lógicos
INSTITUTO FEDERAL
Postulados Fluminense
Campus Macaé
Itaperuna

• 1 – Postulado da Complementação

– Se
– Se

– Então Estabelecemos a seguinte identidade:


INSTITUTO FEDERAL
Postulados Fluminense
Campus Macaé
Itaperuna

• Postulado da adição:

1) 0+0=0
2) 0+1=1
3) 1+0=1
4) 1+1=1
INSTITUTO FEDERAL
Postulados Fluminense
Campus Macaé
Itaperuna

• Postulado da adição:

A+0=A
A+1=1
A+A=A
INSTITUTO FEDERAL
Postulados Fluminense
Campus Macaé
Itaperuna

• Postulado da multiplicação:

A.0=0
A.1=A
A.A=A
INSTITUTO FEDERAL
Propriedades Fluminense
Campus Macaé
Itaperuna

• Propriedade Comutativa

– Adição : A + B = B + A
– Multiplicação: A . B = B . A
INSTITUTO FEDERAL
Propriedades Fluminense
Campus Macaé
Itaperuna

• Propriedade Associativa

– Adição: A + (B + C) = (A + B) + C = A + B + C
– Multiplicação: A.(B.C) = (A.B).C = A.B.C
INSTITUTO FEDERAL
Propriedades Fluminense
Campus Macaé
Itaperuna

• Propriedade Distributiva

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

Podemos verificar construindo a tabela-verdade


INSTITUTO FEDERAL
Teoremas de De Morgan Fluminense
Campus Macaé
Itaperuna

• Os Teoremas de De Morgan são muito aplicados na


prática e no desenvolvimento de circuitos digitais.

• 1º Teorema de De Morgan
O complemento do produto é igual à soma dos
complementos
A B A.B A+B
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0
INSTITUTO FEDERAL
Teoremas de De Morgan Fluminense
Campus Macaé
Itaperuna

• 2º Teorema de De Morgan
O complemento da soma é igual ao produto dos
complementos.

Pode ser estendido para mais de duas variáveis:


INSTITUTO FEDERAL
Identidades Auxiliares Fluminense
Campus Macaé
Itaperuna

1ª A+A.B=A

Provamos essa identidade utilizando a propriedade


distributiva
A(1 + B) = A

Do postulado da soma temos 1 + B = 1;


Logo:
A . 1 = A ∴ A + AB = A
INSTITUTO FEDERAL
Identidades Auxiliares Fluminense
Campus Macaé
Itaperuna

2ª (A + B) . (A + C) = A + B.C

Vamos provar esta identidade:


(A+B).(A+C)

= A.A + A.C + A.B + B.C Propriedade distributiva


= A + A.C + A.B + B.C Identidade A.A = A
= A. (1 + B + C) + B.C Propriedade distributiva
= A.1 + B.C Identidades: 1+X=1 e A.1=A
∴ (A + B) . (A + C) = A + B.C
INSTITUTO FEDERAL
Identidades Auxiliares Fluminense
Campus Macaé
Itaperuna

Identidade
2º Teorema de De Morgan

1º Teorema de De Morgan
Propriedade distibutiva e
identidade
1º teorema de De Morgan
INSTITUTO FEDERAL
Simplificação de Expressões Booleanas Fluminense
Campus Macaé
Itaperuna

• Utilizaremos os conceitos aprendidos para


simplificar as expressões e, portanto, os
circuitos.

• Ex 1: Simplifique a expressão boleana a seguir


S = ABC + ABC + ABC + ABC + ABC
INSTITUTO FEDERAL
Simplificação de Expressões Booleanas Fluminense
Campus Macaé
Itaperuna

S = ABC + ABC + ABC + ABC + ABC


1 – Evidenciamos C
S = A.B.C + C.(A.B + A.B + A.B + A.B)

2 – Colocamos A em Evidência
S = A.B.C + C.[ A.(B+B) + A.(B+B)]
1 1

3 – Simplificamos usando a identidade X+X=1


INSTITUTO FEDERAL
Simplificação de Expressões Booleanas Fluminense
Campus Macaé
Itaperuna

S = A.B.C + C.[ A.1 + A.1]


1 1

4 – Usando a Identidade da multiplicação e da


adição (A + A) = 1

S = (A.B.C + C)
5 – Utilizando a Identidade X = X
INSTITUTO FEDERAL
Simplificação de Expressões Booleanas Fluminense
Campus Macaé
Itaperuna

S = (A.B.C + C)
6 – Aplicando o Teorema De Morgan: (X+Y) = X.Y

S = [(A.B.C) . C]

7 – Outro De Morgan em (A.B.C)


S = [(A+B+C) . C]
INSTITUTO FEDERAL
Simplificação de Expressões Booleanas Fluminense
Campus Macaé
Itaperuna

S = [(A+B+C) . C]
8 – Propiedade Distributiva

S = (AC + BC + CC)
9 – Identidade X.X = 0

S = (AC + BC)
INSTITUTO FEDERAL
Simplificação de Expressões Booleanas Fluminense
Campus Macaé
Itaperuna

S = (AC + BC)
10 – Colocar o C em Evidência

S = C.(A+B)
11 – Aplicar De Morgan

S = C + (A+B) – Último De Morgan


S = C + A.B
INSTITUTO FEDERAL
Simplificação de Expressões Booleanas Fluminense
Campus Macaé
Itaperuna

• Ex 2: Simplifique a expressão boleana a seguir


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

Dica: Fazer a Distributiva primeiro e depois


aplicar o teoremas.
INSTITUTO FEDERAL
Simplificação de Expressões Booleanas Fluminense
Campus Macaé
Itaperuna

Ex 3: A partir da Expressão S = (A . B), Obtenha S = A + B


INSTITUTO FEDERAL
Simplificação de Expressões Booleanas Fluminense
Campus Macaé
Itaperuna

Ex 4: Obtenha o circuito simplificado que executa a


expressão S = (A + B) [B.(A+C) + D.(A+B+C)]

Você também pode gostar