Giả sử A là người Thật Thà.

Nếu A Thật Thà, lời A nói phải đúng. Nhưng A lại nói mình là "Biến Hóa" \( \to \) Mâu thuẫn.

Kết luận: A không thể là người Thật Thà.

Giả sử B là người Thật Thà.

Nếu B Thật Thà, lời B nói phải đúng. B khẳng định "A nói đúng", nghĩa là A đúng là người "Biến Hóa".

Lúc này: B (Thật Thà), A (Biến Hóa). Vậy người còn lại là C phải là người Dối Trá.

Kiểm tra lời nói của C: C nói "Tôi không phải là người Biến Hóa". Vì C là người Dối Trá, lời này phải là sai, nghĩa là C là người Biến Hóa \( \to \) Mâu thuẫn (vì A đã là Biến Hóa rồi).

Kết luận: B không thể là người Thật Thà.

Giả sử C là người Thật Thà.

Nếu C Thật Thà, lời C nói "Tôi không phải là người Biến Hóa" là Đúng (hợp lý, vì C là Thật Thà).

Lúc này, hai người còn lại là A và B phải là Dối Trá và Biến Hóa.

Xét lời của A: "Tôi thuộc bộ tộc Biến Hóa". Vì A không thể là Thật Thà, nên lời này chỉ có thể là Sai (nếu A là Dối Trá) hoặc Đúng/Sai (nếu A là Biến Hóa).

Nếu A là người Dối Trá: Lời nói "Tôi thuộc bộ tộc Biến Hóa" là một lời nói dối \( \to \) Hợp lý.

Khi đó, B phải là người Biến Hóa: B nói "A nói đúng đấy". Vì A đang nói dối, nên câu nói của B cũng là một lời nói dối \( \to \) Hợp lý (vì người Biến Hóa có quyền nói dối).

Kết luận cuối cùng:

A: Người Dối Trá.

B: Người Biến Hóa.

C: Người Thật Thà. Chọn C.

Nghiệm của phương trình 3^(x − 2) = 9 là: