Sơ đồ suy luận nào sai?

(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)∧ b(a ∨ b) ∧ ~b(a∨b)∧ b ⇒ a.