Translate the following inference to logic notation: If David takes a plane, then it is sunny. Jessica is reading a book. David is taking a plane or Barbara is making tea. Barbara is making tea if and only if it is sunny. Therefore Jessica is reading a book and it is sunny.
p -> q. r. p or s. s <-> q. Therefore r and q.