Translate the following inference to logic notation: Michael is reading a book if and only if it is cold. It is cold if and only if Michael is reading a book. Therefore it is cold if and only if Michael is reading a book.
p <-> q. q <-> p. Therefore q <-> p.