Byl'''Augustus toDe Morgan''' byl britský matematik,terý který představil formální verzyverze zákonů v klasické [[výroková logika|výrokové logice]]. De MorganuvMorganův zápis byl ovlivněn alegebrarickou logikou vymyšlenou [[George Boole|Georgem Boolem]], který se později žádalpřihlásil o častčást zásluh na techtotěchto logických zákonech. Ačkoliv byla podobná pozorování zapsanázapsána již [[Aristotelus|AristotelemAlthoughAristotelem]] a byly znamiznámy už ve starém řeckuŘecku a ve středověku<ref>Bocheński's ''History of Formal Logic''</ref>, DeMorgan jim dodal formálníklasickou formu a zavedl tím matematickou řeč prodo matematické logikulogiky. DeMorganovy zákony sejsoou lehkolehce dokážídokazatelné a mohou se zdátjevit triviálnítriviálními.<ref>[http://www.engr.iupui.edu/~orr/webpages/cpt120/mathbios/ademo.htm Augustus DeMorgan (1806 -1871)] by Robert H. Orr</ref> Nicméně, tyto zákony jsou užitečné pro důkazy platnosti závěrů a pro deduktivní úlohy.
