Translate the following inference to logic notation: It is raining or Barbara is not a musician. It is not raining. If it rains, then Barbara is a musician. Therefore Barbara is not a musician.
p or ~q. ~p. p -> q. Therefore ~q.