수학자 ‘오거스터스 드 모르간’의 이름을 따서 지은 이름으로 집합론이나 수리 논리학에서 교집합(논리곱), 집합의 모든 부분(논리합), 여집합(부정) 연산 간의 관계를 정리한 것이다. 구체적으로는 ‘(A∪B)^c =A^c∩B^c’와 ‘(A∩B)^c=A^c∪B^c’의 등식 두 개를 말한다. 개념적으로 설명하면 두 집합의 교집합(합집합)의 여집합은 각각의 여집합의 합집합(교집합)과 같다는 것이다.