Chọn một khẳng định nào sau đây là đúng nhất nhận xét khi thực hiện tối ưu hoá câu hỏi.

Câu hỏi này kiểm tra sự hiểu biết về khái niệm suy dẫn trong logic mệnh đề. Cụ thể, nó hỏi về điều kiện để một mệnh đề A -> B được suy dẫn từ một tập hợp các công thức F. Đáp án đúng là phương án B.

Giải thích chi tiết:

• Phương án A: Sai. Điều kiện này không đảm bảo rằng A -> B được suy dẫn từ F.
• Phương án B: Đúng. Nói rằng A -> B được suy dẫn từ F nếu mọi bộ thỏa mãn F cũng thỏa mãn A -> B. Nói cách khác, nếu hai bộ bất kỳ thỏa mãn A thì cũng thỏa mãn B. Đây chính là định nghĩa của suy dẫn logic.
• Phương án C: Sai. Điều kiện này không liên quan đến suy dẫn logic.
• Phương án D: Sai. Hệ tiên đề Armstrong liên quan đến phụ thuộc hàm trong cơ sở dữ liệu, không phải suy dẫn logic mệnh đề.

Câu hỏi yêu cầu chọn phát biểu đúng về địa chỉ IP động và tĩnh.

• Địa chỉ động (Dynamic IP address): Được cấp phát tự động bởi máy chủ DHCP (Dynamic Host Configuration Protocol). Khi một thiết bị kết nối vào mạng, nó sẽ yêu cầu một địa chỉ IP từ máy chủ DHCP, và máy chủ sẽ cấp một địa chỉ IP khả dụng cho thiết bị đó trong một khoảng thời gian nhất định.
• Địa chỉ tĩnh (Static IP address): Là địa chỉ IP được cấu hình thủ công cho một thiết bị. Địa chỉ này không thay đổi trừ khi được cấu hình lại. Người dùng hoặc quản trị viên mạng sẽ tự đặt địa chỉ IP tĩnh.

Dựa vào định nghĩa trên, ta có thể phân tích các phương án:

• A. Địa chỉ động là do người dùng tự đặt: Sai, vì địa chỉ động do máy chủ DHCP cấp phát.
• B. Địa chỉ tĩnh là do máy chủ DHCP cấp phát: Sai, vì địa chỉ tĩnh do người dùng tự cấu hình.
• C. Địa chỉ động là do máy chủ DHCP cấp: Đúng, đây là định nghĩa chính xác về địa chỉ IP động.
• D. Tất cả đều đúng: Sai, vì A và B sai.

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