Translate the following inference to logic notation: David is climbing a mountain if and only if David is listening to a song. It is not late. It is late if and only if David is climbing a mountain. Therefore David is not listening to a song or it is raining.
p <-> q. ~r. r <-> p. Therefore ~q or s.