Diferencia entre revisiones de «Leyes de De Morgan»
Apariencia
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 80.58.205.35 (disc.) a la última edición de 190.37.212.159 |
||
Línea 3: | Línea 3: | ||
== Las leyes de De Morgan== |
== Las leyes de De Morgan== |
||
Las leyes |
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 \cup B) \Leftrightarrow (\lnot A) \cap (\lnot B)</math> |
Revisión del 14:28 2 jun 2009
Las leyes de De Morgan son una parte de la 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.
Prueba
Hay que utilizar las tablas de valores de verdad
V | V | V | F | F | F | F | |||
V | F | V | F | F | V | F | |||
F | V | V | F | V | F | F | |||
F | F | F | V | V | V | V |
Con proposiciones
La prueba utiliza la asociatividad y la distributividad de las leyes y .
- Verdad
- Si verdad por n