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$?