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