Kiểu suy luận nào đúng?

[a∨ b]⇒[ b∧a][a ∨ ~b] ⇒ [~b ∧ a][a∨ b]⇒[ b∧a]

[ a∨b]⇒ [ b∧a][~a ∨ b] ⇒ ~[~b ∧ a][ a∨b]⇒ [ b∧a]

[a∨b]⇒[ a∧ b][a ∨ b] ⇒ [~a ∧ ~b][a∨b]⇒[ a∧ b]

[a∨b]⇒[ a∧ b][a ∨ b] ⇒ [~a ∧ ~b][a∨b]⇒[ a∧ b]