Saltar para o conteúdo

Diferenças entre edições de "Teoremas de De Morgan"

5 bytes adicionados ,  18h05min de 11 de agosto de 2013
m
Desfeita a edição 36646459 de 177.177.25.147 +correções automáticas (v0.36/3.1.33)
m (Desfeita a edição 36646459 de 177.177.25.147 +correções automáticas (v0.36/3.1.33))
== As leis ==
Considere X e Y como variáveis booleanas ou proposições cuja resposta seja {Sim, Não} ou {Verdadeiro, Falso} ou ainda {0,1}.
Seguem as leis de De Morgan conforme algumas notações possíveis:
 
=== [[Lógica proposicional]] ===
<math> = (Y + Z + 1)\cdot(X + Z + 1)\cdot(X + Y + 1)= 1\cdot1\cdot1 = 1</math>
 
primeiro usamos a propriedade distributiva do operador <math>+,</math> depois a propriedade comutativo (passo não mostrado), então vemos a soma de elementos complementares <math>X + \overline{X} = 1.</math>
 
b) <math> (X+Y+Z)\cdot(\overline{X}\cdot\overline{Y}\cdot\overline{Z}) = X\cdot\overline{X}\cdot\overline{Y}\cdot\overline{Z} + Y\cdot\overline{X}\cdot\overline{Y}\cdot\overline{Z} + Z\cdot\overline{X}\cdot\overline{Y}\cdot\overline{Z} = 0 + 0 + 0 = 0</math>
Primeiro usamos a propriedade distributiva do operador <math>\cdot,</math> depois usamos a propriedade de comutatividade (esse passo não foi mostrado), então usamos a propriedade de elementos complementares <math>X\cdot\overline{X} = 0</math>
 
Os teoremas de De Morgan são usados para provar que toda [[lógica booleana]] pode ser criada somente com [[Porta lógica|portas lógicas]] [[Lógica NAND|NAND]] ou [[NOR]].
 
{{referências}}