Now a logic quiz:

Prove that the fallacy of denying the antecedent is functionally equivalent to the fallacy of affirming the consequent.