[출제의도] 조건을 만족시키는 집합에 속하는 원소의 합의 최댓값과 최솟값을 추론한다.
전체집합 U={1,2,3,4,5,6,7,8}의 원소 중에서 조건 (다)를 만족시키는 a∈A, b∈B를 순서쌍 (a,b)로 나타내면 다음과 같다.
(1,1), (2,5), (3,2), (4,6),
(5,3), (6,7), (7,4), (8,8)
따라서 1과 8은 집합 A−B의 원소가 아니다.
p∈A−B(p=1, p=8)이면
(p,q)∈{(2,5),(3,2),(4,6),(5,3),(6,7),(7,4)}인 q가 집합 B에 존재한다.
q∈B−A 또는 q∈A∩B
그런데 q∈A∩B인 경우에는
(q,r)∈{(2,5),(3,2),(4,6),(5,3),(6,7),(7,4)}인 r가 집합 B−A에 존재하게 된다.
그러므로 r=1, r=8
한편 p=1, p=8이므로
1과 8은 집합 B−A의 원소가 될 수 있다.
따라서 n(A−B)≤n(B−A)
n(A−B)=2, n(A∪B)=5이므로
n(B−A)=2 또는 n(B−A)=3
(ⅰ) 집합 B−A에 속하는 모든 원소의 합의 최댓값을 구하기 위해 n(B−A)=3인 경우를 생각하자.
8은 집합 B−A의 원소가 될 수 있으므로 8∈B−A
n(A−B)=2, n(B−A)=3이고 8∈B−A이므로
7이 집합 B−A의 원소가 되려면 6∈A−B이다.
그러므로 7∈B−A이면 6∈/B−A
5가 집합 B−A의 원소가 되려면 2∈A−B이다.
A−B={2,6}, B−A={5,7,8}일 때, 집합 B−A에 속하는 모든 원소의 합이 최대가 된다.
그러므로 최댓값은 5+7+8=20

(ⅱ) 집합 B−A에 속하는 모든 원소의 합의 최솟값을 구하기 위해 n(B−A)=2인 경우를 생각하자.
n(A−B)=2, n(B−A)=2이므로
1∈/B−A
2가 집합 B−A의 원소가 되려면 3∈A
그러므로 2∈B−A이면 3∈/B−A
4가 집합 B−A의 원소가 되려면 7∈A이다.
B−A={2,4}일 때, 집합 B−A에 속하는 모든 원소의 합이 최소이다.
그러므로 최솟값은 2+4=6
실제로 집합 B−A에 속하는 모든 원소의 합의 최솟값이 6인 경우는 다음 그림의 4가지이다.




따라서 M=20, m=6이므로
M+m=26