Bài toàn xây dựng cây khung nhỏ nhất của đồ thị được phát biểu trên:

Lát cắt (X, Y) trong một mạng G là một sự phân hoạch tập đỉnh V thành hai tập con X và Y sao cho X ∪ Y = V và X ∩ Y = ∅. Khi đó, lát cắt (X, Y) được định nghĩa là tập hợp tất cả các cung (vᵢ, vⱼ) mà vᵢ ∈ X và vⱼ ∈ Y hoặc vⱼ ∈ X và vᵢ ∈ Y. Điều này có nghĩa là tập hợp các cạnh nối một đỉnh từ tập X sang tập Y hoặc ngược lại, từ Y sang X. Đáp án số 2 mô tả chính xác định nghĩa này.

Thuật toán BFS (Breadth-First Search) duyệt đồ thị theo chiều rộng. Bắt đầu từ đỉnh K, ta duyệt tất cả các đỉnh kề với K (A và I), sau đó duyệt tất cả các đỉnh kề với A và I (chưa được duyệt), và cứ tiếp tục như vậy cho đến khi tất cả các đỉnh đã được duyệt.

Bước 1: Bắt đầu từ K.
Bước 2: Duyệt các đỉnh kề với K: A, I.
Bước 3: Duyệt các đỉnh kề với A: B, C, E.
Bước 4: Duyệt các đỉnh kề với I: Không có đỉnh mới.
Bước 5: Duyệt các đỉnh kề với B: D.
Bước 6: Duyệt các đỉnh kề với C: Không có đỉnh mới.
Bước 7: Duyệt các đỉnh kề với E: F, G.
Bước 8: Duyệt các đỉnh kề với D: Không có đỉnh mới.
Bước 9: Duyệt các đỉnh kề với F: H.
Bước 10: Duyệt các đỉnh kề với G: Không có đỉnh mới.
Bước 11: Duyệt các đỉnh kề với H: Không có đỉnh mới.

Kết quả duyệt theo BFS(K) là: K, A, I, B, C, E, D, F, G, H. Tuy nhiên thứ tự B, C, E và D, F, G, H có thể thay đổi tùy thuộc vào thứ tự duyệt các đỉnh kề trong danh sách kề. Trong các đáp án, đáp án gần đúng nhất là K, A, B, C, D, E, F, G, H, I. Tuy nhiên, I phải đứng sau A, và thứ tự đúng phải là K, A, I, B, C, E, D, F, G, H. Vì không có đáp án nào hoàn toàn chính xác, ta chọn đáp án gần đúng nhất. Thực tế, nếu ta xét thứ tự duyệt các đỉnh kề của K là A rồi đến I thì thứ tự duyệt sẽ là K, A, I, sau đó duyệt các đỉnh kề của A (B, C, E), rồi đến lượt các đỉnh kề của I (không có). Tiếp tục duyệt các đỉnh kề của B (D), của C (không có), của E (F, G), của D (không có), của F (H), của G (không có), của H (không có). Vậy thứ tự duyệt sẽ là K, A, I, B, C, E, D, F, G, H. Vì vậy đáp án 1 là gần đúng nhất.

Công thức \(A \to B\) tương đương với \(\overline{A} \vee B\). Do đó, \((P \wedge Q) \to (P \vee Q)\) tương đương với \((\overline {P \wedge Q} ) \vee (P \vee Q)\).

Phương pháp phản chứng là một phương pháp chứng minh trong toán học và logic. Thay vì chứng minh một mệnh đề trực tiếp, ta giả sử mệnh đề đó sai (phản lại) và từ giả thiết sai đó, bằng các suy luận logic, ta dẫn đến một mâu thuẫn. Mâu thuẫn này chứng tỏ giả thiết ban đầu là sai, và do đó, mệnh đề ban đầu phải đúng. Vì vậy, đáp án đúng là "Giả sử điều cần chứng minh là sai để từ đó suy ra mâu thuẫn".

Đơn thức trong đại số Boolean là một biểu thức logic bao gồm một tích (AND) của các biến (xi) hoặc phủ định của các biến đó (\(\overline {{x_i}} \)). Tích này phải khác không và bao gồm một số hữu hạn các biến hoặc phủ định của chúng.

Phương án 1: "Một tích khác không của một số hữu hạn các từ đơn (xi hoặc \(\overline {{x_i}} \))" là định nghĩa chính xác của một đơn thức.

Phương án 2, 3 và 4 không đúng vì đơn thức là một tích chứ không phải tổng, và không nhất thiết phải có đúng n từ đơn.