Sơ đồ suy luận nào đúng?

(a→b)∧ a(a → b) ∧ ~a(a→b)∧ a ⇒ ~b.

(a→b)∧b(a → b) ∧ b(a→b)∧b ⇒ a.

(a→b)∧ b(a → b) ∧ ~b(a→b)∧ b ⇒ ~a.

A), B), C) đều đúng.