Tính đúng đắn của thuật toán có nghĩa là: A. Không thể thực hiện thuật toán

Không thể thực hiện thuật toán 2 lần với cùng một Input mà nhận được 2 Output khác nhau.

Số các bước thực hiện là đúng đắn.

Sau khi thuật toán kết thúc, ta phải nhận được Output cần tìm.

Sau khi hoàn thành 1 bước (1 chỉ dẫn), bước thực hiện tiếp theo hoàn toàn xác định.