Translate the following inference to logic notation: James is not a janitor. James is a janitor if and only if Richard is cooking. Jessica is a carpenter. Therefore Richard is not cooking and Jessica is a carpenter.
~p. p <-> q. r. Therefore ~q and r.