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

73 bytes removidos ,  14h43min de 25 de julho de 2013
m (Bot: A migrar 30 interwikis, agora providenciados por Wikidata em d:Q173300)
=== [[Lógica proposicional]] ===
# <math>\lnot(X \land Y) \leftrightarrow (\lnot X)\lor (\lnot Y)</math>
# <math>\lnot(X \lor Y) \leftrightarrow (\lnot X) \land (\lnot Y)</math>
 
=== [[Lógica booleana]] ===
Utilizador anónimo