Translate the following inference to logic notation: If it rains, then Thomas is a cashier. If Thomas were a cashier, then it is snowing. It is snowing if and only if it is raining. Therefore it is snowing if and only if it is raining.
p -> q. q -> r. r <-> p. Therefore r <-> p.