Translate the following inference to logic notation: Charles is a nurse or Jennifer is not an office clerk. If Charles were a nurse, then Jennifer is an office clerk. Therefore if Jennifer were an office clerk, then Charles is a nurse.
p or ~q. p -> q. Therefore q -> p.