Você está na página 1de 15

TEOREMA DE

MORGAN
ALUNO: TIAGO AUGUSTO DOS SANTOS OLIVEIRA 12212061

INTRODUO

Para adicionar lgebra de Boole e resolver alguns problemas trabalhosos nesta, o


matemtico britnico Augustus De Morgan (1806 1871) deu sua grande
contribuio no mbito da lgica matemtica, suas realizaes mais importantes
foram o lanamento das fundaes de relaes e a preparao do caminho para o
nascimento do que seria posteriormente chamado de lgica simblica.

TEOREMAS DE MORGAN
1 Teorema
O complemento de um produto igual soma dos complementos individuais.
(A . B) = A + B
O teorema pode ser estendido para mais de duas variveis:
(A . B . C N) = A + B + C + + N
O referido teorema poder ser provado montando-se duas tabelas verdade: uma do
primeiro membro e outra do segundo membro, e por fim, comparando-as.

TEOREMAS DE MORGAN

2 Teorema
O complemento da soma igual ao produto dos complementos.
Este teorema uma extenso do primeiro. Assim:
(A + B) = A . B
O teorema pode ser estendido para mais de duas variveis:
(A + B + C N) = A . B . C N

POSTULADOS & PROPRIEDADES


Na lgebra booleana h postulados (axiomas) a partir dos quais so
estabelecidas vrias propriedades
Existem vrias propriedades da negao (complemento, inversor),
adio (porta E) e soma (porta OU)
Estas propriedades podem ser verificadas como equivalncias
lgicas
Para demonstrar cada uma, basta utilizar as tabelas-verdade,
constatando a equivalncia

POSTULADOS
Complemento
Se A=0 ento =1
Se A=1 ento =0
Adio
0+0=0
0+1=1
1+0=1
1+1=1

POSTULADOS
Multiplicao
0.0=0
0.1=0
1.0=0
1.1=1
Notaes Alternativas
= A
=A
B.C = (B.C)

PROPRIEDADES
Propriedade Comutativa:
Adio: A + B = B + A
Multiplicao: A . B = B . A
Associativa:
Adio: A + (B + C) = (A + B) + C = A + B + C
Multiplicao: A . (B . C)

= (A . B) . C = ABC

Distributiva:
Adio: A+(B.C) = (A+B) . (A+C)
Multiplicao: A.(B+C) = A.B + A.C

IDENTIDADES AUXILIARES TEOREMA DE


MORGAN
1 Identidade
A + A.B = A
(1 membro) = (2 membro)
Demonstrao:
Aplicando-se o postulado do produto no 1 membro, temos:
A = A.1
Ento:
A + A.B
A.1 + A.B
Aplicando-se a propriedade distributiva no resultado acima, temos:
A.1 + A.B = A.(1 + B)
Aplicando-se o postulado da adio ao 2 membro da expresso acima, temos:
(1 + B) = 1

Ento:
A.(1 + B) = A . 1
Aplicando-se o postulado da multiplicao (PM2) ao 2 membro, temos:
A.1=A
Assim:
A + A.B = A

IDENTIDADES AUXILIARES
2 Identidade

(A + B).(A + C) = A + B.C
(1 membro) = (2 membro)
Demonstrao:

Aplicando-se a propriedade distributiva (PP5) no 1 membro, resulta:


A.A + A.C + B.A + B.C
Aplicando-se o postulado da multiplicao (PM3) no termo (A.A), temos:
A + A.C + B.A + B.C
Aplicando-se a propriedade comutativa (PP2) no terceiro termo (B.A), resulta:
A + A.C + A.B + B.C
Aplicando-se o postulado da multiplicao (PM2) no termo (A), temos:
A.1 + A.C + A.B + B.C

Aplicando-se o propriedade distributiva (PP5) e isolando-se A, resulta:


A.(1 + C + B) + B.C
Aplicando-se o postulado da adio (PA2) no termo (1 + C + B), temos:
A . 1 + B.C
Aplicando-se o postulado da multiplicao (PM2) no termo (A.1), resulta em:
A + B.C
Assim:
(A + B).(A + C) = A + B.C

EXEMPLO 1 SIMPLIFICAO DE
EXPRESSES BOOLEANAS
S = (A+B+C).(+B+C)

Aplicando a propriedade distributiva, temos:


0
= A. + A.B + A.C + .B + B.B + B.C + .C +0B.C + C.C
0
0
Usando as identidades X.X=0 e X.X=X:
0
1
= A.B + A.C + .B + B.C + .C + B.C + C
0
1
Colocando C em evidncia temos:
1
0
= A.B + C.(A + B + + B + 1) + .B
1
0
Usando as identidades X+1=1 e X.1=X, obtemos:
1
1
= A.B + B. + C
1
1
Usando a porta lgica Exclusivo obtemos o resultado final:
= (A B) + C

A+B+
C

+B
+C

EXEMPLO 2 - SIMPLIFICAO DE
EXPRESSES BOOLEANAS
S = A.B.C + A.C + A.B

A.B.C

A.C

A.B

Colocando o A em evidncia temos:

= A (B.C + C + B)

Aplicando a propriedade associativa, temos:0

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

Aplicando a identidade X = X, temos:

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

Aplicando o teorema de Morgan:


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

Usando a porta lgica obtemos o resultado final:


S = (B coincidncia C) . A

OBRIGADO!!!!!!!!!!