I have on my notebook this example copied from the beginning of the book:
$$p: \text{Mathematicians are generous} $$ $$q: \text{Spiders hate algebra} $$
$$\text{(i) } p \lor \bar{q}: \text{Mathematicians are generous and spiders don't hate algebra}$$ $$\text{(ii) } \overline{(q \land p)}: \text{It's not the case that spiders hate algebra neither mathematicians are generous}$$ $$\text{(iii) } \bar{p} \to q: \text{If mathematicians aren't generous then spiders will hate algebra}$$ $$\text{(iv) } \bar{p} \iff \bar{q}: \text{Mathematicians aren't generous if and only if spiders doesn't hate algebra}$$
I was reading it over a year ago in a digital library from my university, then one day it was gone from the catalogue.
Like I mentioned, the example is from the beginning of the book so If anyone remember reading the same book that uses spiders as examples I'll be thankful.
The problem appears on page 8 of "Discrete Mathematics for New Technology" (Second Edition), by Rowan Garnier and John Taylor (2002). Here's an image: