Translate the following inference to logic notation: Michael is a nurse if and only if Sarah is a sailor. Sarah is a sailor or Michael is not a nurse. Therefore Michael is a nurse if and only if Sarah is a sailor.
p <-> q. q or ~p. Therefore p <-> q.