Translate the following inference to logic notation: Joseph is driving a car or William is not a poet. If Joseph drives a car, then Charles is working. William is a poet or Charles is not working. Therefore Joseph is driving a car if and only if William is a poet.
p or ~q. p -> r. q or ~r. Therefore p <-> q.