Translate the following inference to logic notation: It is snowing or Sarah is cooking. For all x, y will not cook. It is not snowing or Susan is listening to a song. Therefore Susan is listening to a song or Barbara is running.
p or P(a). forall x: ~P(x). ~p or q. Therefore q or r.