Translate the following inference to logic notation: It is late if and only if it is raining. It is raining or Patricia is listening to a song. James is a carpenter if and only if it is late. James is not a carpenter. Therefore Patricia is listening to a song or it is sunny.
p <-> q. q or r. s <-> p. ~s. Therefore r or t.