ド・モルガンの法則
In electrical and computer engineering, De Morgan's laws are commonly written as: