葉秋在幾年前就做過這道題，是在網上無意間看到的，覺得這個題很有意思，所以印象比較深刻。
當時葉秋還是初中，也是想了好一會兒，才最終試探出了答案。
這個題就完全是一個邏輯思維的題目，葉秋當時也是靠著不停的試探，將自己想到的問句，帶入題目中來驗證。
這個題的答案就是“你是本地人嗎？”
如果在A城，問到只說真話的A城居民，他會回答是，問到說假話的B城居民，他也會回答是。
如果是在B城，問到說真話的A城居民，他會回答不是，而說假話的B城居民，也會回答不是。
這樣一來，只要用這個問句隨機問一個人，只要這個人回答是，那么這里就是A城，回答不是，那就是在B城。
葉秋沒有馬上將答案告訴江印，因為他也想看看，邪物出這道題來針對江印，是不是真的可以測出江印的短板在哪，江印會不會真的被這道題難住，一個小時都做不出來。
葉秋也不是一直就這干看著，從店長辦公室里面將幾分資料拿了出來，坐在一邊翻看著，時不時的抬頭看看江印的反應就好了。
時間慢慢過去，這段時間并沒有顧客過來結賬，打擾他的思考。
江印看著這個題目，大概這真的不是他擅長的問題，之前江印自我介紹的時候說過，他是一名數學老師，然而這個題，顯然不是數學問題。
非要分到一門學科的話，應該是大學才會有的邏輯學，屬于哲學的一個分子學科。
單純用數學思維來解這道題的話，葉秋都不知道該怎么弄。
不過很快，江印居然拿起收銀臺抽屜中的紙和筆，開始打草稿了。
葉秋很是好奇，這樣的問題，草稿該怎么打呢？不應該就是想一個問題，然后帶入題目中去試驗嗎，難道還真的可以像數學一樣計算？
放下手中的資料，葉秋走過來，就看到江印在紙上寫道。
“設：A城居民為X，B城居民為Y，問題為F。”
“那么A城為A{x，y}，B城為B{x，y}。”
“得到公式為：FaA{x，y}=α；FbB{x，y}=β；且Fa=Fb。”
葉秋看到這些，第一感覺就是，這是什么鬼？
江印的字跡非常工整，完全是寫出來的一手打印體，根本不像是人書寫的，就和電腦上的宋體字一模一樣。
“這是在將這個邏輯問題數學化嗎？”葉秋有點不懂江印的思路了，又仔細看了一遍之后，也大致了解這些符號的意思。
根據江印最上面的那個設，FaA{x，y}=α，所表達的意思，Fa為在A城提出的問題，A{x，y}表示A城和城中的A、B城居民，等于α，這個α，則是這個Fa問題，在A城中問居民所得到的答案。
同理，FbB{x，y}=β，也是這個意思，只是Fb表示這個問題在B城中提問，最后得到β這個答案。
這個兩個等式放在一起，江印的意思就是，這個問題，在A城提出，和在B城提出，應該要得到α和β這兩個不同的答案，通過答案，來反推自己是在A城還是B城。
葉秋有些驚訝，他不知道江印為什么會這樣把實際問題數學化，但這個解題思路是沒有問題的，和自己的那個正確答案是一個意思。
隨后葉秋又看到，江印將兩個等式進行了抵消，去掉了相同的部分，就得到了。
FaA=α和FbB=β，同時去掉了{X，Y}。
這一步，葉秋解讀到的意思是，將詢問對象，也就是A城居民和B城居民的干擾去掉，因為江印的假設中，X和Y是代表兩城的居民。
因為只能問一個問題，還只問一次，那就有4中可能，你問到的人，可能是A城中的A城居民，也可能是A城中的B城居民，當然，也可能是B城中的A城居民，以及B城中的B城居民。
也就是說，你的這個問題，不管是問到這4種情況的中任意一種，都應該能得到正確答案，所以，其實這4種居民身份，對這個問題是什么，取不到決定作用，是干擾項，所以這里便去掉了，得到更加簡化的算式。
再然后，江印繼續將這兩個算式簡化，再次去掉了Fa和Fb。