Translate the following inference to logic notation: If it is overcast, then William is a cashier. If William were a cashier, then it is overcast. If William were a cashier, then it is overcast. Therefore it is overcast if and only if William is a cashier.
p -> q. q -> p. q -> p. Therefore p <-> q.