Simple rule:
If P, then Q implies ~Q --> ~P
And ~P--> ~Q is always incorrect.
Option A is incorrect for the same reasons and option D is correct as per the rule.
If P, then Q implies ~Q --> ~P
And ~P--> ~Q is always incorrect.
Option A is incorrect for the same reasons and option D is correct as per the rule.
