... this thread. The contrapositive of 'P -> (~M -> B)' is ... straightforwardly '~(~M -> B) -> ~P'. With one application of De ... to '(~M & ~B) -> ~P', as @Q.E.D said ... a conditional or a biconditional. For LSAT purposes, these are treated as ...