Leyes de De Morgan

De Wikipedia, la enciclopedia libre

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).

[editar] 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.

$\lnot(A \cup B) \Leftrightarrow (\lnot A) \cap (\lnot B)$

$\lnot(A \cap B) \Leftrightarrow (\lnot A) \cup (\lnot B)$

[editar] Prueba

Hay que utilizar las tablas de valores de verdad

$\lnot (A \cup B) \leftrightarrow (\lnot A) \cap (\lnot B)$
$A$	$B$	$A \cup B$	$\lnot (A \cup B)$	$\lnot A$	$\lnot B$	$(\lnot A) \cap (\lnot B)$
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