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

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

(a∨b)∧a(a ∨ b) ∧ a(a∨b)∧a ⇒ b.

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

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