De Morgan's Laws/Historical Note

Augustus De Morgan proposed what are now known as De Morgan's laws in $1847$, in the context of logic.