Saltar para o conteúdo

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

224 bytes adicionados ,  23h48min de 4 de março de 2019
m
Desfeita(s) uma ou mais edições de 188.37.24.58, com Reversão e avisos
m (Desfeita(s) uma ou mais edições de 188.37.24.58, com Reversão e avisos)
|}
 
== As teoremasleis ==
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>\lnot(X \land Y) \leftrightarrow (\lnot X)\lor (\lnot Y)</math>
 
=== [[Lógica booleana]] ===
# <math>\overline{X \cup Y}\leftrightarrow\overline{X} \cap \overline{Y}.</math>
# <math>\overline{X \cap Y}\leftrightarrow\overline{X} \cup \overline{Y}</math>
 
=== 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>
# O complemento, ou negação de uma soma ([[Porta OR|OR]]) de variáveis é igual ao produto ([[Porta AND|AND]]) dos complementos das variáveis.<ref name="sistemas" />
 
A figura 1.1 mostra o circuito que representa o 1. Teorema e a tabela abaixo representa sua respectiva tabela verdade.
124 436

edições