阿德里安、布福德和卡特三人去餐馆吃饭，他们每人要的不是火腿就是猪排。
（ 1）如果阿德里安要的是火腿，那么布福德要的就是猪排。
（ 2）安德里安或卡特要的是火腿，但是不会两人都要火腿。
（ 3）布福德和卡特不会两人都要猪排。
谁昨天要的是火腿，今天要的是猪排？
（提示：判定哪些人要的菜不会变化。）
答 案
根据{（ 1）如果阿德里安要的是火腿，那么布福德要的就是猪排和（ 2）安德里安或卡特要的是火腿，但是不会两人都要火腿。}，如果阿德里安要的是火腿，那么布福德要得就是猪排，卡特要得也是猪排。这种情况与{（ 3）布福德和卡特不会两人都要猪排。}矛盾。因此，阿德里安要得只能是猪排。
于是，根据{（ 2）安德里安或卡特要的是火腿，但是不会两人都要火腿。}，卡特要得只能是火腿。
因此，只有布福德才能昨天要火腿，今天要猪排。
