Translate the following inference to logic notation: If it is cloudy, then William is a cashier. It is cloudy or William is not a cashier. William is a cashier. Therefore it is cloudy.
p -> q. p or ~q. q. Therefore p.