Teoremas de De Morgan: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
bot: revertidas edições de 62.28.211.50 ( modificação suspeita : -15), para a edição 50062605 de 201.47.163.77 |
|||
Linha 1:
Os teoremas
Sendo <math> X, Y \in \{0, 1\}</math> e as operações em <math>\{0, 1\}</math> sendo <math> +, \cdot</math> e <math>\overline{\ } ,</math> assim definidas:
Linha 25:
=== Lógica booleana na [[eletrônica digital]] ===
# <math>\overline{X \cdot Y}=\overline{X}+\overline{Y}</math>
# <math>\overline{X+Y}=\overline{X}\cdot\overline{Y}</math>
# O complemento, ou negação de um produto ([[Porta AND|AND]]) de variáveis é igual a soma([[Porta OR|OR]]) dos complementos das variáveis.<ref name="sistemas">FLOYD, Thomas L.; Sistemas digitais: Fundamentos e aplicação, 9ª ed, página 250, Bookman, 2007, Porto Alegre</ref>
| |||