分野：テクノロジ系
中分類：基礎理論
小分類：情報に関する理論

「両方飲むことはない」という条件はありますが「両方食べることはない」ということは条件として書いてないので、注意して下さい。

両方食べることを考慮すると、受験生が取り得る行動は以下の4パターンがあることになります。

• 両方を食べることがあるため誤りです。
• 正しい。サンドイッチを食べないという条件を満たすのは「トーストのみを食べる」場合だけであり、この時はコーヒーが飲まれます。
• 両方を食べ、コーヒーを飲む場合があるため誤りです。
• 両方を食べることがあるため誤りです。

また、「紅茶を飲むときは必ずサンドイッチを食べる」という命題に対する対偶は「サンドイッチを食べなければ紅茶を飲まない」であること、及び「必ず紅茶かコーヒーのどちらかを飲み，両方を飲むことはない」という条件より「紅茶を飲まない」→「コーヒーを飲む」と導くこともできます。