ド・モルガンの法則
It is one of the so called three laws of thought, along with its complement, the law of excluded middle, and the law of identity. However, no system of logic is built on just these laws, and none of these laws provide inference rules, such as modus ponens or De Morgan's laws.