Translate the following inference to logic notation: Elisabeth is sad if and only if Linda is a taxi driver. Jessica is sleeping if and only if Elisabeth is sad. Jennifer is a musician. Linda is not a taxi driver. Therefore Jennifer is a musician and Jessica is not sleeping.
p <-> q. r <-> p. s. ~q. Therefore s and ~r.