Translate the following inference to logic notation: David is not listening to a song. Jennifer is not driving a car. It is raining if and only if David is listening to a song. Jennifer is driving a car if and only if Barbara is drinking water. Therefore it is not raining and Barbara is not drinking water.
~p. ~q. r <-> p. q <-> s. Therefore ~r and ~s.