Translate the following inference to logic notation: It is snowing or Jennifer is not a politician. If it snows, then Jennifer is listening to a song. Jennifer is not listening to a song. Therefore Jennifer is not a politician.
p or ~q. p -> r. ~r. Therefore ~q.