Teoremas de De Morgan: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 19:
=== [[Lógica proposicional]] ===
# <math>\lnot(X \land Y) \leftrightarrow (\lnot X)\lor (\lnot Y)</math>
=== [[Lógica booleana]] ===
| |||
Linha 19:
=== [[Lógica proposicional]] ===
# <math>\lnot(X \land Y) \leftrightarrow (\lnot X)\lor (\lnot Y)</math>
=== [[Lógica booleana]] ===
| |||