An chắc chắn uống trà. Bình và Chi không có một phương án duy nhất — có 3 khả năng thỏa mãn tất cả điều kiện:

  1. (An, Bình, Chi) = (Trà, Cà phê, Cà phê)
  2. (Trà, Trà, Cà phê)
  3. (Trà, Trà, Trà)

GIẢI LOGIC

Kí hiệu A = An, B = Bình, C = Chi; T = trà, K = cà phê.

Các điều kiện:

  • (1) Nếu A = K thì B = C (B “theo” Chi).
  • (2) Nếu B = K thì A ≠ C.
  • (3) Nếu C = T thì A = B (A “theo” B).

Chứng minh A không thể là cà phê:

  • Giả sử A = K, theo (1) ta có B = C.
    • Nếu B = K thì từ (2) A ≠ C, nhưng A = K và C = B = K ⇒ A = C, mâu thuẫn. Vậy khi A = K thì B ≠ K ⇒ B = T. Nhưng B = C (từ (1)) nên C = T. Khi C = T, theo (3) A = B, tức K = T, mâu thuẫn.
      => A không thể là cà phê, nên A = T.

Khi A = T, ta xét các khả năng cho B và C sao cho ba điều kiện đều thỏa:

  • Nếu C = T thì (3) yêu cầu A = B ⇒ B = T → (T,T,T) thỏa.
  • Nếu C = K thì không có điều (3). Với C = K:
    • Nếu B = K thì (2) yêu cầu A ≠ C ⇒ T ≠ K (đúng) → (T,K,K) thỏa.
    • Nếu B = T thì (1) không áp dụng (A ≠ K), (2) không áp dụng (B ≠ K) → (T,T,K) thỏa.

Vậy kết quả như trên: An luôn uống trà; Bình và Chi có thể là những tổ hợp đã liệt kê.