问题:火腿与猪排 

阿德里安、布福德和卡特三人去餐馆吃饭,他们每人要的不是火腿就是猪排。

(1) 如果阿德里安要的是火腿,那么布福德要的就是猪排。

(2) 安德里安或卡特要的是火腿,但是不会两人都要火腿。

(3) 布福德和卡特不会两人都要猪排。

谁昨天要的是火腿,今天要的是猪排?

(提示:判定哪些人要的菜不会变化。)

答 案

根据{(1)如果阿德里安要的是火腿,那么布福德要的就是猪排和(2)安德里安或卡特要的是火腿,但是不会两人都要火腿。},如果阿德里安要的是火腿,那么布福德要得就是猪排,卡特要得也是猪排。这种情况与{(3)布福德和卡特不会两人都要猪排。}矛盾。因此,阿德里安要得只能是猪排。

于是,根据{(2)安德里安或卡特要的是火腿,但是不会两人都要火腿。},卡特要得只能是火腿。

因此,只有布福德才能昨天要火腿,今天要猪排。