Translate the following inference to logic notation: Robert is listening to a song or it is not windy. It is windy if and only if Robert is listening to a song. Therefore Robert is listening to a song if and only if it is windy.
p or ~q. q <-> p. Therefore p <-> q.