Translate the following inference to logic notation: William is a musician if and only if it is sunny. If James were a janitor, then William is a musician. It is sunny or James is a janitor. If William were a musician, then it is sunny. Therefore William is a musician.
p <-> q. r -> p. q or r. p -> q. Therefore p.