De Morgan's laws
In electrical and computer engineering, De Morgan's laws are commonly written as: