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