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