Translate the following inference to logic notation: David is sleeping or David is playing tennis. David is not sleeping or it is windy. Therefore David is playing tennis or it is windy.
p or q. ~p or r. Therefore q or r.