Translate the following inference to logic notation: If it snows, then it is sunny. It is not sunny. It is snowing if and only if it is sunny. Therefore it is not snowing.
p -> q. ~q. p <-> q. Therefore ~p.