Smullyan Land 11 (TF 예제 셋)

'boolean puzzle'로 검색해서 본 Wikipedia의 예제, 나중 논리대수 공부용으로 긁어 왔습니다.

 

Smullayn Land에는 참족, 거짓족이 삽니다. 참족은 참말만, 거짓족은 거짓말만 하지요.

나그네가 길을 가다 A, B를 만났습니다. 아래 각 상황의 A. B가 무슨 종족인지 추론해 보세요.

 

1. A : 우리 둘 다 거짓족입니다.

 

2. A : 만약 B가 거짓족이라면 저는 참족입니다.

    B : 우리는 서로 다른 종족입니다.

 

3. 나그네 : 당신은 둘 다 참족인가요?

    A : (예 또는 아니오라고 답함. 근데 누가 누군지 나그네는 알 수 없었음.)

    나그네 : 당신은 둘 다 거짓족인가요?

    A : (예 또는 아니오라고 답함. 그제서야 비로소 누가 누군지 나그네가 알 수 있었음)

 

아래 덧글에 풀이가 있습니다.