Quem criou a lei De Morgan?

A Origem e o Impacto das Leis de Morgan

No universo da lógica matemática e da ciência da computação, poucas regras são tão fundamentais quanto as chamadas Leis de Morgan. Mas você já se perguntou quem esteve por trás dessa descoberta que simplifica expressões lógicas complexas até hoje? A resposta nos leva ao século XIX, diretamente para o trabalho do ilustre matemático e lógico inglês Augustus De Morgan (1806–1871).

Nascido na Índia e radicado na Inglaterra, De Morgan foi um contemporâneo de George Boole e desempenhou um papel crucial na formalização da lógica matemática. Ele percebeu que a negação de conjunções e disjunções seguia um padrão fixo e elegante. O seu trabalho permitiu dividir esses conceitos no que hoje conhecemos detalhadamente como as Primeiras Leis de Morgan e as Segundas Leis de Morgan.

Na prática, o que Augustus De Morgan provou é que a negação de uma contradição ou de uma união pode ser convertida de forma direta. Por exemplo, dizer que "não é verdade que A e B acontecem ao mesmo tempo" é o mesmo que afirmar que "A não acontece ou B não acontece". Da mesma forma, negar que "A ou B acontece" equivale a dizer que "A não acontece e B não acontece".

Embora pareça apenas um jogo de palavras, essa estrutura transformou a forma como os computadores processam dados. O legado de Augustus De Morgan vai muito além dos livros de história; ele está presente em cada linha de código de programação que roda nos softwares atuais, simplificando circuitos elétricos e garantindo a eficiência dos algoritmos modernos.