Translate the following inference to logic notation: Barbara is writing a letter or it is snowing. Barbara is not writing a letter or it is cloudy. Therefore it is snowing or it is cloudy.
p or q. ~p or r. Therefore q or r.