El lógico del siglo XIX descubrió 2 equivalencias lógicas que desde entonces llevan su nombre. (Augustus 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.