Diferencia entre revisiones de «Leyes de De Morgan»
Contenido eliminado Contenido añadido
Deshecha la edición 38272256 de 186.109.159.163 (disc.) |
|||
Línea 1:
Las '''leyes de Morgan''' son una parte de la [[lógica proposicional|Lógica proposicional y analítica]] ,y fue creada por [[Augustus De Morgan]] (Madura,1806-Londres,1871).
== Las leyes de De Morgan ==
Las leyes de De Morgan declaran que la suma de n variables globalmente negadas (o invertidas) es igual al producto de las n variables negadas individualmente; y que inversamente, el producto de n variables globalmente negadas es igual a la suma de las n variables negadas individualmente.
<math>\lnot(A \cup B) \Leftrightarrow (\lnot A) \cap (\lnot B)</math>
<math>\lnot(A \cap B) \Leftrightarrow (\lnot A) \cup (\lnot B)</math>
== Prueba ==
Hay que utilizar las [[Tabla de valores de verdad|tablas de valores de verdad]]
{| border cellspacing="0"
|- style = "text-align:center"
| colspan="10"|<math>\lnot (A \cup B) \leftrightarrow (\lnot A) \cap (\lnot B)</math>
|- style="text-align:center"
|width="30"|<math>A</math>||width="30"|<math>B</math>||width="60"|<math>A \cup B</math>||width="120"|<math>\lnot (A \cup B)</math>||width="60"|<math>\lnot A</math>||width="60"|<math>\lnot B</math>||width="240"|<math>(\lnot A) \cap (\lnot B)</math>
|- style="text-align:center"
|V||V||V||F||F||F||F
|- style="text-align:center"
| |||