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