阿德里安、布福德和卡特三人支饭馆吃饭，他们每人要的不是火腿就是猪排。
    (1) 如果阿德里安要的是火腿，那么布福德要的就
是猪排。
    (2) 阿德里安或卡特要的是火腿，但是不会两人都
要火腿o
    (3) 布福德和卡特不会两人都要猪排。

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

查看答案：按下 Ctrl+A

根据(1)和(2)，如果阿德里安要的是火腿，那么布福德要的
就是猪排，卡特要的也是猪排。这种情况与(3)矛盾。因此，阿
德里安要的只能是猪徘。
    于是根据(2)，卡持要的只能是火腿。
    因此，只有布福德才能昨天要火腿，今天要猪排。