Đáp án đúng: B
Câu hỏi này kiểm tra kiến thức về suy luận logic mệnh đề. Để giải quyết nó, ta cần xem xét tính tương đương logic giữa các mệnh đề.
Phương án A: Sai. [a∨ b] không tương đương với [~b ∧ a]. Ví dụ, nếu a đúng và b sai, thì [a∨ b] đúng, nhưng [~b ∧ a] cũng đúng. Tuy nhiên, nếu a sai và b đúng, [a∨ b] vẫn đúng, nhưng [~b ∧ a] sai. Do đó, suy luận này không đúng.
Phương án B: Đúng. [~a ∨ b] tương đương với [~(~b ∧ a)]. Biến đổi [~a ∨ b] thành [a → b]. Phủ định của [~b ∧ a] là [b ∨ ~a], cũng tương đương với [~a ∨ b] hoặc [a → b]. Vậy suy luận này đúng.
Phương án C: Sai. [a∨ b] không tương đương với [~a ∧ ~b]. [~a ∧ ~b] tương đương với ~(a ∨ b), là phủ định của [a∨ b].
Phương án D: Sai. [a∨ b] không tương đương với [~a ∧ ~b]. Tương tự như phương án C, [~a ∧ ~b] là phủ định của [a∨ b].
Vậy đáp án đúng là B.