[황재동]

ex)

A = ( 1 2 3 mustAnd (Except 1 2 3 4 5) ) mustAnd (4 5)

[황재동]

또한,

and
와
common의 차이를 잘 모르겠습니다.

두 조건에 공통된 선물이 common이고

두 조건모두 만족하는 것이 and 인데

두 조건에 공통 되는 것은 두 조건을 모두 만족하는 것이고

두 조건 모두를 만족하면 두 조건에 공통되는 것 아닌가요?


또한.

(except A) common (except B)
의 경우
A가 아닌 선물들 중에서 B가 아닌 선물들 일체인가요?

[김희훈]

모순 관련해서는 except를 조금 잘못 사용하고 계시는것 같습니다.
cond와 giftlist를 받아 'cond가 의미하는 gistlist*에서 giftlist를 제한 것을 가져라'이지
'giftlist를 제하라'라는 뜻이 아닌것 같습니다. 말이 좀 애매하긴 한데...

그리고
mustHaveCommon -> and
mustAnd -> or
이 아닐까요?

(mustHaveCommon (mustItems (1 2)) (mustItems (2 3))) -> (2)
(mustAnd (mustItems (1 2)) (mustItems (2 3))) -> (1 2 3)

[김윤승]

김희훈님 답변이 정확한 것 같습니다.

문제에서 And가 사용된 의미는, cond가 가지는 의미가, 최소한 그 조건을 만족하는 물건들을 가져야 한다는 뜻이지 정확히 그 물건들만 가져야 한다는 뜻은 아니기 때문에, 두 cond를 모두 만족하려면 두 cond들을 만족하는 물건들을 모두 포함해서 가져야 합니다.