Translate the following inference to logic notation: If Karen were a taxi driver, then it is cold. Karen is a taxi driver or Jennifer is not a police officer. Jennifer is a police officer or it is not cold. Therefore Karen is a taxi driver if and only if Jennifer is a police officer.
p -> q. p or ~r. r or ~q. Therefore p <-> r.