leyes de De Morgan
Las leyes de De Morgan son una parte de la lógica proposicional y analítica creada por Agustus DeMorgan, matemático y lógico británico conocido por proponer estas leyes y ser el primer presidente de la Sociedad Matemática de Londres. Estas leyes dicen que: "La negación de una conjunción equivale a la disyunción de las negaciones." "La negación de una disyunción equivale a la conjunción de las disyunciones." Comentario personal Estas leyes son de suma importancia ya que nos ayudan a comprender de mejor manera las conjunciones y disyunciones.