Biểu thức logic A được gọi là hằng sai nếu:

Để vòng lặp dừng, điều kiện `((x<>0) and (y>0) or (not ((w>0) and (t=3)))` phải đúng.

* Đáp án 1: x = 7, y = 2, w = 5, t = 3
* `(x<>0)` là True (7<>0)
* `(y>0)` là True (2>0)
* `(w>0)` là True (5>0)
* `(t=3)` là True (3=3)
* `((w>0) and (t=3))` là True
* `not ((w>0) and (t=3))` là False
* `((x<>0) and (y>0))` là True
* `((x<>0) and (y>0) or (not ((w>0) and (t=3)))` là True. Vậy vòng lặp dừng.

* Đáp án 2: x = 0, y = 2, w = -3, t = 3
* `(x<>0)` là False (0<>0)
* `(y>0)` là True (2>0)
* `(w>0)` là False (-3>0)
* `(t=3)` là True (3=3)
* `((w>0) and (t=3))` là False
* `not ((w>0) and (t=3))` là True
* `((x<>0) and (y>0))` là False
* `((x<>0) and (y>0) or (not ((w>0) and (t=3)))` là True. Vậy vòng lặp dừng.

* Đáp án 3: x = 0, y = -1, w = 1, t = 3
* `(x<>0)` là False (0<>0)
* `(y>0)` là False (-1>0)
* `(w>0)` là True (1>0)
* `(t=3)` là True (3=3)
* `((w>0) and (t=3))` là True
* `not ((w>0) and (t=3))` là False
* `((x<>0) and (y>0))` là False
* `((x<>0) and (y>0) or (not ((w>0) and (t=3)))` là False. Vậy vòng lặp không dừng.

* Đáp án 4: x = 1, y = -1, w = 1, t = 3
* `(x<>0)` là True (1<>0)
* `(y>0)` là False (-1>0)
* `(w>0)` là True (1>0)
* `(t=3)` là True (3=3)
* `((w>0) and (t=3))` là True
* `not ((w>0) and (t=3))` là False
* `((x<>0) and (y>0))` là False
* `((x<>0) and (y>0) or (not ((w>0) and (t=3)))` là False. Vậy vòng lặp không dừng.

Như vậy, đáp án đúng là đáp án 1 và 2, tuy nhiên trong các đáp án chỉ có đáp án 1 làm cho vòng lặp dừng.

Một thuật toán liệt kê (enumeration algorithm) đúng đắn cần đảm bảo hai yếu tố chính: tính đầy đủ và tính duy nhất. Tính đầy đủ nghĩa là thuật toán không được bỏ sót bất kỳ cấu hình hợp lệ nào trong tập các cấu hình cần liệt kê. Tính duy nhất nghĩa là thuật toán không được lặp lại bất kỳ cấu hình nào, mỗi cấu hình chỉ được liệt kê một lần. Phương án 2 mô tả chính xác cả hai yếu tố này.

Định nghĩa bằng đệ quy là phương pháp định nghĩa một đối tượng hoặc khái niệm thông qua chính nó. Điều này có nghĩa là, trong định nghĩa, đối tượng được xác định dựa trên các trường hợp đơn giản hơn của chính nó, cho đến khi đạt đến một trường hợp cơ sở (base case) có thể được xác định trực tiếp mà không cần đệ quy. Vì vậy, đáp án đúng là "Định nghĩa đối tượng thông qua chính nó."

Số các hoán vị của một tập hợp n phần tử là n! (n giai thừa). Hoán vị là một cách sắp xếp các phần tử của tập hợp theo một thứ tự cụ thể. Vì vậy, đáp án đúng là n!. Các đáp án khác liên quan đến chỉnh hợp và tổ hợp, không phải hoán vị.