Show the inference rules you need to derive not S -> not T:
a. Modus Tollens
b. Modus Ponens
c. Disjunctive Syllogism
d. Law of Excluded Middle