Translate the following inference to logic notation: Joseph is working or David is not drinking water. David is drinking water if and only if it is late. If Joseph works, then David is drinking water. It is not late. Therefore Joseph is not working.
p or ~q. q <-> r. p -> q. ~r. Therefore ~p.