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