Translate the following inference to logic notation: John is not driving a car. It is snowing or John is not driving a car. John is driving a car if and only if it is snowing. Therefore it is not snowing.
~p. q or ~p. p <-> q. Therefore ~q.