Translate the following inference to logic notation: If it snows, then Charles is reading a book. If Charles reads a book, then it is snowing. Therefore it is snowing if and only if Charles is reading a book.
p -> q. q -> p. Therefore p <-> q.