|
Guest
|
Hello All
I'm wondering how to formalize statements and prove the proposition for the
following problem
It's similar to smullyan's puzzle, as
two islands x and y, people there are either T (True,always tells truth), F
(false, always lie) and N (neutral, sometimes T othertimes F). other facts
are, gold is in at least one of these two islands and, if any people N is in
island x, then gold is in both X and Y.
question
if we can ask one question to one of these three kinds of people in order to
infer which island contains gold, what effective question can we ask?
I've read some cases from webs, but it's hard for me, what I can do is just
X,Y: gold in x,y island respectively
x(p), y(p): p in island x, y island respectively
t: people tell truth
f:people lie
n: t or f
n = t V f
if x(n) in then X, Y
plus, if there are only f and t people, then question becomes easily, like I
can ask f or t same question:
if I ask you whether there is gold in x, will you say yes?
--
Thanks lots
John
Toronto |
|
|
