Translate the following inference to logic notation: If it is cold, then Patricia is working. It is cold or Patricia is not working. If Patricia works, then it is cold. Therefore Patricia is working if and only if it is cold.
p -> q. p or ~q. q -> p. Therefore q <-> p.