设阿德为A、布为B、卡特为C，注意题意要求——昨日与今日的菜单。
【阶段一】由首段可知，ABC的取值不是火腿就是猪排，那么可视为，ABC的取值不是√就是×；
→(1)当A√可得B×，(2)A/C取值√且不存在AC同时取值√，(3)不存在BC同时取值×
假设某天(1)(3)条件同时满足，则会得到A√B×C√，与(2)的描述相矛盾，排除该项可能。（→A一定不为√，即阿德里安不满足要求）
假设某天(1)条件不满足，得出A×B×C√，此时结果为某天的情况，而非提问要求的昨日+今日。
【阶段二】①在某天A×B×C√的前提下，假设该天为“昨日”，则需要满足“今日”C取值为×方可得出题干要求。
令C取值×可得“今日”A×B√C×，此时情况与已知条件A/C取值√冲突，卡特不满足要求。
已知A、C不满足题意，在题目有正常解的时候，一般可确认答案是B布福德。
②为考虑周全、穷尽可能，在某天A×B×C√的前提下，假设该天为“今日”，则需要满足“昨日”A/B取值为√以得出题干要求。令A取值为√，则“昨日”ABC取值与已知条件冲突，无解；令B取值为√，则“昨日”A×B√C√，此时在不与已知条件冲突的情况下，布福德满足了昨日火腿+今日猪排的要求。）
【阶段三】综上所述，B布福德昨天点火腿，今天点猪排。
引用 补充说明
值得一提的是，本题是“有趣的推理题”，提供的提示是“判定哪些人要的菜不会变化”，所以本题可视作脑筋急转弯；
在阶段一之后，直接确认A和C的点菜不会发生变化，快速排除，作答B为正解。
| 