Translate the following inference to logic notation: David is a cashier if and only if Jessica is a lawyer. Jessica is a lawyer or Richard is not a nurse. Therefore if Richard were a nurse, then David is a cashier.
p <-> q. q or ~r. Therefore r -> p.