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