Bài đã cho:

Nếu An gọi cà phê thì Bình sẽ gọi theo Chi

Nếu Bình gọi cà phê thì An sẽ gọi theo Chi

Nếu Chi gọi trà thì An gọi theo Bình

Trường hợp 1: Nếu Chi gọi trà

Sẽ có 2 khả năng:

1A: An gọi giống Bình là trà, Chi gọi trà

Kiểm tra điều kiện (1): A = T ⇒ không bắt buộc gì → OK

Kiểm tra điều kiện (2): B = T ⇒ không bắt buộc gì → OK

→ Hợp lệ

1B. A uống giống Bình uống giống Chi (cà phê), Chi uống Trà nhưng lại An uống giống B uống giống C → mâu thuẫn

→ Loại

1C. A = B = Cà phê, C = T — nhưng C đang bằng T, không thể vừa T vừa Cà phê

→ Loại

Vậy với C = T chỉ có một nghiệm hợp lệ

An uống trà, Bình uống trà và Chi uống trà.

Trường hợp 2: Chi uống CÀ PHÊ

Lúc này điều kiện (3) không còn ràng buộc vì Chi KHÔNG UỐNG trà.

Ta xét các khả năng của An và Bình.

Khi An uống Cà phê

→ Hợp lệ

Điều kiện (1) kích hoạt:
An uống Cà phê ⇒ Bình phải gọi Chi
→ B = C = Cà phê

Ta có cặp (A, B, C) = (Cà phê, Cà phê, Cà phê)

Kiểm tra điều kiện (2): Bình = Cà phê ⇒ An không uống giống Chi nhưng An uống Cà phê, Chi cũng uống Cà phê → An uống giống Chi, trái với An không uống giống Chi

→ Loại

Không có nghiệm nào với An uống Cà phê.

Khi An uống Trà

Ta xét Bình:

2A. Bình uống Trà

Điều kiện (1): An uống Trà → không kích hoạt

Điều kiện (2): Bình không uống Cà phê → không kích hoạt

→ An uống Trà, Bình uống trà và Chi uống Cà phê.

Tổng hợp các nghiệm hợp lệ

Ta tìm được 3 bộ nghiệm hợp lệ:

A = T, B = T, C = T

A = T, B = T, C = C

A = T, B = C, C = C

Kết luận: Bạn An luôn luôn gọi trà, Bình và CHi có thay đổi đồ uống.