Translate the following inference to logic notation: Jessica is a taxi driver. If it is late, then Jessica is not a taxi driver. David is sad if and only if it is late. It is snowing. Therefore David is not sad and it is snowing.
p. q -> ~p. r <-> q. s. Therefore ~r and s.