이거

28b9d932da836ef03def81e24388716ec6574f17d23269c42bc54905c1ef2c70d4f7


3개의 집합은 a~h 의 2^3= 8 영역을 나눔.
문제의 두 집합을 보라/파랑으로 색칠했음.

보면 a,e,c,g,h 다섯 부분은 보라색/파란색의 색칠이 반대인걸 관찰할 수 있음.

보라색이 색칠되어 있다면 파란색이 색칠되지 않았을거고
파란색이 색칠되어 있다면 보라색이 색칠되지 않았을거임

그런데 두 집합은 '같아야' 함.
즉, 색칠된 부분도 '같아야' 함.

따라서 그러한 영역.(보라색만 색칠되고 파란색은 색칠되지 않는 영역. 또는 그 반대의 영역)은 존재해선 안되는거임.




28b9d932da836ef03def81e24389746b5236389f0a7c030938a60a1064e0b93ae9c2

그런 부분을 x표시 하고 나타내면 위와 같음.


이 방법은 일반적으로 사용할 수 있음.
A=B
라면, A와 B가 일반적으로 나타낼 수 있는 모든 부분을 다 그린 다음 색칠이 '반대' 인 부분을 지워나가면 됨.

둘 다 색칠되지 않거나 둘 다 색칠된 영역은 세이프임.

다만 조심할 것은 집합이 4개 이상인 경우 벤다이어그램으로 나타내는 것 부터가 쉽지 않다는거