Translate the following inference to logic notation: Mary is an office clerk if and only if it is cold. If Linda were a cashier, then it is cold. Mary is not an office clerk. Therefore Linda is not a cashier or Charles is a doctor.
p <-> q. r -> q. ~p. Therefore ~r or s.