Translate the following inference to logic notation: David is cooking if and only if Joseph is an astronaut. If John were a police officer, then David is cooking. Joseph is not an astronaut. Therefore John is not a police officer or it is snowing.
p <-> q. r -> p. ~q. Therefore ~r or s.