Đồ thị đầy đủ K_n có số màu bằng: 

Thuật toán BFS (Breadth-First Search) duyệt đồ thị theo chiều rộng, tức là duyệt tất cả các đỉnh kề với một đỉnh trước khi duyệt các đỉnh ở mức sâu hơn. Bắt đầu từ đỉnh K, ta có các bước như sau:

1. K: Bắt đầu từ K.
2. Các đỉnh kề với K: A, I. Ta duyệt A trước I (thứ tự ưu tiên theo bảng chữ cái).
3. Các đỉnh kề với A: B, C, E. Ta duyệt theo thứ tự B, C, E.
4. Các đỉnh kề với I: Không có đỉnh nào mới (I chỉ kề với K).
5. Các đỉnh kề với B: Không có đỉnh nào mới.
6. Các đỉnh kề với C: D.
7. Các đỉnh kề với E: F, G.
8. Các đỉnh kề với D: Không có đỉnh nào mới.
9. Các đỉnh kề với F: H.
10. Các đỉnh kề với G: Không có đỉnh nào mới.
11. Các đỉnh kề với H: Không có đỉnh nào mới.

Vậy, thứ tự duyệt là: K, A, I, B, C, E, D, F, G, H.

Công thức ở dạng chuẩn tắc tuyển (Disjunctive Normal Form - DNF) là một tuyển của các biểu thức hội cơ bản. Mỗi biểu thức hội cơ bản là một hội của các biến hoặc phủ định của biến. Do đó, đáp án C là đáp án chính xác.

Câu hỏi yêu cầu xác định dạng của biểu thức hội cơ bản. Biểu thức hội cơ bản là phép hội (AND) của các biến mệnh đề hoặc phủ định của chúng. Phân tích các đáp án để tìm ra biểu thức phù hợp.

Mệnh đề P→Q (P kéo theo Q) có thể được viết lại dưới dạng "¬P ∨ Q" (không P hoặc Q). Điều này xuất phát từ định nghĩa của phép kéo theo trong logic mệnh đề. Khi P đúng và Q sai, P→Q sai. Trong tất cả các trường hợp còn lại, P→Q đúng. Biểu thức "¬P ∨ Q" cũng đúng trong tất cả các trường hợp ngoại trừ khi P đúng và Q sai, do đó hai biểu thức này tương đương logic.

Câu hỏi này kiểm tra kiến thức về các luật logic, đặc biệt là luật kéo theo (hay còn gọi là luật suy diễn). Trong logic mệnh đề, luật kéo theo phát biểu rằng mệnh đề "p kéo theo q" (p → q) tương đương với "không p hoặc q" (¬p ∨ q).

* Đáp án A: p → q ⇔ ¬p ∨ q - Đây chính là biểu thức tương đương đúng của luật kéo theo. Mệnh đề "p → q" chỉ sai khi p đúng và q sai. Biểu thức "¬p ∨ q" cũng chỉ sai khi p đúng (¬p sai) và q sai.
* Đáp án B: p → q ⇔ ¬p ∧ q - Sai. Biểu thức này tương đương với việc p sai *và* q đúng, không phải là biểu thức tương đương của luật kéo theo.
* Đáp án C: p → q ⇔ p ∨ q - Sai. Biểu thức này tương đương với "p hoặc q (hoặc cả hai)", không phải là biểu thức tương đương của luật kéo theo.
* Đáp án D: p → q ⇔ p ∧ q - Sai. Biểu thức này tương đương với "p và q cùng đúng", không phải là biểu thức tương đương của luật kéo theo.

Vậy, đáp án đúng là A.