[이보영]

1.mustAnd 는 '두 조건을 모두 만족해야' 라고 써 있는데 이게 두 조건의 공통되는 것을 가지겠다는 교집합 개념이 아니라 합집합 개념으로 이해해야 하는 거지요?

2.이건 아래에도 나온 얘기지만 마지막 예에서
(mustAnd (mustItems '(1 2))
(mustHaveCommon (whoTheSame 'B)
(whoTheSame 'C)))
라고 되어있는데 WhoTheSame은 cond를 받아서 id를 반환하는 함수인데
여기서는 id를 받아서 cond를 반환하니까 mustBeTheSame이어야 맞는거 아닌가요??

3.앞에 아무것도 못받는 조카들의 조건에서, 조카들이 서로가 서로를 이용해 정의하려는 경우 A⊂B, B⊂A , A=B=∮뭐 이런 식이 돼서 다같이 못받게 된다 이런 개념인가요?

[이보영]

4. shopping list 결과에서
((A . (1 2)) (B . (2)) (C . (1 2))
이런식으로 되어있는데 그럼 (1 2) (2) 이런 것들이 각각 gift list라고 할 때 이 형식은 그럼 정해져 있는 건가요??
gift list도 set인만큼 set을 구현하는 방법이 여러 가지가 있을 텐데 그중 어느 것으로나 구현해도 상관없는건가욤?
지금 테스트 셋을 만들려다 보니 shoppingList함수 결과값을 어떻게 검증해야 할지 좀 난감해졌어요

[김동민]

ㅌㅌ

[이충민]

교집합이 맞습니다.

(mustItems '(1 2 3)) := {(1 2 3), (1 2 3 4), (1 2 3 5), (1 2 3 0), ..., (1 2 3 4 5 6 10 9), ...}
(mustItems '(4 5 6)) := {(4 5 6), (4 5 6 0), ...}
(mustAnd (mustItems '(1 2 3)) (mustItems '(4 5 6)) := (mustItems '(1 2 3)) ∩ (mustItems '(4 5 6)) = {(1 2 3 4 5 6), (1 2 3 4 5 6 7), ...}

[김동민]

and와 common의 차이가없음