De Morgan's laws are a set of two rules in mathematical logic that relate the logical connectives "and", "or", and "not". They were first described by Augustus De Morgan in 1847. The first law states that the negation of a conjunction is the disjunction of the negations of the conjuncts.
Unlocking the Enigma of Augustus De Morgan: A Quiz on the Trailblazing Mathematician and Philosopher