Để xác định đáp án đúng, ta cần tìm bao đóng F+ của tập phụ thuộc hàm F = {A --> B, C --> X, BX --> Z}. Ta sẽ xét từng phương án:
A. AB --> C thuộc F+:
Từ A --> B, ta có AB --> B. Tuy nhiên, không có cách nào suy ra AB --> C từ F, do đó phương án này sai.
B. A --> Z thuộc F+:
Từ A --> B và BX --> Z, ta cần có A --> X để suy ra A --> Z. Nhưng không có thông tin nào cho thấy A --> X, nên phương án này sai.
C. CB --> Z thuộc F+:
Từ C --> X, ta có CB --> X. Kết hợp với BX --> Z, ta có CB --> BX --> Z. Vậy CB --> Z thuộc F+.
D. AC --> Z thuộc F+:
Từ A --> B và C --> X, ta có AC --> BX. Để suy ra AC --> Z, ta cần AC --> BX --> Z, điều này tương đương với BX --> Z. Do đó, AC --> Z thuộc F+.
Như vậy, cả C và D đều đúng, nhưng theo lý thuyết suy dẫn Armstrong, ta sẽ ưu tiên phương án tổng quát hơn. Vì AC --> Z đúng sẽ bao hàm CB --> Z đúng nếu A và B tương đương nhau. Ở đây AC --> Z đúng vì từ AC --> BX và BX --> Z suy ra AC --> Z (tính chất bắc cầu).
Tuy nhiên theo đề bài, ta chỉ chọn MỘT đáp án đúng nhất. Ta thấy phương án D là AC --> Z. Từ A --> B và C --> X, ta có AC --> BX. Vì BX --> Z, nên AC --> Z theo luật bắc cầu. Do đó D đúng.
Phương án C là CB --> Z. Từ C --> X, ta có CB --> X. Vì BX --> Z, nên CB --> Z theo luật bắc cầu. Tuy nhiên, phương án D tổng quát hơn.
