Translate the following inference to logic notation: It is sunny if and only if Michael is playing a game. Michael is playing a game or Charles is a musician. If Charles were a musician, then it is sunny. Therefore it is sunny or it is snowing.
p <-> q. q or r. r -> p. Therefore p or s.