... B)' is equivalent to '(~A or B)', so the '~(A ... B)' to '~(~~M or B)', hence '~(M or B)' and '(~M ... never see a bald negation of a conditional connective on ... )' from '(A and ~B)', but never the other way around ... in fact arrested and did not confess, whereas we don ...