Translate the following inference to logic notation: Linda is not poor or it is overcast. Barbara is a bartender. It is not cloudy. Linda is poor or it is cloudy. Therefore Barbara is a bartender and it is overcast.
~p or q. r. ~s. p or s. Therefore r and q.