Translate the following inference to logic notation: If William were a writer, then William is playing tennis. William is a writer if and only if William is playing tennis. William is playing tennis or William is not a writer. Therefore William is playing tennis if and only if William is a writer.
p -> q. p <-> q. q or ~p. Therefore q <-> p.