De Morgan's laws are two important rules of Boolean algebra, relating the logical operators AND and OR in terms of each other via negation.
