출처 : 위키피디아 집합에서 드 모르간의 정리는 집합의 연산에서 자주 쓰이는 정리입니다. 드 모르간의 정리 (De Morgan's theorem) 임의의 두 집합 A, B에 대해서 , 처음 드 모르간의 정리를 외울때 c로 표현되는 여집합 기호가 괄호 안으로 들어가면서 괄호안의 집합에 여집합 기호 c를 붙이고 합집합은 교집합으로 ( ∪ => ∩ ), 교집합은 합집합으로 ( ∩ => ∪ ) 바꾼다고 외운 기억이 납니다. ^^ 첫번째 식부터 보도록 하겠습니다. 등호 왼쪽의 는 ( A ∪ B )의 여집합 즉 ( A ∪ B )에 들어가지 않는 원소들의 집합이므로 벤 다이어그램으로 다음과 같이 나타나게 됩니다. A에도 포함되지 않고 B에도 포함되지 않아야 하죠? 즉 A의 여집합과 B의 여집합의 교집합이 되는 것이죠..
