Translate the following inference to logic notation: Karen is sleeping if and only if John is reading a book. If Thomas takes a plane, then John is reading a book. Karen is not sleeping. Therefore Thomas is not taking a plane.
p <-> q. r -> q. ~p. Therefore ~r.