Translate the following inference to logic notation: It is cold or Susan is not reading a book. If Patricia were excited, then Susan is reading a book. If it is cold, then Patricia is excited. Therefore it is cold if and only if Susan is reading a book.
p or ~q. r -> q. p -> r. Therefore p <-> q.