Kiểu suy luận nào đúng? A. [a → ~b] ⇒ [~b → a]. B. [~a → b] ⇒ [~b → ~a]. C. [~b → a] ⇒ [~a → b]. D. [a → b] ⇒ [~b → a].