... and ~B)'. Plugging '~M' and 'B' in for those schematics gets us from ... B)', hence '~(M or B)' and '(~M and ~B)'.
... infer '~(A -> B)' from '(A and ~B)', but never the other ... most natural language conditionals. From a formal point of view ...