Translate the following inference to logic notation: It is not late. It is late if and only if it is overcast. It is overcast or it is not late. Therefore it is not overcast or David is happy.
~p. p <-> q. q or ~p. Therefore ~q or r.