Leyes de D Morgan

Se conoce con el nombre de Leyes de Morgan a dos postulados,

emitidos en su momento por el matemtico britnico Augustus de
Morgan, y que se basan principalmente en declarar la equivalencia
que puede existir entre dos proposiciones lgicamente
equivalentes. En este sentido, las Leyes de Morgan habran sido
establecidas a fin de permitirle al matemtico la posibilidad
de cambiar el operador de conjuncin a un operador de disyuncin,
as tambin como su proceso contrario, por medio del cual el
matemtico podra cambiar el operador de disyuncin por un
operador de conjuncin, tanto si estas conjunciones y disyunciones
son afirmadas o negadas, de forma absoluta o en algunas de sus
partes.

Por lo general la Lgica proposicional tambin hace uso de las

proposiciones P y Q para expresar formalmente las Leyes de
Morgan, dndole entonces un valor a cada signo, teniendo por
consiguiente que cada uno equivale al siguiente concepto:
considerado el operador de negacin, con su equivalente No
considerado el operador de conjuncin, con su equivalente Y
considerado el operador de disyuncin (O)-
<=> considerado como el equivalente a puede ser reemplazado.

Se dice que las leyes de Morgan son dos:

La negacin de la conjuncin es la disyuncin de las

negaciones.
 La negacin de la disyuncin es la conjuncin de las
negaciones.

Las reglas pueden ser expresadas en un lenguaje formal con dos

proposiciones P y Q, de esta forma:

No obstante, estas mismas fuentes sealan que tambin existe una

expresin informal de las Leyes de Morgan, la cual tomara la
siguiente forma:
No (A y B) es equivalente o igual que (no A) o (no B