Saltar para o conteúdo

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

5 bytes removidos ,  17h24min de 11 de agosto de 2013
sem resumo de edição
== 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]] ===
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 DeMorganMorgan 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}}
Utilizador anónimo