Translate the following inference to logic notation: If William were a police officer, then it is snowing. If Joseph were an office clerk, then William is a police officer. William is a police officer if and only if it is snowing. It is snowing or Joseph is an office clerk. Therefore William is a police officer.
p -> q. r -> p. p <-> q. q or r. Therefore p.