Translate the following inference to logic notation: It is sunny if and only if Charles is an astronaut. If John were a mechanic, then Charles is an astronaut. It is sunny or John is a mechanic. It is windy. Therefore Charles is an astronaut and it is windy.
p <-> q. r -> q. p or r. s. Therefore q and s.