Sơ đồ suy luận nào đúng? A. {[(a → b) ∧ (a → d)] ∧ (b ∨ d)} ⇒ a. B. {[(a → ~b) ∧ (c → ~b)] ∧

{[(a → b) ∧ (a → d)] ∧ (b ∨ d)} ⇒ a.

{[(a → ~b) ∧ (c → ~b)] ∧ ~b} ⇒ (a ∨ c).

{[(a → b) ∧ (a → d)] ∧ (~b ∨ ~d)} ⇒ ~a.

{[(a → b) ∧ (a → d)] ∧ (~b ∨ ~d)} ⇒ a.