Augustus de morgan

Solo disponible en BuenasTareas
  • Páginas : 2 (451 palabras )
  • Descarga(s) : 0
  • Publicado : 18 de mayo de 2011
Leer documento completo
Vista previa del texto
Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871) fue un matemático
y lógico inglés nacido en la India. Profesor de matemáticas en el Colegio Universitario
de Londres entre 1828 y1866; primer presidente de la Sociedad de Matemáticas de
Londres. De Morgan se interesó especialmente por el álgebra. Fue tutor de Ada
Lovelace. Escribió varias obras de lógica en las que se encuentrala idea de aplicar en
esta esfera los métodos matemáticos, así como los primeros resultados de tal aplicación.
En la moderna lógica matemática, llevan el nombre de De Morgan las siguientes leyesfundamentales del álgebra de la lógica: «lanegac ión de laconjun ción es equivalente a
ladisyunc ión de lasnegaciones»; «lanegación de ladisyunción es equivalente a la
conjunción de las negaciones».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 queinversamente, el producto de n variables globalmente negadas es igual a la suma de las n variables negadas individualmente.

[editar] Demostración formal
si y solo si y .
para cualquier x: ó
ó

Por lotanto
inclusión:

ó

PROCESO DE TRABAJO
1º LEY DE MORGAN
A | B | C | - A | - B | -C | X | Y |
0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
0 | 1 | 0 | 1 | 0 | 1 |1 | 1 |
0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |
1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
A * B * C = A + B + CX = A * B * C
Y = A + B + C
2º LEY DE MORGAN
A | B | C | - A | - B | -C | X | Y |
0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 |
0 |1 | 1 | 1 | 0 | 0 | 1 | 1 |
1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 |
1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |
A * B * C = A + B + C
X = A * B...
tracking img