Translate the following inference to logic notation: Barbara is not a politician. If Sarah listens to a song, then Barbara is an electrician. If Barbara were an electrician, then Sarah is listening to a song. Barbara is an electrician if and only if Barbara is a politician. Therefore Sarah is not listening to a song.
~p. q -> r. r -> q. r <-> p. Therefore ~q.