根据江印最上面的那个设，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。
Fa为在A城提出的问题，Fb表示在B城中提问，但其实这是同一个问题，因为只能问一次，所以不管是在A城中问，还是在B城中问，问题是相同的，所以Fa=Fb，再次删除。
内容未完，下一页继续阅读