Translate the following inference to logic notation: It is cold or Patricia is not a cashier. Patricia is a cashier if and only if it is cold. Therefore Patricia is a cashier if and only if it is cold.
p or ~q. q <-> p. Therefore q <-> p.