ド・モルガンによって提唱された論理代数の定理．たとえば正論理のANDは負論理のORと，負論理のANDは正論理のORと，それぞれ等価である．