Translate the following inference to logic notation: Karen is reading a book if and only if Barbara is drinking water. If Linda were an artist, then Karen is reading a book. Barbara is not drinking water. Therefore Linda is not an artist.
p <-> q. r -> p. ~q. Therefore ~r.