Suppose a certain country is inhabited by truth teller and liars, who only respond to yes or no questions. A tourist comes to a fork in the road where one branch leads to the capital, and the other does not. There is a native standing at the fork. What yes or no question should the tourist ask to determine which branch to take?
The tourist can ask "If I were to ask you if the left branch leads to the capital, would you say yes?" By construction, if Yes, then left branch leads to the capital. If No, then it doesn't.
My book however, suggests letting $A$ be "you are a truth teller" and $B$ be "the left branch leads to the capital." Construct a formula from $A$ and $B$, call it $F$, so when asked "Is the statement F true, the native replies yes iff $B$ is true.
How can we construct $F$?
I think you're supposed to ask: "If you were a truth teller, would you tell me if the left branch leads to the capital?". If the native is a truth teller, he will confirm that he would say yes if the left branch does indeed lead to the capital. If the native is a liar (and the left branch does lead to the capital), he would tell you that the left branch doesn't lead to the capital. However, he would ALSO lie to you when you ask him the question above. He would lie about lying, so his answer would have to be "yes" as well.