28/04/13

Teoremas de De Morgan Wikipdia, a enciclopdia livre

Teoremas de De Morgan
Origem: Wikipdia, a enciclopdia livre.

Os teoremas do matemtico De Morgan so propostas de simplificao de expresses em lgebra booleana de

grande contribuio. Definem regras usadas para converter operaes lgicas OU em E e vice versa.
Sendo

e as operaes em

sendo

assim definidas:

Operao lgica Smbolo Exemplos

Ou

No

ndice
1 As leis
1.1 Lgica proposicional
1.2 Lgica booleana
1.3 Lgica booleana na eletrnica digital
1.4 Textual
1.5 Generalizao
2 Prova
3 Referncias
4 Ligaes externas

As leis
Considere X e Y como variveis booleanas ou proposies cuja resposta seja {Sim, No} ou {Verdadeiro,
Falso} ou ainda {0,1}. Seguem as leis de De Morgan conforme algumas notaes possveis:

Lgica proposicional
1.
2.
pt.wikipedia.org/wiki/Teoremas_de_De_Morgan

1/4

28/04/13

Teoremas de De Morgan Wikipdia, a enciclopdia livre

Lgica booleana
1.
2.

Lgica booleana na eletrnica digital

1.
2.
3. O complemento, ou negao de um produto (AND) de variveis igual a soma(OR) dos complementos
das variveis.1
4. O complemento, ou negao de uma soma (OR) de variveis igual ao produto (AND) dos
complementos das variveis.1
A figura 1.1 mostra o circuito que representa o 1. Teorema e a tabela abaixo representa sua respectiva tabela
verdade.

1.1 Teorema

X Y
0 0 1

0 1 1

1 0 1

1 1 0

A figura 1.2 mostra o circuito que representa o 1. Teorema e a tabela abaixo representa sua respectiva tabela
verdade.
X Y
0 0 1

0 1 0

1 0 0

1 1 0

Observada a equivalncia na sada das tabelas, isto prova o mesmo comportamento lgico.
Considere a seguinte expresso:2
pt.wikipedia.org/wiki/Teoremas_de_De_Morgan

2/4

28/04/13

Teoremas de De Morgan Wikipdia, a enciclopdia livre

1.2 Teorema

Aplicando os teoremas de De Morgan:

Textual
1. No (X E Y) = No (X) Ou No (Y)
2. No (X Ou Y) = No (X) E No (Y)

Generalizao
A ideia que ao "aplicar" a barra (operador No) sobre uma outra operao, esta muda seu sinal, restando
uma barra para cada membro da operao. Exemplos:

Prova
Se de fato

ento:

1.
2.
a)

primeiro usamos a propriedade distributiva do operador

depois a propriedade comutativo (passo no
mostrado), ento vemos a soma de elementos complementares
b)

pt.wikipedia.org/wiki/Teoremas_de_De_Morgan

3/4

28/04/13

Teoremas de De Morgan Wikipdia, a enciclopdia livre

Primeiro usamos a propriedade distributiva do operador depois usamos a propriedade de comutatividade

(esse passo no foi mostrado), ento usamos a propriedade de elementos complementares
Os teoremas de DeMorgan so usados para provar que toda lgica booleana pode ser criada somente com
portas lgicas NAND ou NOR.

Referncias
1. a b FLOYD, Thomas L.; Sistemas digitais: Fundamentos e aplicao, 9 ed, pgina 250, Bookman, 2007,
Porto Alegre
2. TOCCI, Ronald; Sistemas digitais: princpios e aplicaes, Ronald J. Tocci, Neal S. Widmer, Gregory L.
Moss, pgina 65, Pearson Education, So Paulo-SP, 2007.

Ligaes externas
O Teorema de De Morgan
(http://www.eletronica24h.com.br/Curso%20Digital/aparte1/DeMorgan/demorgan.htm)
Obtida de "http://pt.wikipedia.org/w/index.php?title=Teoremas_de_De_Morgan&oldid=34802173"
Categorias: Teoremas de matemtica Lgica lgebra
Esta pgina foi modificada pela ltima vez (s) 17h54min de 26 de maro de 2013.
Este texto disponibilizado nos termos da licena Atribuio-Partilha nos Mesmos Termos 3.0 no
Adaptada (CC BY-SA 3.0); pode estar sujeito a condies adicionais. Consulte as condies de uso
para mais detalhes.

pt.wikipedia.org/wiki/Teoremas_de_De_Morgan

4/4