Beruflich Dokumente
Kultur Dokumente
MORGAN
ALUNO: TIAGO AUGUSTO DOS SANTOS OLIVEIRA 12212061
INTRODUO
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
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
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:
EXEMPLO 1 SIMPLIFICAO DE
EXPRESSES BOOLEANAS
S = (A+B+C).(+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
= A (B.C + C + B)
= A [B.C + (C + B)]
= A [B.C + (C + B)
OBRIGADO!!!!!!!!!!